- •1. Ассоциативное и дискурсивное мышление.
- •2. Понятие о логической форме мышления.
- •3. Понятие о логическом законе.
- •4. Мышление и язык.
- •5. Отношения, изучаемые формальной логикой.
- •6. О пользе изучения логики.
- •§2. Имена и понятия.
- •4. Денотат имени
- •6. Отношения между объемами имен
- •4. Виды понятий
- •§ 5. Отношения между объемами понятий
- •3. Определение должно быть четким, ясным, не допускающим двусмысленности.
- •3. Виды простых высказываний по качеству и количеству
- •3. Распределенность терминов в простых высказываниях
- •§2. Высказывания отрицания. Закон двойного отрицания
- •§3. Соединительные (конъюнктивные) высказывания
- •4. Разделительные (дизъюнктивные) высказывания
- •§5. Условные высказывания
- •Глава 4. Умозаключения:
- •§1. Общая характеристика умозаключений и их виды
- •§2. Выводы из отношений между объемами двух имен (Непосредственные умозаключения)
- •§3. Выводы из отношений между объемами трех имен
- •1. Состав простого категорического силлогизма
- •2. Аксиома силлогизма и ее следствия
- •3.3. Обще правила простого силлогизма
- •3.4. Фигуры и модусы простого силлогизма
- •1. Меньшая посылка должна быть утвердительной.
- •2. Большая посылка должна быть общем.
- •1. Меньшая посылка должна быть утвердительной.
- •2. Заключение должно быть частным.
- •1. Если большая посылка утвердительная, то меньшая должна быть общей.
- •2. Если одна из посылок отрицательная, то большая должна быть общей.
- •3. Если меньшая посылка утвердительная, то заключение должно быть частным.
- •§1. Выводы из отношений между простыми высказываниями
- •2.1. Условно-категоpические силлогизмы
- •2.2. Разделительно-категорический силлогизм и его модусы
- •1. Общая характеристика законов логики
- •2. Закон тождества
§2. Высказывания отрицания. Закон двойного отрицания
Высказыванием отрицания называется такое, которое образовано из исходного высказывания с помогаю логического оператора «неверно, что».
Исходное высказывание р и его отрицание (-р) находятся в отношении противоречия. Это значит, что одновременно они не могут быть ни истинными, ни ложными. Взаимозависимость их логических значений, показано в таблице, из которой видно, что отрицание истинного высказывания является ложным, а отрицание ложного - истинным. Буквы "И" и "Л" обозначают логические - значения высказываний - соответственно "истинно" и "ложно", такой способ представления зависимости логического значения сложного высказывания от логических значений входящих в его состав простых называется табличным, или матричным.
Р |
-р |
=р |
И |
Л |
И |
Л |
И |
Л |
Продолжим нашу таблицу, подвергнув отрицанию высказывание отрицания. Сравнив первый столбец с третьим, убедимся» что высказывания р и -р (неверно, что не-р) имеют одинаковые логические значения, что дает основание вывести следующее тождество: р= = p. Эта формула выражает закон двойного отрицания, который формулируется так: высказывание двойного отрицания равнозначно исходному утверждению. Например, высказывания "Беларусь - европейское государство" и "Неверно, что Беларусь не является европейским государством" имеют одинаковое содержание.
§3. Соединительные (конъюнктивные) высказывания
Соединительными называются сложные высказывания, образованные из двух или более простых, соединенных между собой логическим союзом "и".
Простые высказывания в составе сложного называются членами конъюнкции, или конъюнктами, название логического союза употребляется также для обозначения образованного при его помощи сложного высказывания.
Кроме сложносочиненных предложений, как, например, "Учитель зашел в класс, и начался урок", соединительные высказывания могут выражаться простыми предложениями: а) с несколькими подлежащими при одном сказуемом, например, "Волк и лиса являются хищниками"; б) с несколькими сказуемыми при одном подлежащем, например, "Автомобиль съехал в кювет и перевернулся"; в) с несколькими подлежащим при нескольких сказуемых, например, "Санатории и дома отдыха служат для оздоровления людей и находятся под опекой профсоюзов", в первом примере число членов конъюнкции равно числу подлежащих, во втором - числу сказуемых, в третьем - сумме подлежащих и сказуемых.
Соединительное высказывание, например "Хотя светит солнце, но идет дождь", может быть высказано в следующих вариантах (ситуациях): а) солнце действительно светит и действительно идет дождь; б) солнце светит, но дождь не идет; в) на улице пасмурно, и идет дождь? г) на улице пасмурно, но дождь не идет. Нетрудно догадаться, что приведенное в качестве примера высказывание адекватно только первой, ситуации, последние три оно искажает, отсюда следует, что соединительное высказывание должно признаваться истинным только в том случае, когда все входящие в его состав простые высказывания истинны.
-
p
q
p q
И
И
И
И
Л
Л
Л
И
Л
Л
Л
Л
Смысл логического союза "и" как раз в том и состоит, что тот, кто его употребляет, хочет заверить кого-то в том, что соединенные им утверждения являются истинными. Поэтому соединительные высказывания являются категорическими.
Таким образом, конъюнкция - это логическая связь, которая истинна только тогда, когда все ее члены истинны. Следствием из этого положения будет и следующее: конъюнкция ложна, если хотя бы один из ее членов ложен.
Превратить ложную конъюнкцию в истинную можно двояким способом: исключением из нее ложных членов или подведением их под отрицание.
