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

Это можно назвать вопросом рассогласования: мир – серый, а наука – черно-белая. Истина лежит где-то посередине, поскольку мир нечеткий. Если утверждения и суждения в формальной логике и компьютерном программировании либо истинны, либо ложны, то с суждениями о мире, в котором мы живем, дело обстоит гораздо сложнее. Констатация тех или иных фактов не может быть абсолютно верной или же абсолютно неверной. Истина относительно данных фактов лежит где-то посередине между 0 и 1, они не двухвалентны, а, напротив, поливалентны, – серы, неточны, нечетки, размыты.

Эти факты не просто предварительные, они неопределенные и расплывчатые. Логическое утверждение «два равно двум» и математическое утверждение 2 + 2 = 4 являются точными и истинными на все сто процентов – истинными, как говорят философы, «во всех возможных вселенных», хотя они точно уверены лишь в существовании одной Вселенной. Но это не влияет на то, как движутся или как расширяются границы вселенных, какими вкусовыми качествами для нас обладает клубника или, например, как ощущается жар на коже после пощечины. Мы никогда не сможем доказать на сто процентов истинность научного утверждения о таком факте, как «луна сияет» или «трава зеленая». Свежие доказательства и новые полученные данные могут развенчать любые научные утверждения и убеждения, и объекты исследования примут совсем другой ракурс, например, трава будет считаться коричневой. В любой момент луна может перестать светить, взорваться, упасть на Землю, вопреки законам науки превратиться в черную дыру или круглый кусок сыра.

Научные законы – вовсе не законы. Они не являются законами в смысле логики, согласно которой, например, 2 + 2 = 4. Эти законы не подчиняются четкой логике. Научные законы в любой момент могут измениться, поскольку их истинность относительна. На сегодняшний день в мире математики, логики и компьютерного программирования ученые говорят на «черно-белом» языке, на котором можно выносить только категоричные суждения: истинность/ложность. Язык математики достаточно своеобразен и отличается от языка в других областях науки, но, тем не менее, он имеет место.

Можно было бы предположить, что ученые и философы обратят внимание на проблему несоответствия, и она займет центральное место в современной науке, однако среди них не нашлось ни одного борца за нечеткость и никого, кто бы принял участие в изучении данной проблемы. Философы предполагали, что мир был черно-белым, двухвалентным, точно так же, как слова и математика, которые они использовали для его описания. После многих лет научной работы они все еще следовали двоичной логике Аристотеля, не задаваясь более глубокими вопросами. Теоретически они могли отличить вопрос логики от вопроса фактов. Но на практике они игнорировали этот раскол между логикой и фактами, рассматривая различные беспорядочные факты, как будто бы это были вопросы логики. Ученые вели себя таким образом по двум причинам: во-первых, так относиться к вопросу было легко; во-вторых, такое отношение было еще и делом привычки. Ученые использовали один и тот же язык для обсуждения вопросов логики и вопросов фактических, они описывали и математику, и наш мир с помощью «черно-белой логики», начало которой более двух тысяч лет назад положил Аристотель.

Аналогично тому, как самые крепкие и сильные спортсмены пытаются выполнять наиболее тяжелые упражнения в спортзале или взять новый рекорд скорости на беговой дорожке, в философии стараются найти кратчайший путь к доказательству теорем символической логики. То же самое относится и к науке: чем более сложные математические пути к объяснению предоставляет ученый, тем менее понятны они будут аудитории, равно так же, как и не будут заслуживать у нее уважения. Обладание навыками и умением ими пользоваться играют важную роль в науке.

С чего же началась теория о нечетком мышлении? Она началась с того, что просто-напросто не было альтернативы «черно-белой» логике в рамках науки. С чего начать? Даже у Эйнштейна не было альтернативы бивалентности. Вместо этого он и группа ученых добавили новую теорию к старой теории бивалентности. Они добавили своеобразную теорию вероятности, математическую теорию «случайности», идея которой заключалась в том, что каждое событие сводится к определенному числу и имеет определенную вероятность того, что это событие произойдет. Аналогично тому, как подбросить монету вверх: есть определенная вероятность, что выпадет «орел», и определенная, что «решка». Подбросив монету один раз, выпадет либо «орел», либо «решка» – соответственно, обе вероятности сводятся к числу 1. Это и есть теория вероятности. Число событий сводится к числу 1, а события эти – «черно-белые», иными словами, выпадает либо одна сторона монеты, либо другая, третьего здесь быть не может.