
- •Тема 1.
- •2. Предварительные сведения о логическом законе.
- •3. Понятие о формализованном языке. Семантические категории.
- •Тема 2. Понятие.
- •1. Общая характеристика понятия. Содержание и объем понятия. Виды понятий.
- •2. Отношения между понятиями.
- •3. Операции над классами.
- •4. Родо-видовые отношения. Ограничение и обобщение понятий.
- •5. Деление объема понятий.
- •6. Определение понятий.
- •Тема 3. Суждение.
- •1. Понятие о суждении. Суждение и предложение.
- •2. Типы суждений по характеру предиката.
- •3. Деление атрибутивных суждений по количеству и качеству.
- •4. Выделяющие суждения.
- •5. Распределенность терминов в атрибутивном суждении.
- •6. Отрицание суждения
- •7. Сложные суждения
- •Тема 4. Законы логики.
- •1. Понятие о логическом законе.
- •2. Закон тождества.
- •3. Закон противоречия.
- •4. Закон исключенного третьего.
- •Тема 5.
- •3. Правила выводов логики суждений.
- •4. Язык и правила выводов логики предикатов.
- •5. Выводы посредством преобразования суждений.
- •6. Простой категорический силлогизм.
- •7. Выводы из сложных суждений.
- •Тема 6. Вероятностные (правдоподобные) умозаключения.
- •1. Общая характеристика вероятностных умозаключений.
- •2. Неполная индукция.
- •3. Методы установления причинной связи между явлениями.
- •4. Ошибки в индуктивных умозаключениях.
- •5. Аналогия.
- •Тема 7. Доказательство и опровержение.
- •1. Состав доказательства и опровержения. Виды доказательств и опровержений.
- •2. Правила доказательства и опровержения и основные ошибки в доказательстве и опровержении.
- •Тема 8. Вопрос и ответ. Научная проблема.
- •Тема 9. Гипотеза.
- •Литература
7. Выводы из сложных суждений.
Наиболее распространенными сложными умозаключениями являются чисто условное умозаключение, условно-категорическое умозаключение, разделительно-категорическое умозаключение и условно-разделительное умозаключение.
Чисто условным называется умозаключение, обе посылки и заключение которого являются условными суждениями. Его схема в символической записи:
(A B) (B C)
(A C)
Вывод основан на правиле: следствие следствия есть следствие основания.
Заключение в чисто условном умозаключении может быть получено не из 2-х, а из большего числа посылок. Такие умозаключения относятся к сложным, они имеют схему:
(A B) (B C) (C D) … (C1 D1)
(A D1)
Как и в простом чисто условном умозаключении, заключение представляет собой импликативную связь основания первой посылки со следствием последней.
Условно-категорическим называется умозаключение, в котором одна из посылок — уcловное, а другая посылка и заключение — категорические суждения.
Различают два правильных модуса условно-категорического умозаключения: 1) утверждающий (modus ponens) — категорическая посылка утверждает истинность основания, заключение утверждает истинность следствия. Его схема в символической записи:
l) A B, A
B
2) отрицающий (modus tollens) — категорическая посылка отрицает истинность следствия, заключение отрицает истинность основания. Его схема в символической записи:
2) A B, B
A
Два других модуса: 3) от отрицания истинности основания к отрицанию истинности следствия и 4) от утверждения истинности следствия к утверждению истинности основания — достоверных выводов не дают. Их схемы в символической записи:
3) A B, A
B
4) A B, B
A
Если условная посылка — выделяющее суждение, достоверный вывод получается по всем четырем модусам.
Разделительно-категорическим называется умозаключение, в котором одна из посылок — разделительное, а другая посылка и заключение — категорические суждения.
Простые суждения, из которых состоит разделительное (дизъюнктивное) суждение, называются суждениями — дизъюнктами.
Различают два модуса разделительно-категорического умозаключения: утверждающе-отрицающий (modus ponendo-tollens) и отрицающе-утверждающий (modus tollendo-ponens).
В утверждающе-отрицающем модусе меньшая посылка (категорическое суждение) утверждает один из дизъюнктов, заключение отрицает другой (другие) дизъюнкты. Его схема в символической записи:
A B, A
B
Заключение всегда достоверно, если соблюдается правило: большая посылка должна быть исключающе-разделительным суждением (суждением строгой дизъюнкции).
В отрицающе-утверждающем модусе меньшая посылка отрицает один (или несколько) из дизъюнктов, заключение утверждает оставшийся дизъюнкт. Его символическая запись:
<A B>, A
B
Заключение будет достоверным, если соблюдается правило: в большей посылке должны быть перечислены все возможные дизъюнкты (большая посылка — полное (закрытое) дизъюнктивное высказывание).
Умозаключение, в котором одна посылка условная, а другая разделительное суждение, называется условно-разделительным. Eго разновидностью является дилемма, в которой разделительное суждение содержит две альтернативы.
Различают конструктивную (созидательную) и деструктивную (разрушительную) дилеммы, каждая из которых делится на простую; и сложную.
Их схемы в символической записи:
1. Простая конструктивная дилемма:
(A C) (B C), A B
C
2. Сложная конструктивная дилемма:
(A B) (C D), A C
B D
3. Простая деструктивная дилемма:
(A B) (A C), B C
A
4. Сложная деструктивная дилемма:
(A B) (C D), B D
A C