Нурали Латыпов - Прокачай мозг методом знатоков «Что? Где? Когда?»
С Оккамом (1280–1347) спорил его собственный ученик, другой известный философ и логик Жан Буридан (1300–1358)[31]. Он считал высказывание «всякое высказывание ложно» ложным, так как оно является сокращенной формой выражения утверждающего как свою истинность, так и ложность, а такие выражения, по его мнению, ложны. Некоторые до сих пор с ним согласны.
ВОПРОС № 8Придумайте в качестве тренировки три высказывания: бессмысленное предложение, самоприменимое ложное и самоприменимое истинное.
ВОПРОС № 9Докажите противоречивость отрицания «Парадокса лжеца»: «Всякое высказывание истинно».
В прошлом веке выдающийся польский логик Альфред Тарский отметил, что язык, на котором мы говорим (естественный язык), применяется как для описания окружающего мира, так и для описания самого языка. Такие языки А. Тарский назвал «семантически замкнутыми». В семантически замкнутых языках, по его мнению, неизбежно возникают противоречия. Это, так сказать, плата за мощь и выразительность. Чтобы избежать парадокса, необходимо разделить языки. На первом – следует говорить о материальном мире, на втором – нужно говорить о первом языке и его свойствах, на третьем – говорить о втором языке, ну и так далее. Возникает бесконечная иерархия языков. Подобная ситуация имеет место в искусственных языках, например, предназначенных для программирования, которые описывают свою заданную предметную область, но о них самих и их свойствах высказывания строятся на естественном языке.
С одной стороны это восхитительное открытие, ставящее А. Тарского в один ряд с Великими, а с другой стороны ситуация с построением бесконечной иерархии непротиворечивых языков чем-то очень напоминает нам Ахилла и черепаху…
Долгое время считалось, что предложение А. Тарского – единствен ный путь разрешения «Парадокса лжеца», но сейчас мнение изменилось.
В 1920 году ещё один польский математик Ян Лукасевич предложил многозначные логики, то есть такие, в которых кроме значений «истинно» и «ложно» появляются и другие значения высказываний. Так, первой версией многозначной логики была трёхзначная логика, в которой появились значения «ошибочно» или «неизвестно». Вслед за этим появилось множество различных логик: бесконечнозначные, конечнозначные (чёткие и нечёткие), вероятностные. В них пришлось отказаться от закона «исключения третьего» и даже от «закона противоречия».
Здесь нам самое время познакомиться с этими законами. Их три. Совсем недавно, лет эдак шестьдесят назад, каждый школьник знал эти законы, а сейчас и не всякий выпускник ВУЗа с ними знаком!
Дело в том, что раньше логику преподавали в школе, а теперь только в ВУЗах, в лучшем случае, в инженерно-технических (в рамках курса дискретной математики) да в некоторых юридических. И у кого не было «дискретки», тот понятия не имеет о трёх законах логики. Проверено!
Первый закон тождества, согласно которому в процессе рассуждения каждое осмысленное выражение (понятие, суждение) должно употребляться в одном и том же смысле. Предпосылкой его выполнимости является возможность различения и отождествления тех объектов, о которых идёт речь в данном рассуждении, то есть «мысль о предмете должна иметь определённое, устойчивое содержание, сколько бы раз она ни повторялась. Важнейшее свойство мышления – его определённость – выражается данным логическим законом» (Кириллов, Старченко, 1982).
Второй закон противоречия (он же закон непротиворечия) гласит, что два несовместимых (противоречащих или же противоположных) суждения не могут быть одновременно истинными. По крайней мере одно из них необходимо ложно. Закон противоречия является фундаментальным логическим законом, на котором построена вся современная математика. Здесь очень важную роль имеет слово «одновременно», так как любой предмет может изменяться и в разные моменты времени, так же, как и в разных местах пространства и в разных отношениях, он может не совпадать сам с собой. Так, если сказать, что «река мелкая» и «река глубокая», то это будет противоречием, до тех пор, пока не дано отношение. То, по отношению к кому или чему она мелкая или глубокая: для взрослого она мелкая, а для маленького ребёнка глубокая.
Третий закон исключённого третьего («tertium non datur», то есть «третьего не дано») – закон классической логики: из двух высказываний – «А» или «не А» – одно обязательно является истинным, то есть два суждения, одно из которых является отрицанием другого, не могут быть одновременно ложными (либо истинными), одно из них необходимо истинно, а другое ложно.
ВОПРОС № 10В одном учебнике «Концепции современного естествознания» из главы, посвящённой Общей теории относительности Альберта Эйнштейна, следует, что, по современным научным представлениям, пространство, время и материя не существуют друг без друга: без одного нет другого. А в главе, рассказывающей о происхождении Вселенной, говорится о том, что она появилась примерно 20 млрд. лет назад в результате Большого взрыва, во время которого родилась материя, заполнившая собой всё пространство. Нет ли здесь противоречия?
ВОПРОС № 11Докажите, что известное высказывание Антона Павловича Чехова: «В детстве у меня не было детства» не содержит противоречия.
Вернемся к трёхзначной логике. Предложим логику, имеющую три значения: истинно, ложно, неистинно-неложно (или истинно-и-ложно). Есть ли примеры утверждений, которым можно приписать значение «неистинно-неложно»? Элементарно! Производители растительного масла часто пишут на бутылках, что «продукт не содержит холестерина». Что является то ли лживой истиной, то ли истинной ложью, то ли ещё чем-то. Комментируем. Холестерин является продуктом жизнедеятельности животного организма (печени) и представляет собою соединение в одной молекуле жироподобного и белковоподобного фрагментов. То есть в растительном масле никогда не было и не могло быть холестерина. Но на потребителей надпись действует магически!
ВОПРОС № 12Придумайте утверждение не истинное и не ложное.
А вот что сам Г. В. Ф. Гегель пишет об этом пресловутом «Парадоксе лжеца»: «Одно опровержение носит название лжеца; в этом опровержении ставится вопрос: „если какой-нибудь человек говорит, что он лжет, то лжет ли он, или говорит правду?“ Требуется простой ответ, ибо простое, которым исключается другое, считается истинным. Если ответят: он говорит правду, то это противоречит содержанию его речи, ибо он ведь сознается, что он лжет. Если же будут утверждать, что он лжет, то на это утверждение нужно возразить, что его признание является, наоборот, правдой. Он, следовательно, лжет и вместе с тем и не лжет, простого же ответа на заданный вопрос никак нельзя дать, ибо здесь положено соединение двух противоположностей – истины и лжи, – и их непосредственное противоречие; это и выступало снова и снова в различных формах и занимало умы людей во все эпохи. Хризипп, знаменитый стоик, написал об этом вопросе шесть книг. Другой – Филет Косский – умер от чахотки, которую от нажил благодаря чрезмерным трудам, положенным им на разрешение этой двусмысленности. Нечто совершенно похожее мы видим в наши дни у людей, истощающихся в усилиях найти квадратуру круга, вопрос, который почти стал бессмертным. Они ищут простого отношения между тем, что несоизмеримо друг с другом, то есть они также впадают в ошибку требовать простого ответа, тогда как содержание, с которым они имеют дело, противоречиво».
Мы вечно забываем, что нет на самом деле простых и однозначных отношений – ни между людьми, ни между техническими системами, также и между истиной и ложью их нет. В любой правде есть ложь и наоборот. Помните, как в детском фильме «Отроки во Вселенной» робот-исполнитель сгорел, пытаясь ответить на вопрос ребят «Кто остался на трубе?» Логика машинная и человеческая – это «две большие разницы»[32].
«Лжец» уже одним только фактом своего существования поднял множество сложнейших вопросов и тем самым явился катализатором для генерации нового знания. Однако приходится признать, что разрешение его без каких-либо усовершенствований логики или языка не представляется возможным и, вероятно, ещё не все открытия на этом пути сделаны.
Поспорим? Решения парадокса «Еватл и Протагор»
Конспективно повторим разбор, данный А. А. Ивиным в книге «Логика», который будет особо полезен для работников юридического профиля:
«Протагор посвятил спору с Еватлом сочинение „Тяжба о плате“, которое, к сожалению, не дошло до нашего времени. Готфрид Вильгельм Лейбниц (1646–1716), будучи юристом по образованию, посвятил этому спору свою докторскую диссертацию „Исследование о запутанных казусах в праве“. Великий ученый пытался доказать, на примере тяжбы Протагора и Еватла, что все реальные случаи, даже самые запутанные, должны находить правильное разрешение на основе здравого смысла. По мнению Лейбница, суд должен отказать Протагору в возбуждении дела за несвоевременностью предъявления иска, но оставить, однако, за ним право потребовать уплаты денег позже, а именно после первого выигранного Еватлом процесса…
