«Каждый сумеет решить эту задачу». (5)
В соответствии с законом (4), правильно построенное отрицание имеет вид:
«Найдется человек, который не сумеет решить эту задачу». (6)
Однако, вопреки тому, что (4а) является грубой ошибкой, высказывание:
«Каждый – не сумеет решить эту задачу» (6а)
является вполне допустимым в естественном языке отрицанием высказывания (5).
Приведенные выше примеры говорят о том, что иллюстрации к законам логики, взятые из естественного языка, следует подбирать с осторожностью, а сам факт отсутствия изоморфизма между языком логики и естественным языком – следует подчеркнуть в самом начале вводного курса логики.
11. НЕСУЩЕСТВУЮЩИЕ ОБЪЕКТЫ И МАТЕМАТИЧЕСКАЯ ЛОГИКАВыше мы уже говорили о том, что в преподавании начального курса логики имеются своеобразные трудности, связанные с отсутствием изоморфизма между естественным языком и языком, на котором написаны логические формулы.
Сейчас эта тема будет продолжена в несколько ином направлении.
Как хорошо известно, в математике не существует запрета на введение (временных) обозначений для несуществующих объектов. Например, если требуется решить в целых числах уравнение
31x + 572= 1000,то через x обозначают искомое (несуществующее) целочисленное решение, и лишь затем убеждаются, что такого решения нет.
Строго говоря, здесь следовало бы рассуждать от противного; однако, даже рассуждая со всей строгостью от противного, мы по-прежнему вынуждены вводить обозначение x для несуществующего объекта.
Здесь мы коснемся этого же вопроса применительно к преподаванию темы «Высказывания» в курсе логики. Разбирая эту тему, преподаватель неизбежно сталкивается с несуществующими объектами, которые ведут себя довольно парадоксальным образом.
Рассмотрим, например, высказывание:
Все Деды-Морозы делают подарки детям. (1)
Это высказывание, очевидно, следует считать истинным. Действительно, его отрицание выглядит следующим образом:
Существует Дед-Мороз, который не делает подарков детям. (2)
(Поскольку Дед-Мороз не существует, высказывание (2) – ложно, и, значит, высказывание (1) истинно.) В высказывании (1) мы имеем дело с (пустым) множеством, состоящим из всех Дедов-Морозов; ситуация радикально меняется, если мы имеем дело не с множеством, а с «единичным объектом», которого на самом деле не существует.
Действительно, рассмотрим теперь такое высказывание:
Дед-Мороз принес подарок Васе. (1)
Однако (1) в отличие от (1), очевидно, ложно! Дело в том, что (1), в сущности, следует рассматривать не как простое, а как составное высказывание:
Дед-Мороз существует и Дед-Мороз принес подарок Ване. (1)
Итак, здесь мы вновь столкнулись с неизоморфностью естественного языка и языка формальной логики, о чем, без сомнения, следует помнить преподавателю.
12. ИМПЛИКАЦИЯ И ВРЕМЯТеперь мы обсудим некоторые довольно любопытные вопросы, касающиеся взаимодействия хода логических рассуждений с ходом времени.
Общеизвестно, что никакое минимально содержательное рассуждение в естественном языке не может обойтись без слов «если…, то…». В логике аналогом этого союза является операция импликация.
Напомним, однако, что в отличие от естественной речи, где союз «если …, то…» применяется к парам высказываний, связанным по смыслу, имитирующая этот союз импликация применима к любой паре высказываний, независимо от того, связаны эти высказывания по смыслу или нет.
В частности, в силу введенного в формальной логике определения, условились считать истинными не только такие высказывания как «Если данное число делится на 9, то оно делится на 3», но и высказывания вида: «Если дважды два – четыре, то Волга впадает в Каспийское море», а также высказывания, составленные из таких пар, в которых первое из двух утверждений (посылка) ложно: «Если дважды два – пять, то Волга впадает в Каспийское море»; «Если дважды два – пять, то Волга впадает в Аральское море».
Может показаться, что импликация (обычно обозначаемая стрелкой →) представляет собой безобидное непосредственное обобщение союза «если…, то…». Но тогда логические законы, справедливые для операции →, казалось бы, не должны приводить к противоречию, если пользоваться ими в естественной речи.
Одним из таких законов является закон контрапозиции, утверждающий, что при любых истинностных значениях высказываний А и В высказывания А → В и (не В) → (не А) равносильны (т.е. одновременно истинны или одновременно ложны).
Рассмотрим теперь общеизвестную истинную импликацию
«Если ветер дует, то деревья качаются». (1)