Модальность суждений. Суждение и вопрос.

1.    Суждение как форма мышления.

2.    Суждение и предложение. Простые и сложные суждения.

3.    Простые суждения: состав и виды.

4.    Категорические суждения и их виды. Распределенность терминов в простом суждении.

5. “Логический квадрат”

6. Операции с суждениями (непосредственные умозаключения): обращение, превращение, противопоставление предикату, по логическому квадрату.

7. Сложное суждение и его основные виды.

8. Условия истинности сложных суждений.

9. Деление суждений по модальности.

 

В данной теме студент должен понять следующие моменты:

1) Суждение как форма мышления. Суждение и предложение.

2) Простые (ассерторические и модальные) и сложные (ассерторические и модальные) суждения.

3) Состав простого суждения. Виды простых суждений: суждения свойства (атрибутивные), суждения с отношениями (релятивные), суждения существования (экзистенциальные).

4) Категорические суждения и их виды (деление по количеству, качеству и по объединенной классификации).

5) Распределенность терминов в категорических суждениях.

6) Отношения между суждениями: "Логический квадрат". Выражение суждений на языке логики предикатов и логики высказываний.

7) Сложное суждение и его основные виды. Образование сложных суждений из простых с помощью логических связок (союзов):

конъюнкции, дизъюнкции (простой и строгой), импликации, эквиваленции и отрицания.

8) Условия истинности сложных суждений (таблицы истинности). Строгая и простая дизъюнкция (исключающе-разделительное и соединительно-разделительное суждение). Импликативное суждение. Понятие необходимого и достаточного основания.

9)   Табличное построение логики высказываний.

10) Вопрос и ответ. Их виды.

11) Деление суждений по модальности: алетические, эпистемические, деонтические, аксиологические, временные.

Практическое занятие № 5.

 Умозаключение как основная общечеловеческая форма мысли. Дедуктивные умозаключения. Теория логического вывода

1. Общее понятие умозаключения. Логическая структура умозаключения.

2. Виды умозаключений.

3. Простой категорический силлогизм как вид дедуктивного умозаключения. Аксиома категорического силлогизма.

4.    Общие правила категорического силлогизма.

5.    Фигуры категорического силлогизма и их особые правила.

6.    Понятие о модусах категорического силлогизма.

7.Условный силлогизм. Чисто условный силлогизм. Условно-категорический силлогизм и его модусы.

8.Разделительный силлогизм. Чисто разделительный силлогизм. Разделительно-категорический силлогизм. Утверждающе-отрицающий и отрицающе-утверждающий модусы и их правила.

9. Условно - разделительный силлогизм. Дилемма.

10. Сложносокращенные силлогизмы (энтимемы).

11. Сложные силлогизмы (полисиллогизмы, сориты)

12. Сложносокращенные силлогизмы (эпихейремы).

13.  Индуктивные умозаключения и их виды.

14.  Индуктивные методы установления причинной связи явлений. Ф.Бэкон и Дж.С.Милль об индукции.

15.  Метод единственного сходства. Метод единственного различия. Соединенный метод сходства и различия. Метод сопутствующих изменений. Метод остатков.

16.  Умозаключения по аналогии. Его структура.

17.  Основные виды отношений по аналогии. Достоверность заключений, полученных с помощью строгой аналогии.

 

Студент должен уяснить:

1)    Общее понятие умозаключения. Логическая структура умозаключения: посылки, вывод, заключение. Логическая связь между посылками и заключением.

2)    Понятие логического следования.

3)    Необходимые и правдоподобные умозаключения.

4)    Виды умозаключений: дедуктивные и недедуктивные (индуктивные, по аналогии, традуктивные).

5)    Непосредственные умозаключения. Получение их при помощи логических операций: превращения, обращения, противопоставление предикату и субъекту, умозаключение по логическому квадрату.

6) Опосредованные дедуктивные умозаключения: простой категорический силлогизм (основные 4 фигуры и 19 правильных модусов). Состав простого категорического силлогизма. Общие правила силлогизма.

Умозаключения из суждений с отношениями (основные их свойства:

а) симметричность,

б) рефлексивность,

в) транзитивность.

 7) Категорический силлогизм с выделяющимися суждениями,

8) умозаключения логики суждений:

а) чисто условные умозаключения,

б условно-категорические (правильные модусы: modus ponens, modus tollens) умозаключения.

в) разделительно-категоричские (modus ponendo-tollens, modus tollendo-ponens),

г) Условно-разделительные (лемматические) умозаключения: конструктивная и деструктивная леммы. Простые и сложные лемматические умозаключения.

9) Исчисление предикатов. Система натурального вывода.

10) Специальные правила фигур силлогизма (энтимема). Ее основные виды. Механизм восстановления простого категорического силлогизма.

11) Понятие о сложных (полисиллогизмы) и сложносокращенных (сориты и эпихейрема) силлогизмах. Формализация эпихейрем.

12) Условно-категорический силлогизм и его правильные модусы. Утверждающий модус (modus ponens), отрицающий модус (modus tollens).

13) Чисто разделительное умозаключение.

14) Разделительно-категорический силлогизм. Утверждающе-отрицающий (modus ponendo-tollens) и отрицающе-утверждающий модусы (modus tollendo-ponens), их правила.

15)Условно-разделительные (лемматические) умозаключения: конструктивная и деструктивная леммы.

Практическое занятие № 6.