Выводы. 
Надежность технических систем и техногенный риск

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

О терминах. Множество идей в классификациях 1-го порядка, 2-го, …, п-го порядка Г. Лейбница являются подмножеством информационного пространства (Г). Его можно описать выражением.

схожим с классификацией функций Бэра, изложенной в приложении к книге Лузина^[1], где имеются ссылки на работы его ученицы Л. В. Келдыш в этом направлении.

Главные идеи Лейбница — геометрические и арифметические операции и приёмы (не только силлогизмы Аристотеля, но и методы прямых Евклида вкупе с операциями умножения, сложения и т. д.) и использование в анализе прямоугольников, а не окружностей, роль и значение символов в мышлении (алфавит мыслей-разума) человека, числовые приемы («не спорить, а вычислить») — лежат еще не востребованными. Например, геометрическую интерпретацию линиями еще никто не использовал, хотя у них по мысли Лейбница нет неоднозначности (!) кругов.

Умер Лейбниц 14 ноября 1716 г. в Ганновере, вскорости после этого «цивильные» голландцы даже вытащили его из могилы и, привязав за ноги, на лошадях протащили по Амстердаму, «и с хохотом аминь вскричали бесы» (Гейне). Не успел он опубликовать «круги Эйлера — Венна» и аксиомы. Они стали известными благодаря Л. Кутюра в 1903 г. Но это успел Эйлер, придумал и опубликовал и аксиомы, и «круги» в 1768 г. Последние известны сейчас как диаграммы Эйлера — Венна.

Анализ логики Лейбница обнаруживает присущий ей недостаток. Для противоречивых суждений у Лейбница не было в прямом смысле положительных и отрицательных суждений. Однако он использует знаки «+» и «-». Но с учетом операции умножения. А это сильно!

Сложный термин состоит из простых, а простому термину с характеристическим простым числом он для отрицания приписывает в делителе числа знак «-», а для положительной его части знак «+». Идея глобальная, но изложена нами, конечно, несколько сжато. Составное число раскладывается на простые числа, но со знаком, т. е. отрицательное суждение рождается знаками входящих в него простых однозначных чисел — терминов. Но тогда все слова должны быть отражены только простыми натуральными числами со знаками. А значит, получается, что и предложение можно выразить числом со знаком («плюс» или «минус», истины или лжи). Изложенный подход интересен, но вот кто будет расставлять знаки — весьма немаловажно.

Геометрическая модель аксиоматического пространства может быть выражена следующей формулой:

Система аксиом геометрического пространства дана по Д. Гильберту в приложении к учебнику. А общая (объединенная) информационно-геометрическая модель /_{7 г} имеет вид.

и отображена на рис. 1.7.

Рис. 1.7. Графическое представление общей информационно-геометрической модели

• [1] Лузин H. H. Теория функций действительного переменного.