- •Санкт-петербургский государственный торгово-экономический университет
- •Введение Предмет и значение логики
- •Понятие логической формы и логического закона. Истинность и логическая правильность
- •Часть I. Формы мышления
- •Глава 1. Понятие как форма мышления
- •Виды понятий по объему и содержанию
- •Виды отношений между понятиями
- •Логические операции над понятиями
- •Определение
- •Деление и его правила.
- •Задачи и упражнения к теме «Понятие как форма мышления»
- •Глава 2. Суждение как форма мысли
- •Структура простого суждения
- •Деление простых суждений по характеру предиката
- •Деление простых суждений по качеству и количеству
- •Распределенность терминов в суждении
- •Отношения между суждениями. Логический квадрат
- •Сложные суждения и их виды. Таблицы истинности сложных суждений
- •Модальность суждений
- •Вопрос и его структура
- •Задачи и упражнения к теме «Суждение как форма мысли»
- •Глава 3. Умозаключение
- •3.1. Виды дедуктивных (опосредованных) умозаключений и их правила
- •Виды непосредственных умозаключений
- •Простой категорический силлогизм и его правила
- •Умозаключения логики высказываний
- •3.2. Индуктивные умозаключения
- •3.3. Умозаключение по аналогии: его структура и виды
- •Упражнения к теме «Умозаключение»
- •Глава 4. Основные законы формальной логики
- •Часть II. Теория аргументации Логические основы теории аргументации
- •Доказательство и его правила
- •Недоказательная аргументация и ее правила.
- •Спор как вид аргументации. Виды спора. Правила спора
- •Часть III. Формы развития научного знания Проблема, гипотеза, теория
- •Литература
Сложные суждения и их виды. Таблицы истинности сложных суждений
Сложные суждения образуются путем соединения простых суждений при помощи логических союзов. В зависимости от видов логических союзов (а их в отличие от грамматических союзов, соединяющих простые предложения в сложные, строго определенное количество) различают: конъюнктивные (соединительные), дизъюнктивные (разделительные), импликативные (условные) и эквивалентные (тождественные) суждения. Истинность или ложность сложных суждений зависит не только от истинности (ложности) входящих в них простых суждений, но и от определенности логического союза.
Союз конъюнкции «» соответствует грамматическому союзу «и». Конъюнкция истинна только в том случае, когда истинны все входящие в него простые суждения.
Таблица 3
-
А
В
А В
и
и
и
и
л
л
л
и
л
л
л
л
Дизъюнктивных суждений – два вида: строгая (или исключающая) дизъюнкция и нестрогая (неисключающая) дизъюнкция.
Союз нестрогой дизъюнкции « » соответствует грамматическому союзу «или».
Нестрогая дизъюнкция истинна, если истинно хотя бы одно входящее в нее простое суждение.
Таблица 4
-
А
В
А В
и
и
и
и
л
и
л
и
и
л
л
л
Союз строгой дизъюнкции « » соответствует грамматическому союзу «либо…, либо…».
Строгая дизъюнкция истинна, когда истинно только одно входящее в него простое суждение.
Таблица 5
-
А
В
А В
и
и
л
и
л
и
л
и
и
л
л
л
Если в конъюнктивные и дизъюнктивные суждения может входить два и более простых суждений, то в импликативные и эквивалентные – только два простых суждения.
Союз импликации соответствует грамматическому союзу «если…, то…». При этом первое суждение называют антецедентом, второе – консеквентом. Логический союз показывает, что явление, о котором идет речь в антецеденте, выступает условием возникновения, существования или изменения другого явления, о котором говорится в консеквенте. Импликация истинна во всех случаях, кроме одного: при истинности антецедента (условия) и ложности консеквента (следствия).
Таблица 6
-
А
В
АВ
и
и
и
и
л
л
л
и
и
л
л
и
Эквивалентные суждения включают в себя только два простых суждения. Союз эквиваленции соответствует грамматическому союзу «если и только если…, то…»
Эквиваленция истинна в тех случаях, когда оба простые суждения либо истинны, либо ложны.
Таблица 7
-
А
В
А В
и
и
и
и
л
л
л
и
л
л
л
и