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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

В основу машинной модальной многозначной пропозициональной логики возьмём аксиологическую логику, разработанную профессором А. А. Ивинымиз Москвы.

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