Философское основание теории

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

Третий шаг – замысел математической логики Лейбница. Возникшая математическая логика многообразна. Я не знаю ни ее содержания, ни истории. Гипотетически предполагаю два ее направления:

• Непродуктивная (господствующая парадигма)
• Продуктивная (альтернативная парадигма)

Господствующая версия МЛ непродуктивна, по крайней мере, в той сфере, которой я занят. В связи с этим понятны уничижительные ее оценки многими авторами. Современные ее исследования существуют в форме исследований операций. Их оценка дана Акоффом: «Будущее исследования операций уже в прошлом» [1.с.398].

Альтернативная версия МЛ видится следующим образом. Следует строго обособить три формы традиционной логики. В них каждая последующая – превращенная форма предыдущих. Специфики последующих – их признаки.

Логика

????????????

формальная (ФЛ) – символическая (СЛ)

????????????

просто – математическая

Символическая логика – это модифицированная формальная логика. Ее специфика – символизация операций как средство формализации рассуждений с понятиями. Этот сдвиг формальной логики идет в направлении, указанном Лейбницем и весьма важен для понимания МЛ. Очень часто МЛ сводят просто к символической версии ФЛ, т.е. эти выражения считают синонимами. Тем не менее, МЛ должна быть более развитой формой СЛ. Только в таком случае она имеет право на самостоятельное значение по сравнению с предыдущей. И фактически, можно утверждать, что имеется уже такое движение к истинной МЛ. Главная проблема – уяснить переход:

СЛ ? МЛ

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

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