Схема умозаключения по аналогии

В обоих случаях рассуждение идет по одной и той же схеме. Сопоставляются два объекта и оказывается, что они сходны в каких-то своих признаках. Из этого делается вывод, что их сходство распространяется и на другие, еще не рассматривавшиеся признаки. При таком рассуждении знание, полученное из рассмотрения одного предмета, переносится на другой менее изученный предмет. Это и есть умозаключение по аналогии.

Такое умозаключение по ходу мысли, по логической структуре очень простое.

Ставший уже классическим пример о жизни на Марсе особенно наглядно демонстрирует эту простоту. Сторонники гипотезы о возможности жизни на Марсе рассуждают так. Между Марсом и Землей много общего: это две расположенные рядом планеты Солнечной системы, на обеих есть вода и атмосфера, не очень существенно различается температура на их поверхности и т.д. На Земле имеется жизнь. Поскольку Марс очень похож на Землю с точки зрения условий, необходимых для существования живого, значит, и на Марсе, по всей вероятности, есть жизнь. Этот пример подчеркивает принципиальную особенность умозаключения по аналогии: оно не дает достоверного знания. Есть ли жизнь на Марсе, нет ли там жизни – современной науке не известно. Сопоставление Земли и Марса, прослеживание их сходства не являются, конечно, доказательством существования жизни на Марсе. Это сопоставление, как бы далеко оно ни шло, способно дать только предположительное знание, гипотезу, нуждающуюся в прямой проверке.

*******************************************************************

Глава 8. Логические парадоксы

§ 1. "Король логических парадоксов"

Известно, что сформулировать проблему часто важнее и труднее, чем решить ее. «В науке, – писал английский химик Ф. Содди, – задача, надлежащим образом поставленная, более чем наполовину решена. Процесс умственной подготовки, необходимый для выяснения того, что существует определенная задача, часто отнимает больше времени, чем само решение задачи».

Формы, в которых проявляется и осознается проблемная ситуация, очень разнообразны. Далеко не всегда она обнаруживает себя в виде прямого вопроса, вставшего в самом начале исследования. Мир проблем так же сложен, как и порождающий их процесс познания. Выявление проблем связано с самой сутью творческого, мышления. Парадоксы представляют собой наиболее интересный случай неявных, безвопросных способов постановки проблем. Парадоксы обычны на ранних стадиях развития научных теорий, когда делаются первые шаги в еще неизученной области и нащупываются самые общие принципы подхода к ней.

Парадоксы и логика

В широком смысле парадокс — это положение, резко расходящееся с общепринятыми, устоявшимися, ортодоксальными мнениями. «Общепризнанные мнения и то, что считают делом давно решенным, чаще всего заслуживают исследования» (ГЛихтенберг). Парадокс – начало такого исследования.

Парадокс в более узком и специальном значении — это два противоположных, несовместимых утверждения, для каждого из которых имеются кажущиеся убедительными аргументы.

Наиболее резкая форма парадокса – антиномия, рассуждение, доказывающее эквивалентность двух утверждений, одно из которых является отрицанием другого. […]

Варианты парадокса «Лжеца»

Наиболее известным и, пожалуй, самым интересным из всех логических парадоксов является парадокс «Лжец». Он-то главным образом и прославил имя открывшего его Евбулида из Милета.

Имеются варианты этого парадокса, или антиномии, многие из которых являются только по видимости парадоксальными.

В простейшем варианте «Лжеца» человек произносит всего одну фразу: «Я лгу». Или говорит: «Высказывание, которое я сейчас произношу, является ложным». Или: «Это высказывание ложно».

Если высказывание ложно, то говорящий сказал правду, и значит, сказанное им не является ложью. Если же высказывание не является ложным, а говорящий утверждает, что оно ложно, то это его высказывание ложно. Оказывается, таким образом, что, если говорящий лжет, он говорит правду, и наоборот.

В средние века распространенной была такая формулировка:

– Сказанное Платоном – ложно, – говорит Сократ.

– То, что сказал Сократ, – истина, – говорит Платон.

Возникает вопрос, кто из них высказывает истину, а кто ложь?

Парадокс «Лжец» произвел громадное впечатление на греков. И легко понять почему. Вопрос, который в нем ставится, с первого взгляда кажется совсем простым: лжет ли тот, кто говорит только то, что он лжет? Но ответ «да» приводит к ответу «нет», и наоборот. И размышление ничуть не проясняет ситуацию. За простотой и даже обыденностью вопроса оно открывает какую-то неясную и неизмеримую глубину.

Ходит даже легенда, что некий Филит Косский, отчаявшись разрешить этот парадокс, покончил с собой. Говорят также, что один из известных древнегреческих логиков, Диодор Кронос, уже на склоне лет дал обет не принимать пищу до тех пор, пока не найдет решение «Лжеца», и вскоре умер, так ничего и не добившись.

В средние века этот парадокс был отнесен к так называемым неразрешимым предложениям и сделался объектом систематического анализа.

В новое время «Лжец» долго не привлекал никакого внимания. В нем не видели никаких, даже малозначительных затруднений, касающихся употребления языка. И только в наше, так называемое новейшее время развитие логики достигло наконец уровня, когда проблемы, стоящие, как представляется, за этим парадоксом, стало возможным формулировать уже в строгих терминах.

Теперь «Лжец» – этот типичный бывший софизм – нередко именуется королем логических парадоксов. Ему посвящена обширная научная литература. И тем не менее, как и в случае многих других парадоксов, остается не вполне ясным, какие именно проблемы скрываются за ним и как следует избавляться от него.

Язык и метаязык

Сейчас «Лжец» обычно считается характерным примером тех трудностей, к которым ведет смешение двух языков: языка, на котором говорится о лежащей вне его действительности, и языка, на котором говорят о самом первом языке.

В повседневном языке нет различия между этими уровнями: и о действительности, и о языке мы говорим на одном и том же языке. Например, человек, родным языком которого является русский язык, не видит никакой особой разницы между утверждениями: «Стекло прозрачно» и «Верно, что стекло прозрачно», хотя одно из них говорит о стекле, а другое – о высказывании относительно стекла.

Если бы у кого-то возникла мысль о необходимости говорить о мире на одном языке, а о свойствах этого языка – на другом, он мог бы воспользоваться двумя разными существующими языками, допустим русским и английским. Вместо того чтобы просто сказать: «Корова – это существительное», сказал бы «Корова is a noun», а вместо: «Утверждение «Стекло не прозрачно» ложно» произнес бы «The assertion «Стекло не прозрачно» is false». При таком использовании двух разных языков сказанное о мире ясно отличалось бы от сказанного о языке, с помощью которого говорят о мире. В самом деле, первые высказывания относились бы к русскому языку, в то время как вторые – к английскому.

Если бы далее нашему знатоку языков захотелось высказаться по поводу каких-то обстоятельств, касающихся уже английского языка, он мог бы воспользоваться еще одним языком. Допустим немецким. Для разговора об этом последнем можно было бы прибегнуть, положим, к испанскому языку и т.д.

Получается, таким образом, своеобразная лесенка, или иерархия, языков, каждый из которых используется для вполне определенной цели: на первом говорят о предметном мире, на втором — об этом первом языке, на третьем — о втором языке и т.д. Такое разграничение языков по области их применения — редкое явление в обычной жизни. Но в науках, специально занимающихся, подобно логике, языками, оно иногда оказывается весьма полезным. Язык, на котором рассуждают о мире, обычно называют предметным языком. Язык, используемый для описания предметного языка, именуют метаязыком.

Ясно, что, если язык и метаязык разграничиваются указанным образом, утверждение «Я лгу» уже не может быть сформулировано. Оно говорит о ложности того, что сказано на русском языке, и, значит, относится к метаязыку и должно быть высказано на английском языке. Конкретно оно должно звучать так: «Everything I speak in Russian is false» («Все сказанное мной по-русски ложно»); в этом английском утверждении ничего не говорится о нем самом, и никакого парадокса не возникает.

Различение языка и метаязыка позволяет устранить парадокс «Лжеца». Тем самым появляется возможность корректно, без противоречия определить классическое понятие истины: истинным является высказывание, соответствующее описываемой им действительности.