Мной определены априорные и апостериорные по Канту понятия метаразума, отражающие существенные свойства, связи и отношения между различными объектами, структурами и сложными системами, а также явлениями из реального мира и пространства, как трансцендентальные (содержательные) идеи по Канту.
Мной также устанавливается по Канту, что суждение метаразума представляет утверждение или отрицание чего-либо и может быть только ложным или истинным, и имеет ценностное или содержательное значение (количество, качество, и соотношение).
Принимается, при расчленении способностей рассудка метаразума по Канту, что суждения метаразума могут быть:
общие, частные, единичные, утвердительные, отрицательные, бесконечные, категорические, гипотетические, разделительные, проблематические, ассерторические и аподиктические суждения.
Умозаключение метаразума может быть дедуктивным, как аналитика понятий по Канту, или индуктивным.
Дедукция метаразума это логический вывод от общего к частному, на основании знания общих трансцендентальных (содержательных) законов и правил по Канту, который обуславливает истинность суждения метаразума об априорных теоретических знаниях метаразума.
Индукция метаразума это логический вывод от частного к общему, установление общих законов и правил на основании изучения трансцендентальных (содержательных) отдельных фактов и явлений по Канту на основе опыта, которые обуславливают истинность суждения метаразума об апостериорных теоретических знаниях метаразума.
Аналогия метаразума это логический вывод от частного к частному на основе некоторых элементах сходства.
Мышление и познание метаразума, в основном, определено и представлено мной как процесс решения задач на графах (машинных трансцендентальных схемах по Канту).
Бытует утверждение, что любую задачу можно описать, сформулировать и свести к задаче нахождения априорного или апостериорного по Канту решения на графе, что соответствует разработанной Кантом новой всеобщей науки познания всего сущего.
Человеческий мозг невероятно сложно устроен, и познать его устройство, как он функционирует практически, в настоящее время, невозможно.
Предлагаемый метаразум представляет, из себя, имитатор человеческого мозга, разума и мышления. Имитация позволяет избежать физического исследования человеческого мозга, разума и мышления, что при отсутствии в настоящее время соответствующего инструментария и согласно теореме Гёделя о неполноте, не позволяющей изучать более сложную систему с помощью менее сложной, является оправданной.
Разработка имитатора человеческого мозга, разума и мышления является в настоящее время фундаментальным направлением развития современной науки и техники.
Основоположения метаразума включают:
фигурный синтез метаразума;
рассудочный синтез метаразума по Канту.
Третья глава посвящена в основном разработке принципов и механизма формирования знаний, понятий, суждений, представлений и образов для метаразума, которые раскрывают связь предмета с понятием через суждение, т.е. подведение созерцаний под чистые рассудочные понятия по Канту по определённым правилам (предмет подчинён понятию).
Модель метаразума
Со времён Аристотеля и Канта многими исследователями неоднократно осуществлялись попытки создать модель разума и мышления (МРМ).
Философия и математическая логика, изучавшая разум и мышление, начиная с Аристотеля и Канта, не смогли определить, что такое разум, интуиция и интеллект, а также в чём заключается разумность, критерий разумности и в какой логической схеме можно их отразить.
Разработанная Гильбертом МРМ, как дальнейшее развитие аристотелевской алгоритмической теории мышления, на основе его аксиоматического метода, и которая может существовать только в рамках формальной системы аксиом, оказалась впоследствии неполной.
Гёдель доказал неполноту формальных исчислений, что не позволяет осуществлять алгоритмизацию процесса мышления.
Гёдель впервые обосновал проблему о соотношении между человеческим мозгом, разумом и мышлением, и машинным искусственным разумом.
Гёдель доказал неполноту формальных исчислений, что не позволяет осуществлять алгоритмизацию процесса мышления.
Гёдель впервые обосновал проблему о соотношении между человеческим мозгом, разумом и мышлением, и машинным искусственным разумом.
Попытки Гёделя найти единый математический аппарат для решения любых математических проблем не закончились успехом. Он не смог понять и объяснить, что такое разум и мышление и в чём заключается интуиция, присущая человеческому мозгу.
Его обращение к различным философским течениям, занимавшихся исследованиями разума и мышления человека, повлекли за собой его особое внимание к метафизики и теологии.
Первая теорема Геделя о неполноте арифметики, которая является дедуктивной формальной системой, утверждает, что в любой формальной системе исчислений существуют высказывания истинные, но недоказуемые в этой системе Он утверждает, что неразрешимые высказывания могут оказаться разрешимыми в более сильной системе, получаемой добавлением к исходной формальной системе неразрешимого высказывания, в качестве аксиомы. Для новой системы опять можно эффективно получить новое геделево неразрешимое высказывания. Итерация этого процесса дает расширение арифметики, которое оказывается бесконечным. В этом смысле Гёдель говорит о незавершённости математики. На каждом этапе конструируется новое неразрешимое высказывание, которое оказывается разрешимым при следующем расширении формальной системы исчислений
Гёдель разработал концепцию о незавершённости математики и абсолютной неразрешимости некоторых математических утверждений. Им было внесено понятие объективной математики, которому он придал метафизический характер. Он ввёл различие между объективной и субъективной математикой.
Гёдель предположил существования абсолютно неразрешимых утверждений. Это полностью соответствует концепции Платона, согласно которому математические истины существуют вне и независимо от человеческого сознания и в этом смысле эти математические истины недоступны для человеческого познания и являются априорными по Канту.
Гёдель определил абсолютно неразрешимые утверждения как объективную математику, а математику, которая доступна человеку, он определил как субъективная математика, или человеческая математика. Два вида математики тесно связаны со второй теоремой Геделя о неполноте. Именно эта теорема делает незавершенность математики очевидной. Согласно ей невозможно выбрать определенную систему аксиом и правил и непротиворечиво сделать следующее утверждение о ней, где все аксиомы и правила, которые воспринимаются с математической определенностью, должны быть правильными, и что они содержат всю математику. Очевидно, никакая вполне определенная система правильных аксиом не может включать всю объективную математику, так как утверждение, которое устанавливает непротиворечивость системы истинно, но недоказуемо в системе. Однако что касается субъективной математики, то в ней может существовать конечное правило для произведения всех ее очевидных аксиом
Таким образом, под субъективной математикой Гёделем понимается система всех доказуемых математических утверждений, в то время как под математикой объективной Гёделем понимается система всех истинных математических утверждений по Канту.
Разделение математики Гёделем на объективную и субъективную имеет важное значение для решения вопроса в математическом познании соотношения между человеческим мозгом разумом и мышлением и машинным разумом и мышлением.
Математическая определенность является некоторой характеристикой чистой математики, основанной на доказательстве, и поэтому истинность в чистой математике не дает гарантий математической определенности. Именно это указывает на возможность существования таких математических истин, которые в принципе не могут быть разрешены человеческим мозгом разумом и мышлением по Канту.
Если объективная математика может включать проблемы, не являющиеся неразрешимыми для человеческого мозга разума и мышления, то субъективная математика включает в себя, лишь познаваемые утверждения, которые можно вывести и доказать.
Класс истинных утверждений, которые человеческий мозг разум и мышление способен постичь с математической определенностью, представляет собой подкласс, по Гёделю, всех истинных утверждений математики. Концепция математической определенности связана с постижимостью человеческого мозга разума и мышления математических истин (эффект «ага!») по Канту.