Возможный мир — это всегда антимир в отношении какого-то другого мира. Два возможных мира должны различаться хотя бы в одной черте, иначе они просто совпадут. В одном мире есть Букашкин, «цвета промокашки». В каком-то другом мире обязательно должен быть этот же Букашкин, но прямо противоположного цвета. Потом, антимиры — это только мыслимые миры, не более. Они, как воздушные шары, парят над Букашкиным и тем единственным реальным миром, в котором он живет. Они вымысел, иллюзия, мечта, но вымысел, помогающий лучше понять действительный мир и примириться с ним, если нет другого выхода.
Американский писатель М. Рейнолдс использовал идею бесконечных альтернативных миров в фантастическом рассказе «Компания «Последняя возможность». Герой этого рассказа захотел избавиться от своей жены. За соответствующую плату специализировавшаяся на таких делах компания выполнила его пожелание, причем способом, исключавшим какое бы то ни было преследование со стороны закона. Она перенесла героя в тот из бесконечного множества миров, в котором не было не только его жены, но и самих следов ее существования. В том числе и в памяти. Само собой разумеется, жена по-прежнему существовала в бесконечном ряду других миров, поэтому закону придраться было не к чему.
Автор этого рассказа ни слова не говорит о том, как удавалось компании «Последняя возможность» перебрасывать своих клиентов из одного возможного мира в другой. Пожалуй, это вообще не допускает сколь-нибудь правдоподобного объяснения даже в фантастическом рассказе.
Ведь возможные миры — это только мыслимые миры, они подобны тем вариантам вероятного и не очень вероятного хода событий, которые мы нередко перебираем в своем уме, отыскивая тот единственный из них, который произойдет на самом деле. Или, в духе Г. Лейбница, это все те варианты жизни человека и мира, которые пронеслись перед мысленным взором бога, прежде чем он остановил свой выбор на наилучшем из них и сделал его существующим. Множество возможных миров — это просто бесконечное множество мыслимых возможностей, из которых только одна способна реализоваться в действительности. Широко используемые в современной логике «семантики возможных миров» опираются на идею множества таких миров. Эти семантики являются стандартным средством для раскрытия значения модальных понятий, и в частности понятия логической необходимости.
Истинное утверждение правильно описывает положение дел в действительном мире. В другом возможном мире это же утверждение может оказаться ложным. В нашем мире снег бел и металлы расширяются при нагревании. В каких-то мирах этого нет, и утверждения «Снег бел» и «Металлы расширяются при нагревании» являются ложными. Об этих утверждениях, истинных в действительном мире и способных быть ложными в каком-то из возможных миров, говорят, что они случайно истинны: они обязаны своей истинностью, евое-_ образному устройству отдельного' мира.
Есть, однако, утверждения, истинные не только в реальном, но и во всех возможных мирах вообще. Они представляют собой необходимые истины: нет такого мира, в котором они не выполнялись бы и сопоставлением с которым их удалось бы опровергнуть. Например, как бы ни был устроен произвольно взятый мир, в нем либо идет дождь, либо дождя нет. В этом мире не может быть также ситуации, когда в одно и то же время и в одном и том же месте дождь идет и вместе с тем не идет. Это означает, что утверждения «Дождь идет либо не идет» и «Неверно, что дождь идет и не идет», являющиеся конкретизациями уже рассматривавшихся законов исключенного третьего и противоречия, представляют собой необходимые истины.
Научные законы принадлежат к случайным истинам, поскольку относятся только к реальному миру. Они верны для любых его пространственно-временных областей. Но их универсальность не простирается на иные возможные миры, где они могут оказываться ложными.
Истины же логики, ее законы являются необходимыми истинами, справедливыми во всех мирах, включая, разумеется, и действительный. К необходимым истинам этого же рода нередко относят и законы математики.
Теория возможных миров — даже в этом упрощенном и схематичном ее изложении — является хорошим средством для прояснения смысла логической необходимости.
Один из принципов логики говорит, что если утверждение логически необходимо, то оно истинно. В терминах возможных миров это положение перефразируется так: если утверждение истинно в каждом из миров, оно истинно и в действительном мире. Очевидно, что это так, поскольку последний является одним из возможных миров.
Сходным образом обосновываются и другие положения, касающиеся свойств логической необходимости и раскрывающие ее содержание.
Глава 6 СОФИЗМЫ
СОФИЗМ — ИНТЕЛЛЕКТУАЛЬНОЕ МОШЕННИЧЕСТВО!
Софизмы обычно трактуются вскользь и с очевидным осуждением. И в самом деле, стоит ли задерживаться и размышлять над такими, к примеру, рассуждениями: «Сидящий встал; кто встал, тот стоит; следовательно, сидящий стоит»,
«Сократ — человек; человек — не то же самое, что Сократ; значит, Сократ — это нечто иное, чем Сократ»,
«Этот пес твой; он является отцом; значит, он — твой отец»?
А чего стоит такое, допустим, «доказательство»: «Для того чтобы видеть, необязательно иметь глаза, так как без правого глаза мы видим, без левого тоже видим; кроме правого и левого, других глаз у нас нет, поэтому ясно, что глаза не являются необходимыми для зрения»!
Или такое неожиданное «заключение»: «Но когда говорят: «камни, бревна, железо», то ведь это — молчащие, а говорят»!
Софизм «рогатый» стал знаменитым еще в Древней Греции. И сейчас он кочует из энциклопедии в энциклопедию в качестве «образцового». С его помощью можно уверить каждого, что он рогат: «Что ты не терял, то имеешь; рога ты не терял; значит, у тебя рога».
Впрочем, рога — это мелочь в сравнении с тем, что вообще может быть доказано с помощью этого и подобных ему рассуждений.
Убедить человека в том, что у него есть рога, копыта и хвост или что любой, произвольно взятый отец, в том числе и не являющийся вообще человеком, — это как раз его отец и т. д., можно только посредством обмана или злоупотребления доверием. А это и есть, как говорит уголовный кодекс, мошенничество. Не случайно учитель императора Нерона древнеримский философ Сенека в своих «Письмах» сравнивал софизмы с искусством фокусников, относительно манипуляций которых мы не можем сказать, как они совершаются, хотя и твердо знаем, что в действительности все делается совсем не так, как это нам кажется.
В обычном и распространенном понимании софизм- это умышленный обман, основанный на нарушении правил языка или логики. Но обман тонкий и завуалированный, так что его не сразу и не каждому удается раскрыть. Цель его — выдать ложь за истину. Прибегать к софизмам предосудительно, как и вообще обманывать и внушать ложную мысль, зная, в чем заключается истина.
Софизму как ошибке, сделанной умышленно, с намерением ввести кого-либо в заблуждение, обычно противопоставляется паралогизм, понимаемый как непреднамеренная ошибка в рассуждении,
