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