- •1.1. Что такое логика?
- •1.3. Формы и законы мышления
- •1.4. Символический язык. Исчисление предикатов
- •Символический язык
- •2.1. Определение и образование понятия
- •Что такое понятие?
- •Определение понятия
- •Методы образования понятий
- •2.1.2. Понятие и язык
- •2.2. Структура понятия
- •Различие понятий по содержанию и объему
- •2.3. Виды понятий
- •Отношения между понятиями по содержанию
- •Отношения между понятиями по объему
- •2.2.П е р е с е к а т ь с я. В отношение пересечения вступают сходные или
- •Несовместимые понятия
- •2.5. Логические операции с понятиями
- •Операция определения понятий
- •2.5.1. Определение
- •2.5.2. Правила и ошибки явного определения
- •2.5.3. Деление понятий
- •2.5.5. Обобщение и ограничение понятий
- •Обобщение и ограничение понятий
- •3.1. Логический анализ простых суждений
- •3.1.1. Определение суждения и его отличие от понятия
- •В чем отличие суждения от понятия?
- •Как «узнать» суждение в языке?
- •3.1.2. Структура суждения
- •Какие бывают суждения?
- •3.1.3. Виды суждений
- •Категорические суждения
- •Виды категорических суждений
- •1. Деление суждений по качеству
- •2. Деление суждений по количеству
- •4. Суждение о.
- •3.1.4. Отношения между суждениями
- •Логический квадрат
- •3.1.5. Операции с простыми суждениями
- •1. Противопоставление субъекту.
- •2. Противопоставление предикату.
- •3.2.Логический анализ сложных суждений
- •3.2.1. Образование сложных суждений
- •3.2.2. Классификация сложных суждений
- •3.2.3. Проблема истинности
- •3.3. Логика вопросов и ответов
- •3.3.1. Вопрос как форма мысли
- •3.3.2. Функции вопроса
- •3.3.3. Виды вопросов
- •Определение ответа
- •3.3.4. Понятие ответа
- •4.1. Общая характеристика закона мышления
- •5.1.1. Выводы из простых суждений
- •Истинность мысли и правильность мысли
- •5.1.2. Простой категорический
- •Структура пкс
- •6.1. Выводы из сложных суждений
- •7.1. Индуктивные умозаключения
- •7.2. Виды индуктивных обобщений
- •7.3. Умозаключение по аналогии
- •8.4. Правила и ошибки доказательства и опровержения
3.1.5. Операции с простыми суждениями
Дальнейшее уточнение возможных логических отношений между простыми суждениями категорического вида осуществляется при помощи операций обращения, превращения и противопоставления.С их помощью получаются новые логические формы, эквивалентные по смыслу, т.е. образуется ряд синонимичных высказываний.
О б р а щ е н и е - одна из них. Логический смысл данной операции заключается в том, что субъект (8) и предикат (Р) суждения меняются местами, не меняя качествасуждения. Количество может как сохраняться (при чистомобращении), так и меняться (обращение с ограничением).
Общая структура этой операции такова:
8
есть (не-есть) Р Р
есть (не-есть) 8
Читается: «если 8 есть (не-есть) Р, то Р есть (не-есть) 8».
С учетом распределенности терминов, суждения типа А, Е, I, О обращаются следующим образом:
I. А ^ I. Все 8 есть Р
схема обращения общеутвердительных сужде-
Некоторые Р есть 8 ний
Подумайте.
Обращение
Таким
образом, решив задачу, устанавливаем,
что: Если А - истина, то Е - ложь I - истина
О - ложь
Рис.
23
II.
А,
В
Рис.
25Все
8 есть Р Все
Р есть 8Все
8 не-есть Р Все
Р не-есть 8
Например: «Если все калькуляторы (8) являются вычислительными устройствами (Р), то лишь некоторые вычислительные устройства (Р) являются калькуляторами (8)».
А ^ А
схема обращения общеутвердительных суждений
Суждение А может также обращаться и в суждение А: «Если все 8 есть Р, то все Р есть 8». Это обращение общеутвердительного суждения в общеутвердительное - обращение без ограничения.Рис. 24 показывает, что объемы таких понятий полностью совпадают.
Например: «Если все квадраты (8) являются равносторонними прямоугольниками (Р), то все равносторонние прямоугольники (Р) являются квадратами (8)».
Рис. 24
III. Е ^ Е.
- схема обращения общеотрицательных суждений
Суждение Е обращается в суждение Е без ограничения: «Если ни одно 8 не-есть Р, то ни одно Р не есть 8». Схематически это выглядит так, как показано на рис. 25.
Например: «Если все театры (8) не являются поликлиниками (Р), то все поликлиники (Р) не являются театрами (8)».
IV. I ^ I.
Некоторые
8 есть рсхема
обращения частноутвердительного суж-
Некоторые Р есть 8
дения
Суждение I обращается в I также без ограничения, т.е. с сохранением качества и количества суждения: «если некоторые 8 есть Р, то некоторые Р есть 8» Схематически это доказывается так (рис. 26):
Например: «Если некоторые, знающие языки программирования (8) являются студентами технических вузов (Р), то некоторые студенты технических вузов (Р) знают языки программирования (8)».
V. О ^ .
Превращение
П р е в р а щ е н и е - логическая операция с простыми суждениями, в ходе которой меняется качествосуждения (утвердительная связка заменяется на отрицательную и наоборот), субъект и предикат остаются на своих местах (не обращаются), а предикат исходного суждения заменяется на противоречивый в превращенном суждении.
Общая структура операции превращения:
8
есть (не-есть) Р 8
не-есть (есть) не-Р
Читается: «Если 8 есть (не-есть) Р, то 8 не-есть (есть) не-Р».
Рис.
26
Вид исходного суждения |
Вид превращенного суждения |
А «Все 8 есть Р» |
Е «Все 8 не-есть не-Р» |
Е «Все 8 не-есть Р» |
А «Все 8 есть не-Р» |
I «Некоторые 8 есть Р» |
О «Некоторые 8 не-есть не-Р» |
О «Некоторые 8 не-есть Р» |
I «Некоторые 8 есть не-Р» |
Рис. 27
В ходе превращения необходимо произвести двойное отрицание. Первое отрицание заключается в замене связки на противоположную (утвердительной на отрицательную, а отрицательной на утвердительную), а второе отрицание связано с заменой предиката исходного суждения на противоречащий ему (Р на не-Р, а не-Р на Р). Операцию превращения можно производить со всеми видами простых суждений. При этом:
А превращается в Е Е превращается в А I превращается в О О превращается в I
I. А ^ Е. Общеутвердительные суждения превращаются по формуле:
Все
8 есть РВсе
звезды являются небесными телами
Все 8 не-есть не-Р Все звезды не являются не небесными телами
Рис.
28
Действительно, все элементы класса 8 включены в класс Р и поэтому не могут быть также включены в класс, отличный от Р, т.е. «ни один 8 не-есть не-Р».
II. Е ^ А. Общеотрицательные суждения превращаются по формуле:
Все
8 не-есть Р Всякое дерево не является
электропроводным
Все 8 есть не-Р Всякое дерево является неэлектропроводным
Графически превращение общеотрицательных суждений в общеутвердительные показано на рис. 29.
|
1 \/ |
|
|
( не-Р |
|
Рис. 29
В самом деле, если ни один элемент класса 8 не принадлежит классу Р (т.е. 8 и Р исключают друг друга), значит класс 8 включен в класс, отличный от Р. Таким классом является не-Р. Следовательно, «все 8 есть не- Р».
III. I ^ О. Частноутвердительные суждения превращаются по формуле:
Некоторые
8 есть Р Некоторые люди являются
пацифистами
Некоторые 8 не-есть Некоторые люди не являются не пацифистами не-Р
Рис.
30
Заштрихованная часть класса 8 принадлежит классу Р и не принадлежит классу не-Р, т.е. «некоторые 8 не есть не-Р».
IV. О ^ I. Частноотрицательные суждения превращаются по формуле:
Рис.
31
Элементы
класса 8 могут принадлежать либо Р,
либо его дополнению до универсального
множества не-Р. Поэтому, «если
некоторые 8 не-есть Р, значит они (эти
«некоторые 8») есть не-Р».Некоторые
8 не-есть Р Некоторые животные не являются
хищными Некоторые 8 есть
не-Р Некоторые животные являются не
хищными
Превращение частноотрицательных суждений в частноутвердительные проиллюстрировано на рис. 31.
П р о т и в о п о с т а в л е н и е -логическая операция с простыми суждениями, производящая одновременно и обращение, и превращение суждений. Делать это можно в разной последовательности. Либо вначале исходное суждение обращается («Все 8 есть Р» ^ «Некоторые Р есть 8»), а затем обращенное суждение превращается («Некоторые Р есть 8» ^ «Некоторые Р не-есть не-8»). Либо вначале исходное суждение превращается («Все 8 есть Р» ^ «Все 8 неесть не-Р»), а затем превращенное суждение обращается («Все 8 не-есть не-Р» ^ «Все не-Р не-есть 8»).
В первом случае в результате получается противопоставление субъекту (8). Во втором - противопоставление предикату (Р).