- •Александр Ивин Логика Предисловие
- •Глава 1 Задачи логики
- •1. Правильное рассуждение
- •2. Логическая форма
- •3. Дедукция и индукция
- •4. Интуитивная логика
- •5. Некоторые схемы правильных рассуждений
- •6. Традиционная и современная логика
- •7. Современная логика и другие науки
- •Глава 2 Слова и вещи
- •1. Язык как знаковая система
- •2. Основные функции языка
- •3. Логическая грамматика
- •Глава 3 Имена
- •1. Виды имён
- •2. Отношения между именами
- •3. Определение
- •4. Деление
- •Глава 4 Высказывания
- •1. Простые и сложные высказывания. Отрицание, конъюнкция, дизъюнкция
- •2. Условное высказывание, импликация, эквивалентность
- •3. Описательные и оценочные высказывания
- •4. Модальные высказывания
- •Глава 5 Ловушки языка
- •1. Тайная мудрость языка
- •2. Многозначность
- •3. Эгоцентрические слова
- •4. Неточные и неясные имена
- •5. Гипостазирование
- •6. Роли имён
- •Глава 6 о смысле бессмысленного
- •1. Осмысленное и бессмысленное
- •2. Абсурд
- •3. Синтаксические нарушения
- •4. Семантические нарушения
- •5. Крайние случаи бессмысленного
- •Бармаглот
- •6. Туманное и тёмное
- •Глава 7 Логика высказываний
- •1. Логический закон
- •2. Закон противоречия
- •3. Закон исключённого третьего
- •4. Логические законы тождества, двойного отрицания и другие Закон тожества
- •Закон двойного отрицания
- •Законы контрапозиции
- •Модус поненс
- •Модус толленс
- •Модус понендо толленс
- •Модус толлендо поненс
- •Законы де Моргана
- •Закон приведения к абсурду
- •Закон косвенного доказательства
- •Закон Клавия
- •Закон транзитивности
- •Законы ассоциативности и коммутативности
- •Закон Дунса Скотта
- •5. Логическое следование
- •6. Язык логики предикатов
- •Глава 8 Модальная логика
- •1. Логические модальности
- •2. Физические модальности
- •3. Логическое исследование ценностей
- •Глава 9 Логика категорических высказываний
- •1. Категорические высказывания
- •2. Логический квадрат
- •3. Категорический силлогизм
- •Глава 10 Доказательство и опровержение
- •1. Понятие доказательства и его структура
- •2. Прямое и косвенное доказательство
- •3. Виды косвенных доказательств
- •4. Опровержение
- •5. Ошибки в доказательстве
- •6. Софизмы
- •Глава 11 Индуктивные рассуждения
- •1. Индукция как вероятное рассуждение
- •2. Неполная индукция
- •3. Подтверждение следствий
- •4. Полная индукция и математическая индукция
- •5. Методы установления причинных связей
- •Единственное сходство
- •Единственное различие
- •Сходство и различие
- •Сопутствующие изменения
- •Остающаяся часть причины
- •6. Надёжность индукции
- •7. Аналогия
- •Аналогия свойств и аналогия отношений
- •Вероятный характер аналогии
- •Понимание по аналогии
- •Типичные ошибки
- •Глава 12 Проблема понимания
- •1. Структура понимания
- •2. Сильное понимание
- •3. Понимание поведения
- •4. Понимание природы
- •5. Понимание языковых выражений
- •6. Объяснение
- •Глава 13 Аргументация и логика
- •1. Теория аргументации
- •2. Обоснование
- •3. Эмпирическая аргументация
- •4. Факты как примеры и иллюстрации
- •5. Теоретическая аргументация
- •6. Контекстуальная аргументация
- •7. Обоснование и истина
- •8. Аргументация в поддержку оценок
- •Глава 14 Спор и его виды
- •1. Корректные и некорректные споры
- •2. Споры об истине и споры о ценностях
- •3. Четыре разновидности споров
- •4. Общие требования к спору
- •5. Победа в споре
- •Вместо заключения
- •Примечания
2. Условное высказывание, импликация, эквивалентность
Условное высказывание – сложное высказывание, формулируемое обычно с помощью связки «если …, то …» и устанавливающее, что одно событие, состояние и т.п. является в том или ином смысле основанием или условием для другого.Например: «Если есть огонь, то есть дым», «Если число делится на 9, оно делится на 3» и т.п.
Условное высказывание слагается из двух простых высказываний. То, которому предпослано слово «если», называется основанием, илиантецедентом(предыдущим); высказывание, идущее после слова «то», называетсяследствием, иликонсеквентом(последующим).
Утверждая условное высказывание, мы прежде всего имеем в виду, что не может быть так, чтобы то, о чем говорится в его основании, имело место, а то, о чем говорится в следствии, отсутствовало. Иными словами, не может случиться, чтобы антецедент был истинным, а консеквент – ложным.
В терминах условного высказывания обычно определяются понятия достаточногоинеобходимогоусловия: антецедент (основание) есть достаточное условие для консеквента (следствия), а консеквент – необходимое условие для антецедента. Например, истинность условного высказывания «Если выбор рационален, то выбирается лучшая из имеющихся альтернатив» означает, что рациональность – достаточное основание для избрания лучшей из имеющихся возможностей, и что выбор такой возможности есть необходимое условие его рациональности.
Типичной функцией условного высказывания является обоснованиеодного высказывания ссылкой на другое высказывание. К примеру, то, что серебро электропроводно, можно обосновать ссылкой на то, что оно металл: «Если серебро – металл, оно электропроводно».
Выражаемую условным высказыванием связь обосновывающего и обосновываемого (основания и следствия) трудно охарактеризовать в общем виде и только иногда природа её относительно ясна. Эта связь может быть, в частности, связью логического следования, имеющей место между посылками и заключением правильного умозаключения («Если все живые многоклеточные существа смертны, а медуза является таким существом, то она смертна»). Связь может представлять собойзакон природы(«Если тело подвергнуть трению, оно начнёт нагреваться») илипричинную связь(«Если Луна в новолуние находится в узле своей орбиты, наступает солнечное затмение»). Рассматриваемая связь может иметь также характерсоциальной закономерности, правила, традиции и т.п. («Если меняется общество, меняется также человек», «Если совет разумен, он должен быть выполнен»).
Со связью, выражаемой условным высказыванием, обычно соединяется убеждение, что консеквент с определённой необходимостью«вытекает» из антецедента и что имеется некоторый общий закон, сформулировав который, мы могли бы логически вывести консеквент из антецедента. Например, условное высказывание «Если висмут металл, он пластичен» как бы предполагает общий закон «Все металлы пластичны», делающий консеквент данного высказывания логическим следствием его антецедента.
И в обычном языке, и в языке науки условное высказывание, кроме функции обоснования, может выполнять также целый ряд других задач. Оно может формулировать условие, не связанное с каким-либо подразумеваемым общим законом или правилом («Если захочу, разрежу свой плащ»), фиксировать какую-то последовательность («Если прошлое лето было сухим, то в этом году оно дождливое»), выражать в своеобразной форме неверие («Если вы решите эту задачу, я докажу великую теорему Ферма»), противопоставлять («Если в огороде растёт бузина, то в Киеве живёт дядька») и т.п. Многочисленность и разнородность функций условного высказывания существенно затрудняют его анализ.
Употребление условного высказывания связано с определёнными психологическими факторами. Так, обычно мы формулируем условное высказывание, если не знаем с определённостью, истинны или нет его антецедент и консеквент. В противном случае употребление такого высказывания кажется неестественным («Если вата – металл, она электропроводка»).
Условное высказывание находит очень широкое применение во всех сферах рассуждения. В логике оно представляется, как правило, посредством импликативного высказывания, илиимпликации. При этом логика проясняет, систематизирует и упрощает употребление связки «если …, то …», освобождает его от влияния психологических факторов.
Логика отвлекается, в частности, от того, что характерная для условного высказывания связь основания и следствия в зависимости от контекста может выражаться не только с помощью связки «если …, то …», но и с помощью других языковых средств. К примеру: «Так как вода жидкость, она передаёт давление во все стороны равномерно», «Хотя пластилин и не металл, он пластичен», «Если бы дерево было металлом, оно было бы электропроводно» и т.п. Эти и подобные им высказывания представляются в языке логики посредством импликации, хотя употребление в них «если …, то …» было бы не совсем естественным.
Утверждая импликацию, мы утверждаем, что не может случиться, чтобы её основание (антецедент) было истинным, а следствие (консеквент) – ложным.
Это определение как и предыдущие определения связок предполагает, что всякое высказывание является либо истинным, либо ложным и что истинностное значение сложного высказывания зависит только от истинностных значений составляющих его высказываний и способа их связи.
Для установления истинности импликации «если A, тоB» достаточно, таким образом, выяснить истинностные значения высказыванииAиB. Из четырех возможных случаев импликация истинна в следующих трех:
(1) и её основание, и её следствие истинны;
(2) основание ложно, а следствие истинно;
(3) и основание, и следствие ложны.
Только в четвёртом случае, когда основание истинно, а следствие ложно, вся импликация ложна.
Будем обозначать импликацию символом →. Таблица истинности для импликации приводится.
Смысл импликации, как одной из логических связок, полностью определён этой таблицей, и ничего другого импликация не подразумевает.
Импликация, в частности, не предполагает, что высказывания AиBкак-то связаны между собой по содержанию. В случае истинностиBвысказывание «еслиA, тоB» истинно независимо от того, являетсяAистинным или ложным и связано оно по смыслу сBили нет. Истинными считаются, например, высказывания: «Если на Солнце есть жизнь, то дважды два равно четырём», «Если Волга – озеро, то Токио – большой город» и т.п. Условное высказывание истинно также тогда, когдаAложно, и при этом опять-таки безразлично, истинноBили нет и связано оно по содержанию сAили нет. К истинным относятся, к примеру, высказывания: «Если Солнце – куб, то Земля – треугольник», «Если дважды два равно пяти, то Токио маленький город» и т.п. В обычном рассуждении все эти высказывания вряд ли будут рассматриваться как имеющие смысл и ещё в меньшей степени как истинные.
Очевидно, что хотя импликация полезна для многих целей, она не совсем согласуется с обычным пониманием условной связи. Импликация охватывает многие важные черты «логического поведения» условного высказывания, но вместе с тем не является достаточно адекватным его описанием.
В последние полвека были предприняты энергичные попытки реформировать теорию импликации. При этом речь шла не об отказе от описанного понятия импликации, а о введении, наряду с ним, другого понятия, учитывающего не только истинностные значения высказываний, но и связь их по содержанию.
С импликацией тесно связана эквивалентность, называемая иногда «двойной импликацией».
Эквивалентность – сложное высказывание «A, если и только еслиB», образованное из высказыванийAиBи разлагающееся на две импликации: «еслиA, тоB» и «еслиB, тоA». Например: «Треугольник является равносторонним, если и только если он является равноугольным». Термином «эквивалентность» обозначается и связка «…, если и только если …», с помощью которой из двух высказываний образуется данное сложное высказывание. Вместо «…, если и только если …» для этой цели могут использоваться «… в том и только том случае, когда…», «… тогда и только тогда, когда…» и т.п.
Если логические связки определяются в терминах истины и лжи, эквивалентность истинна тогда и только тогда, когда оба составляющие её высказывания имеют одно и то же истинностное значение, т.е. когда они оба истинны или оба ложны. Соответственно, эквивалентность является ложной, когда одно из входящих в неё высказываний истинно, а другое ложно.
Обозначим эквивалентность символом ↔, формула A↔Bможет быть прочитана так: «A, если и только еслиB». Таблица истинности для эквивалентности приводится.
С использованием введённой логической символики связь эквивалентности и импликации можно представить так: «A↔B» означает «(А→В) & (В→А)».
Например: высказывание «Ромб является квадратом, если и только если все углы ромба прямые» означает «Если ромб есть квадрат, то все углы ромба прямые, и если все углы ромба прямые, то ромб есть квадрат».
Эквивалентность является отношением типа равенства. Как и всякое такое отношение, эквивалентность высказываний являетсярефлексивной(всякое высказывание эквивалентно самому себе),симметричной(если одно высказывание эквивалентно другому, то второе эквивалентно первому) итранзитивной(если одно высказывание эквивалентно другому, а другое – третьему, то первое высказывание эквивалентно третьему).
В следующей таблице перечислены все шесть связок, которые были введены ранее:
Следующие примеры показывают употребление данных связок.
Эти таблицы показывают, что формулы (А→A), (Av ~A), ~(A& ~А), ((А→В)&А)→Bи((A→В)& ~В)→ ~Aпринимают значение истинно при любых значениях входящих в них переменных. Такие формулы называютсяобщезначимыми, илитождественно истинными, илитавтологиями. Более подробно об общезначимых формулах, представляющих законы логики, говорится в главе, посвящённой этим законам.