Войти в аккаунт
Хотите наслаждаться полной версией, а также получить неограниченный доступ ко всем материалам?
Заявка на добавление в друзья

Парадокс лжеца (размышления о математической истине)

362 2 3
Парадокс лжеца (размышления о математической истине)

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

Для тех, кто не в курсе, рассказываю:

Дано высказывание: «Данное высказывание ложно».

Вопрос: Истинно ли данное высказывание?

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

Эта шуточная антиномия является примером известного в математике (а именно, в теории множеств) парадокса Рассела, названного в честь открывшего его Бертрана Рассела. Суть его состоит в следующем:

Условимся называть множество «обычным», если оно не является своим собственным элементом. Например, множество всех людей является обычным, так как само множество – не человек.

Примером «необычного» множества является множество всех множеств, т.к. оно само является множеством, а, следовательно, само является собственным элементом.

Множество, состоящее из всех обычных множеств, называется расселовским множеством. Парадокс возникает при попытке определить – является ли это множество обычным или нет, т.е. содержит ли оно себя в качестве элемента.

Очевидно, что так же, как и в случае с парадоксом лжеца, оценить обычность/необычность расселовского множества не представляется возможным. Любое решение порождает парадокс.

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

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

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

Истина не может противоречить сама себе, она не может быть направлена против себя самой же, и вообще против чего-либо. Она всегда жизнеутверждающа! И научная истина возможна только на стыке математики и физики, т.е. на стыке теории и практики, когда утверждения формулируются не просто ради игры слов, а с целью совершенствования сознания и мира, с пониманием ЕДИНСТВА сознания и мира. А это предполагает высокую ответственность за состояние своего сознания (с учетом его влияния на мир), т.е. высшую степень осознанности.

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

Мы ведь ничего не знаем об этом множестве, чтобы так категорично утверждать: «множество людей – это не человек»!

Скорее всего, Рассел имел в виду под «обычным» множеством людей некую группу живых людей. Но ведь это всего лишь ЧАСТЬ от полного множества ВСЕХ людей, когда-либо живших, живущих и будущих жить в дальнейшем. А про такое, целое, множество мы уже не можем сказать уверенно, что оно «не человек».

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

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

Именно такое, целостное, понимание множества было у Г. Кантора, автора «наивной теории множеств»: «Множество есть любое собрание определённых и различимых между собой объектов нашей интуиции или интеллекта, мыслимое как единое целое».

Я не знаю, почему теорию Кантора математики называют «наивной». На мой взгляд, именно она и отражает истинное понимание информационной природы вещей и эволюции мира.

На КОНТе есть один автор, который обвиняет математиков в том, что они извратили физику, превратив её в абстрактную теорию, не имеющую никакого отношения к реальности. Дело конечно, не в математике и не в физике, а в нас самих. В том, насколько широко или ограниченно наше сознание, наше восприятие реальности. Можем ли мы объять мыслью и чувством мир в целом или не можем? Можем ли за внешними деталями и различиями разглядеть единую суть? Можем ли в «обычном» увидеть «необычное», не считая это парадоксом? 

{{ rating.votes_against }} {{ rating.rating }} {{ rating.votes_for }}

Комментировать

осталось 1800 символов
Свернуть комментарии

Все комментарии (2)

Виктор Апин

комментирует материал 20.09.2019 #

Жизнь парадоксами полна.

Ложь "демократии" известна всем.
Миг власти избирателя на выборах его лишает власти насовсем.

no avatar
хочу_хамон

комментирует материал 20.09.2019 #

Искал гуглем "главную проблему математической логики" - не нашел.
В предложение «Данное высказывание ложно» нет цепочки, требующей проверки логикой.
Просьба переписать автора это предложение в привычных для мат логики предикатах (АUB=A...) для наглядности сделанных ею выводов.
Пример еще предложения, не являющегося объектом классической логики есть допущения типа "Пусть А=5", для него не ставится задача истинно оно или ложно. Прежде чем применять аппарат логики, надо правильно интерпретировать семантику, а че ты больше хочешь - схоластики или софистики?

user avatar
×
Заявите о себе всем пользователям Макспарка!

Заказав эту услугу, Вас смогут все увидеть в блоке "Макспаркеры рекомендуют" - тем самым Вы быстро найдете новых друзей, единомышленников, читателей, партнеров.

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

Сейчас для мгновенного попадания в этот блок нужно купить 1 ставку.

Цена 10.00 MP
Цена 40.00 MP
Цена 70.00 MP
Цена 120.00 MP
Оплата

К оплате 10.00 MP. У вас на счете 0 MP. Пополнить счет

Войти как пользователь
email
{{ err }}
Password
{{ err }}
captcha
{{ err }}
Обычная pегистрация

Зарегистрированы в Newsland или Maxpark? Войти

email
{{ errors.email_error }}
password
{{ errors.password_error }}
password
{{ errors.confirm_password_error }}
{{ errors.first_name_error }}
{{ errors.last_name_error }}
{{ errors.sex_error }}
{{ errors.birth_date_error }}
{{ errors.agree_to_terms_error }}
Восстановление пароля
email
{{ errors.email }}
Восстановление пароля
Выбор аккаунта

Указанные регистрационные данные повторяются на сайтах Newsland.com и Maxpark.com

Перейти на мобильную версию newsland