Парадоксы в математике
Контрольная работа - Математика и статистика
Другие контрольные работы по предмету Математика и статистика
о это еще не разрешение парадокса. Мало найти способ, как его исключить, надо убедительно обосновать предлагаемое решение. Само сомнение в каком-то шаге, ведущем к парадоксу, должно быть хорошо обосновано.
Прежде всего, решение об отказе от каких-то логических средств, используемых при выводе парадоксального утверждения, должно быть увязано с нашими общими соображениями относительно природы логического доказательства и другими логическими интуициями. Если этого нет, устранение парадокса оказывается лишенным твердых и устойчивых оснований и вырождается в техническую по преимуществу задачу.
Кроме того, отказ от какого-то допущения, даже если он и обеспечивает устранение некоторого конкретного парадокса, вовсе не гарантирует автоматически устранения всех парадоксов. Это говорит о том, что за парадоксами не следует "охотиться" поодиночке. Исключение одного из них всегда должно быть настолько обосновано, чтобы появилась определенная гарантия, что этим же шагом будут устранены и другие парадоксы.
Однако надо иметь в виду, что непродуманный и неосторожный отказ от слишком многих или слишком сильных допущений может привести просто к тому, что получится хотя и не содержащая парадоксов, но существенно более слабая теория, имеющая только частный интерес.
Глава II. Многообразие парадоксов
2.1 Парадокс "Лжец"
Наиболее известным и, пожалуй, самым интересным из всех логических парадоксов является парадокс "Лжец", сформулированный греческим философом Эвбулидом из Милета в IV веке до н.э.
Имеются различные варианты этого парадокса. В простейшем варианте "Лжеца" человек произносит всего одну фразу: "Я лгу", или говорит: "Высказывание, которое я сейчас произношу, является ложным". Традиционная лаконичная формулировка этого парадокса гласит: если лгущий говорит, что он лжет, то он одновременно лжет и говорит правду.
Данный парадокс можно переформулировать и так. Допустим, что на лицевой стороне карточки стоят слова: "На другой стороне этой карточки написано истинное высказывание" - и ничего более. Ясно, что эти слова представляют собой осмысленное утверждение. Перевернув карточку, мы находим на ее обороте слова: "На другой стороне этой карточки написано ложное высказывание" - и опять-таки ничего более. Предположим, что утверждение на лицевой стороне - истинно. Тогда утверждение на обороте должно быть истинным и, значит, утверждение на лицевой стороне должно быть ложным. Но если утверждение с лицевой стороны ложно, тогда утверждение на обороте также должно быть ложным и, следовательно, утверждение на лицевой стороне должно быть истинным. Выходит, что данное утверждение не может быть ни истинным, ни ложным. Но это противоречит принципу исключенного третьего. Парадокс ошеломляющий. Он произвел громадное впечатление на греков. Ходит даже легенда, что он привел к самоубийству некоего Филита Косского. Этот парадокс разбил Аристотель и многие другие логики, жившие позднее. Некоторые философы считали, что поскольку рассматриваемое утверждение содержит ссылку на самое себя, то оно просто не имеет смысла, а бессмысленные высказывания должны быть исключены из языка.
С развитием логики в нем стали видеть смешение двух языков: языка, на котором говорится о предметах, существующих в мире, и языка, служащего для описания самого такого "предметного" языка. В нашем обычном языке эти два уровня не различаются.
Было предложено другое объяснение, основанное на анализе одной весьма необычной особенности этого высказывания. Дело в том, что это высказывание одновременно является актом действия; причем как раз то, что в этом высказывании утверждается, в то же время становится и действием. Более того, высказывание и действие разорвать нельзя. Такие высказывания встречаются не так уж и редко. Например: "Я клянусь", "Я говорю", "Я лгу", и т.п. Высказывания такого рода называются перформативными и к ним как считают некоторые авторы, не применимы какие-либо оценки их истинности. Их истинность зависит от того, когда, кем и где они употребляются.
Выше было сказано, что парадокс "Лжец" возникает из-за смешения двух языков. Как же связан этот парадокс с ними. Еще античные философы заметили, что каждое высказывание естественного языка выражает определенную мысль, но не несет никакой информации о том, истинна ли эта мысль или нет. Более того, они показали, что именно это утверждение об истинности того или иного высказывания не может быть выражено в естественном языке. Рассуждали они следующим образом. Пусть A0 есть некоторое высказывание, например: "1 января шел снег", и пусть это событие действительно имело место. Но так как из содержания высказывания А0 не следует, что оно истинно, то необходимо дополнительное высказывание A1: "Высказывание A0 истинно". Нетрудно, однако, заметить, что истинность высказывания A1 тоже ниоткуда не следует. Поэтому необходимо новое высказывание А2: "Высказывание A1 истинно" и т.д. до бесконечности.
Получается, что понятие истинности действительно не выразимо средствами естественного языка.
Впрочем, это не совсем так. На самом деле доказано только то, что выше описанным способом нельзя выразить утверждение об истинности высказывания A0. Поэтому остается вопрос: "А нельзя ли это сделать каким-либо другим способом?". И вообще, неужели утверждение об истинности или ложности какого-либо конкретного высказывания нельзя сформу?/p>