Нечеткая логика

Парадокс – в конечной точке, его разрешение – посередине

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

Существует множество парадоксов, которые имеют одну из конечных точек, – факт А или не факт А. Из всех правил есть исключения. Это правило. Есть ли у него исключения? Предположим, что есть. Но тогда оно перестает быть правилом. Если у него есть исключения, тогда есть правила без исключений, и оно опровергает себя. В таком случае получается, что конечная точка данного парадокса находится где-то между фактом А и фактом не А. То же самое справедливо и для обобщения – все обобщения ложны.

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

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

Бертран Рассел нашел парадокс, который положил конец точной математике, которая преобладала и главенствовала в науке со времен Аристотеля. Именно по этой причине Бертран Рассел может по праву считаться «дедушкой» нечеткой логики.

Парадокс Рассела имеет дело с множеством множеств. Коробок, которые наполнены коробками. Сами по себе множества не являются нечеткими. Объекты либо внутри них, либо снаружи. И это тоже вопрос степени. Бертран Рассел обнаружил множества, содержащие объекты и не содержащие объекты внутри себя. Иными словами, он обнаружил множество всех множеств, которые не являлись своими членами.

Рассмотрим множество яблок. Является ли оно множеством самого себя? Нет. Его члены – яблоки, а не множества. То же самое относится ко множествам других возможных объектов, предметов, людей, звезд и вселенных. Они не содержат множества. Они содержат людей, звезды или вселенные. А что насчет множества всех множеств? Является ли оно членом самого себя? Да. Множество всех множеств – это то множество, которому принадлежит членство в своем клубе.

Парадокс Рассела поразил математическое сообщество, произвел фурор и получил статус скандального. За несколько десятилетий до этого математикам приходилось иметь дело с неевклидовыми геометриями изогнутого пространства. На рубеже веков Георг Кантор, немецкий математик, ученик Вейерштрасса, наиболее известный как создатель теории множеств, заставил их принять каскад бесконечностей – столько бесконечностей, сколько существовало чисел (по правде говоря, возможно, чисел существует гораздо больше, чем мы привыкли думать, – возможно, существует континуум нечетких бесконечностей). Но изогнутое пространство и лестница бесконечностей не оспаривали определенность математики. Они расширяли ее границы, переводя на новый уровень. Парадокс Рассела был не парадоксом, а противоречием. Это означало, что возможно доказать любое заявление, которое нравилось ученым, поскольку противоречие подразумевает все.

Первой реакцией на это стало отрицание. Многие математики не одобряли парадоксы, не воспринимая их всерьез и считая, что парадоксы – лишь игра слов. Они не наблюдали проблем или противоречий в математических направлениях, которыми занимались. Они не обнаружили никаких парадоксов ни в гомологической ветви алгебры, ни в коммуникативной алгебре, ни в дифференциальной геометрии. Парадоксы казались артефактами, полученными в процессе того, как логики использовали основы логики и теории множеств. И такое отношение к парадоксам сохраняется по сей день. Парадоксы затрагивают многие разнообразные ветви и направления математики, оказывая влияние на них потому, что каждая ветвь основывается на теории множеств, но, тем не менее, математики не придают парадоксам надлежащего значения. Множество или класс является фундаментальной структурой в математике. Изначально существовали не объекты, а множества объектов. Даже множества были пусты.

Следующей реакцией на появление парадоксов стала попытка определить их как несуществующие. Парадоксы – противоречия. Ученые пытались доказать, что предположения и допущение различных фактов при объяснении парадоксов приводят к противоречию или абсурду. Такой техникой пользовался древнегреческий философ Сократ, этой же техникой пользуются политики для атаки на своих оппонентов. Мы не замечаем, как часто все мы в повседневной жизни прибегаем к подобному приему опровержения того, что нам не нравится.