2. Что такое парадокс?

Парадоксы (от греч. para – против, doxa – мнение) это рассуждения, в которых в равной мере доказывается истинность какого-либо утверждения и его отрицания. Причиной парадокса является то, что в теориях, содержащих парадоксы, недостаточно уяснены фундаментальные понятия, в том числе логические.

Упоминание о парадоксах можно найти еще в Древнегреческой философии. Современник Сократа Евбулид из Милета, как полагают исследователи, впервые упоминает ставший широко известным парадокс лжеца. Существует несколько вариантов этого парадокса. Наиболее простой из них связан с человеком, который сказал: «Я лгу». Суть его состоит в том, что вопреки известному логическому закону, согласно которому утверждение чего-либо и отрицание того же самого соотносятся друг с другом так, что в одном из них заключается истина, а в другом ложь, делается попытка обосновать возможность одновременно и утверждения и отрицания. Такой парадоксальный вывод получается при ответе на вопрос: «Лжет ли тот, кто говорит, что он лжет?» В этом случае, мы якобы неизбежно приходим к выводу: «Если он лжет, то он говорит правду и наоборот».

В более современной модификации этот парадокс выглядит так. Предположим, что на листе бумаги написано одно единственное предложение Р: «Все написанное на данном листе бумаги является ложным». Затем строят рассуждения, согласно которым нельзя установить ни истинность, ни ложность упомянутого предложения Р. Этот результат получается следующим путем.

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

В эквивалентной положительной форме последнее утверждение гласит: «Некоторое из написанного на данном листе не является ложным». А так как на данном листе бумаги написано единственное предложение Р, то мы должны считать его не ложным, а неистинным. Такого противоречие, к которому приходят в этом рассуждении, характерной особенностью которого является то, что с самого начала неявно исходят из предпосылки, что содержание предложения Р высказывается о нем самом. Если эту предпосылку отбросить, то парадокс исчезает.

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

Некоторые авторы приходят к ошибочному заключению о наличии суждений, предикаты которых высказываются непосредственно о них же, т.е. о тех же самых суждениях в результате смешения объективно различных понятий – понятия «предмет, относительно которого высказывается данный предикат непосредственно» с понятием «предмет, относительно которого высказывается данный предикат косвенно». Но допуская данный паралогизм, мы тем самым ошибочно полагаем, что если познано общее в конкретных предметах, то тем самым, якобы, познан каждый и отдельный предмет, в то время как на самом деле при наличии знаний об общем мы можем и не подозревать о существовании того или иного конкретного предмета, стороной которого является общее. На эту сторону наших рассуждений обращал внимание уже Аристотель («Аналитики»).

Для того, чтобы утверждение «Всякое суждение является либо истинным, либо ложным» (А) стало само предметом суждения, мы должны высказать суждение «Утверждение, что «Всякое суждение является либо истинным, либо ложным» является либо истинным, либо ложным» (В), которое нетождественно с суждением (А), потому что последнее является общим суждением, а суждение (В) единичным.

Когда говорят, что предметом суждения (А) является оно само, то аргументируют это мнение тем, что раз предикат этого суждения высказывается о всех суждениях, то естественно отнести его к самому этому суждению. Но такая аргументация несостоятельна. Действительно, указанный предикат естественно отнести к самому этому суждению. Но сделать это можно в результате умозаключения, для которого требуется дополнительная посылка «Высказывание «Всякое суждение является либо истинным, либо ложным» представляет собой суждение», а предметом суждения следует считать только то, что соотноситься с предикатом непосредственно.

Для того, чтобы суждение (А) стало непосредственно предметом, к которому относится предикат суждения (В), оно должно выступить в суждении (В) не как предложение, выражающее суждение, а как наименование последнего, выражающее регистрирующее понятие, которое выполняет функцию субъекта в суждении (В).

Точно так же и к суждению «Все написанное на данном листе бумаги является ложным» может относиться предикат «ложно» только тогда, когда соответствующее ему регистрирующее понятие «Суждение «все написанное на данном листе бумаги является ложным» будет субъектом суждения, в котором предикатом является понятие «ложно». Разумеется, что и предикат «истинно» может быть отнесен к любому суждению только в том случае, если он соединен в суждении с субъектом, представляющим собой понятие, обозначающее суждение, относительно которого высказывается предикат «истинно». А если имеются два суждения, в которых субъектом является одно и то же понятие и предикатом в одном из них является понятие «ложно», а в другом – понятие «истинно», то такие два суждения будут явно несовместимыми, т.е. ничего парадоксального в этом случае не оказывается.

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

Упражнения:

1. Определите вид логической ошибки:

1.1. Лекарство, которое принимает больной - это добро.

Чем больше добра, тем лучше

Значит, чем больше принимать лекарства, тем лучше.

Софизм (ложный вывод) – содержательная ошибка.

1.2. Все европейские государства - члены Шенгенского союза. Значит и Англия, как европейская страна, входит в Шенгенскую группу.

Паралогизм – содержательная ошибка. Не все европейские государства члены Шенгенского союза.

1.3. Все православные являются христианами. Все католики - тоже христиане. Значит, католики и православные - это одно и то же.

Софизм(ложный вывод) – формальная ошибка. «Все православные являются христианами. Все католики - тоже христиане.» - данные высказывания не могут доказывать, что католики и христиане одно и то же.