Знания, Онтологии и Мультимодальные Аксиоматические Теории (Дедуктивное доказательство непротиворечивости формальной теории Ф0, синтезирующей формальную аксиологию, универсальную эпистемологию и философскую онтологию)
Лобовиков В.О. Знания, Онтологии и Мультимодальные Аксиоматические Теории (Дедуктивное доказательство непротиворечивости формальной теории Ф0, синтезирующей формальную аксиологию, универсальную эпистемологию и философскую онтологию) // Материалы IX Международной конференции «Знания – Онтологии – Теории» (ЗОНТ-2023). 2 - 6 октября 2023 года, Новосибирск. 2023. С. 202-211.
Интеллект (как естественный, так и искусственный) рассматривается как сложная система, необходимо включающая и непротиворечиво синтезирующая две качественно различные подсистемы знания, а именно, подсистему знания a priori и подсистему знания эмпирического. Согласно И. Канту, априорное знание законов природы есть предписывание ей этих законов разумом. Для представителей опытного естествознания этот тезис кёнигсбергского мыслителя кажется, мягко говоря, очень странным, но для собственно теоретической концепции универсального интеллекта как целого, учение Канта о предписывании разумом законов природе является не случайным, а очень важным. В данной работе указанная проблема рассматривается сперва с точки зрения некой логически формализованной аксиоматической теории Ф, представляющей собой систему мультимодальной эпистемологии, а затем с точки зрения некой формальной теории Ф0, представляющей собой результат существенной мутации теории Ф. Существенным отличием Ф0 от Ф, является пустота множества логических аксиом теории Ф0; все аксиомы теории Ф0 являются ее собственными аксиомами, сформулированными с использованием языка логики. При этом, в теории Ф0 существует единственное правило логического вывода - modus ponens. На обсуждение выносится некое дедуктивное доказательство логической непротиворечивости формальной теории Ф.
