Читать книгу Искусственный ложный Разум и Мир - Геннадий Степанов - Страница 8

Как известно логика является наукой о мышлении.

Со времён Аристотеля рассматривались различные модальные понятия, которые отражали развитие модальной логики.

Примем машинную логику как модальную многозначную пропозициональную логику, использующую сравнительные модальные понятия.

Сравнительные модальные понятия, которые являются содержательными (трансцендентальными) по Канту и могут быть охарактеризованы как количественные, качественные и понятия о соотношении по Канту, а также их оценка позволяют определить критерий разумности по Канту.

Согласно Аристотелю высказывания о будущем не может быть ни истинным, ни ложным, т.е. оно является неопределённым, случайным.

Представим мышление метаразума как процесс решения задач комбинаторной оптимизации (ЗКО).

Решение ЗКО на основе ЭМКО предполагает принятие случайного решения, которое может быть ошибочным, назовём его неопределённым решением.

Таким образом, определим мышление метаразума как три типа мышления:

– рациональное мышление (РМ) на основе модальной многозначной пропозициональной логики (ММПЛ) (трансцендентальной по Канту);

– иррациональное мышление (ИМ) на основе машинной интуиции (антиципации по Канту);

– неопределённое мышление (НМ) на основе метода Монте-Карло.

Согласно Канту понятие истинности не носит всеобщий характер т.к. это требование заключает в себе противоречие.

С помощью дедуктивного логического вывода на основе ММПЛ возможен поиск метаразумом апостериорного приближённого решения ЗКО по Канту и случайным образом оптимального решения. Данное решение определим как логическую истину (ЛИ).

Поиск априорного оптимального решения осуществляется с помощью машинной интуиции (антиципации по Канту), на основе расчёта с использованием ЭМКО. Данное решение определим как математическую истину (МИ) по Канту (априорное синтетическое машинное суждение).

Выбор неопределённого решения производится с помощью генератора случайных чисел и таймера из апостериорных решений. Неопределённое решение может быть случайно оптимальным. Данное решение назовём как неопределённую истину (НИ). Неопределённая истина принимает значения или постфактум после принятия решения.

Машинная истина включает все три определённые истины.

Таким образом пределы границ между решениями, принятыми тремя типами мышления, размыты.

Метаразум осуществляет поиск решения одновременно, параллельно тремя типами мышления.