Тема 3. Суждение

Общая характеристика суждения. Суждение и предложение. Повествовательные, побудительные и вопросительные предложения, их логический смысл. Простые и сложные суждения.

Простое суждение. Состав простого суждения: субъект, предикат, связка, кванторы. Единичные и множественные суждения; роль кванторов в образовании множественных суждений.

Категорические суждения и их виды Деление простых суждений по характеру предиката: суждения свойства, суждения отношений (рефлексивные, симметричные, транзитивные), экзистенциальные суждения. Атрибутивные суждения. Деление простых атрибутивных суждений по качеству и количеству: утверждающие и отрицающие; общие, частные, выделяющие, исключающие, единичные.

Объединенная классификация простых категорических суждений. Структура суждений А, Е, I, О. Распределенность терминов в простом категорическом суждении. Отношения между атрибутивными суждениями по логическому квадрату.

Сложное суждение и его виды. Образование сложных суждений из простых с помощью логических связок: конъюнкции, дизъюнкции, импликации, эквиваленции и отрицания. Табличное определение основных логических связок. Слабая и сильная дизъюнкция. Логические союзы и их семантика. Понятие о символической логике.

Деление суждений по модальности. Понятие о модальности суждений. Эпистемическая модальность суждений и её виды. Выражение в естественном языке проблематических суждений. Деонтическая модальность суждений и её виды. Структура деонтической модальности. Алетическая модальность суждений и её виды. Понятие модального оператора. Значение модальных суждений в науке и практике.

Тема 4. Исчисление высказываний.

Деонтически-правовая оценка поступков человека.

Понятие о символической логике. Истинность и ложность высказываний. Понятие об исчислении высказываний. Проблема разрешимости формул исчисления высказываний. Тождественно-истинные и тождественно-ложные формулы. Конъюнктивная и дизъюнктивная нормальные формы. Материальная импликация и условное суждение. Понятие необходимого и достаточного условий.

Деонтически-правовая оценка поступков человека. Деонтически-правовая оценка поступков человека с точки зрения исчисления в булевой алгебре. Возможность исчисления поступков в унарной и бинарной системе при наличии оценки поступка как плохого или хорошего. Понятие равноценных морально-этических правовых форм поступков.

Ригористические системы в морально-правовой оценке поступков человека. Конъюнкция, дизъюнкция, тождество, импликация в характеристике ригористического отношения к двум поступкам. Проблема формально-этического отношения к поступкам в правовой среде, направленным на познание предмета. Проблема существования вечных законов морали и права.

Литература

1. Гетманова А.Д. Логика. М., 1986. С. 70-96.

2. Кириллов В.И., Старченко А.А. Логика. М., 1995. С. 63-119.

3. Свинцов В.И. Логика. М., 1987. С. 82-95.

4. Тавенец П.В. Суждение и его виды. М., 1953.

5. Челпанов Г.И. Учебник логики. М., 1994. С. 53-80.

Тема 5. Дедуктивные умозаключения

Общее понятие об умозаключении (выводе). Умозаключение как абстрактная форма мышления человека. Структура умозаключения: посылки и заключение. Понятие логического следования. Виды умозаключений: дедуктивные, индуктивные и по аналогии. Непосредственные и опосредованные умозаключения.

Непосредственные умозаключения и их виды: обращение, превращение, противопоставление предикату, выводы по “логическому квадрату”.

Дедуктивные умозаключения. Общее понятие о дедуктивных умозаключениях. Категорический силлогизм: аксиома, структура категорического силлогизма, фигуры и модусы категорического силлогизма. Правила фигур, терминов и посылок простого категорического силлогизма. Сокращённый категорический силлогизм (энтимема) и его структура. Сложные и сложносокращенные силлогизмы (полисиллогизмы, сориты, эпихейремы).

Условные и условно-категорические умозаключения. Разделительные и разделительно-категорические умозаключения. Модусы и условия достоверности этих силлогизмов. Условно-разделительные (лемматические) умозаключения.

Литература

1. Гетманова А.Д. Логика. М., 1986. С.125-197.

2. Минто В. Дедуктивная и индуктивная логика. СПб., 1995.

3. Кириллов В.И., Старченко А.А. Логика. М., 1995. С. 120-198.

4. Челпанов Г.И. Учебник логики. М., 1994. С. 87-161, 173-177.