Для осознания этого парадокса сначала необходимо понять формы, которые он может принимать.
Базовая форма парадокса – когда человек говорит ложь.
Говорящий: «Высказывание ложно».
Если говорящий сказал правду, то «Высказывание ложно» – правда, а значит, говорящий сказал ложь. Он одновременно говорит правду и ложь, создавая противоречие и парадокс.
Если говорящий сказал ложь, то «Высказывание ложно» – ложь, то есть говорящий сказал правду. Опять же противоречие и парадокс.
Парадокс строится не на концепции лжи, а на концепции «неправды».
Говорящий: «Лжец говорит неправду».
Как и в предыдущем случае, если говорящий сказал неправду, то это правда; а если это правда, то это неправда. Даже если лжец не сказал ни правду, ни ложь, это неправда, а поскольку именно это утверждает лжец, то он говорит правду. Возникает еще одно противоречие.
Цикл лжеца
Пока мы имели дело с примерами парадоксов, которые опираются сами на себя. Но даже если исключить эту характеристику, противоречие остается. Цикл лжеца формулируется так.
• «Следующее предложение – правда».
• «Предыдущее предложение – ложь».
Если первое предложение – правда, то и второе тоже; следовательно, первое предложение – неправда. Возникает противоречие. Если первое предложение – неправда, то и второе тоже, а значит, первое предложение – правда. Снова противоречие.
Возможные решения парадокса лжеца
Парадокс лжеца породил немало философских споров. Со временем было предложено несколько решений.
Философ Артур Прайор (1914–1969) утверждал, что парадокс лжеца – вовсе не парадокс. Согласно ему, каждое высказывание содержит свое внутреннее утверждение правды. «Это высказывание – ложь» фактически равнозначно: «Это высказывание – правда, и это высказывание – ложь». Это создает простое противоречие; а поскольку ничто не может одновременно быть правдой и ложью, то это ложь.
Согласно философу Альфреду Тарскому (1901–1983), парадокс лжеца может возникнуть только в «семантически закрытой» языковой системе. Это относится к любому языку, система которого допускает, чтобы какое-то предложение утверждало истинность или ложность себя или другого предложения. Во избежание подобных противоречий, по мнению Тарского, у языковой системы должны быть уровни, а заявление об истинности или ложности может быть сделано только на уровне более высоком, чем предложение. Путем создания иерархии Тарскому удалось избежать противоречий, опирающихся на себя. Любой более высокий уровень языковой системы может ссылаться на более низкий, но не наоборот.
Согласно американскому философу Солу Крипке (род. 1940), высказывание парадоксально только в силу фактов. Крипке утверждал: когда значение истинности высказывания связано с фактом реальности, который может быть подтвержден, высказывание «обоснованно». Если значение истинности не связано с подтверждаемым фактом реальности, высказывание «необоснованно». У необоснованных высказываний нет значения истинности. Высказывания лжеца необоснованны, следовательно, не имеют значения истинности.
Согласно Барвайзу (1942–2000) и Этчеменди (род. 1952), парадокс лжеца двусмыслен. Ученые проводят различие между двумя видами отрицания. Если лжец утверждает: «Это высказывание – неправда», то он опровергает себя. Если лжец утверждает: «Это не тот случай, когда высказывание – правда», он отрицает себя. Согласно Барвайзу и Этчеменди, лжец, опровергающий себя, может говорить неправду, и в этом нет противоречия; а лжец, отрицающий себя, может говорить правду, и в этом нет противоречия.
Философ Грэм Прист (род. 1948) сторонник диалетеизма, идеи о существовании истинных противоречий. Такое противоречие – одновременно истина и ложь. В диалетеизме отвергается широко известный и принятый в классической логике «принцип взрыва», гласящий, что любое утверждение можно вывести из противоречия, если при этом не принимается идея тривиализма, гласящая, что каждое утверждение истинно. Однако поскольку тривиализм инстинктивно ложен, «принцип взрыва» практически всегда отвергается теми, кто поддерживает диалетеизм.
Томас Гоббс
(1588–1679)
Новая философская система
Томас Гоббс родился 5 апреля 1588 г. в английском Малмсбери. Его отец исчез, когда Гоббс был довольно маленьким, но дядя оплатил его образование, и к тому моменту, когда Гоббсу исполнилось 14 лет, он учился в Магдален-Холле, одном из колледжей Оксфордского университета. В 1608 г. Гоббс покинул Оксфорд и стал наставником старшего сына Уильяма Кавендиша, барона Гардвика. В 1631 г., будучи наставником другого члена семьи Кавендиш, Гоббс начал уделять всё больше времени философии и написал свою первую опубликованную работу – «Краткий трактат о первых принципах» (A Short Tract on First Principles).