Модернизация теоретической физики на базе нечеткой и немонотонной логик
Modernization of physics based fuzzy and non-monotone logic
Попов В.Г.
ООО Промэкология, г. Санкт-Петербург E-mail: prom-eko2010@hotmail.com
Аристотель создал универсальный когнитивный аппарат для организации выводного знания — формальную логику и силлогистику, но его метод лингвистического отображения описывает лишь обратимый мир.
В свою очередь детерминистская парадигма позволяет при рассмотрении пространственно-временных отношений использовать метазнак, именуемый «консервативная система», денотатом которого выступает область мира, изолированная от внешней среды. Детерминированные системы отсчета приближенно реализуются в машинах, и отклонения от расчетного режима (например, трение в шарнирах и/или сопротивление в переключателях) считаются нежелательными. Достижениям строгой логики, точной математики и свершениям современной информатики мы обязаны Аристотелю, но своего рода машиной выступает тогда и природа, описываемая с помощью этих инструментов. Многообразие мира устраняется из естествознания и хорошо, если оно отдается литературе, живописи и другим видам искусства, но хуже, - если эту лакуну занимают оккультные учения.Реальный мир - открытая и динамически неуравновешенная система. Логика реальности противоречива, взаимодействия в ней совершаются на элементах нечетких множеств, а квантовые явления и фазовые переходы характеризуются процессуальной немонотонностью. Так или иначе, научное знание приобрело систему строгих доказательств, но потеряло реальное представление о мире, не признавая утверждений, которые одновременно могут быть истинными и ложными, т. е. соотношением точного знания (информации) и усредненного или удаленного знания (энтропии).
В основе теории нечетких множеств (или нечеткой логики в широком смысле) лежат операции на функции L, расширяющие известные операции традиционных множеств. В качестве множества значений для этой функции берется интервал 0,1, тогда как в булевом формализме, обобщающем аристотелевский формализм, - отрезок [0, 1]. Значения из L могут интерпретироваться в зависимости от интерпретации нечеткого множества, которым выступает лингвистическая переменная.