По Я. Лукасевичу верующий философ (возможно И. Кант) сказал бы, что она в Богеи является Его мыслью.
Существует мнение, что такой конструкции нет и не может быть.
Отсюда следует, что любые попытки алгоритмизации процесса мышления (так называемый искусственный интеллект) на основе логики закончатся провалом .
На сегодняшний день считается, что так называемый Homo-логический универсумне является счётным, а процессы, в нем происходящие, не являются истинностно – функциональными. Всё, что можно извлечь из предельного огрубления человеческой логики как одной из конкретизаций булевого универсума, как раз извлекает происходящая сейчас компьютерная революция.
В итоге, критики «основных» законов и принципов классической логики привели к феномену логической континуальности, выраженному как в континуальности самих классов логических систем, так и в наличии континуальности замкнутых классов логических функций. Отсюда возникает вопрос, является ли логическое мышлениечеловека дискретнымили континуальным(непрерывным)?
Ответ на этот вопрос, также зависит от того, что понимается под логикой или логической системой. И в рамках одной ли логической системы мыслит человек?
Некоторые современные известные исследователи логических систем высказывают мысль: «что они не знают, что представляет логика из себя, как наука о мышлении».
В современных исследованиях логики, как науки о мышлении, происходит смешение границ различных когнитивных наук(философия, психология, лингвистика, антропология, нейрофизиология и искусственный интеллект), что ведет не к расширению этих наук, а к искажениюих по Канту и их сужению. Поэтому, следовательно, нужен совершенно новый, иной подход к моделированию процесса мышления человека.Можно сказать по Канту, в свете его новой всеобщей науки познания всего сущего, даже революционный.
По Канту границы классической логики, как науки о мышлении, совершенно точно определяются тем, что она есть наука, обстоятельно излагающая и строго доказывающая одни только формальные правила всякого мышления(безразлично, априорное оно или эмпирическое, безразлично, каковы его происхождение и предмет). Своими успехами классическая логика обязана определенности своих границ, благодаря которой по Канту она вправе и даже должна отвлечься от всех объектов познания и различий между ними, следовательно, в ней метаразум имеет дело только с самим собой и со своей формой мышления.
Классическая логика по Канту как пропедевтика составляет как бы только преддверие науки о мышлении и познании метаразума, и когда речь идет о его знаниях, то классическая логика предполагаетсядля суждения метаразумом о них.
Классическая логика по Канту является каноном оценки истинности. В качестве органонадля действительного создания объективных утверждений (знаний) Кант рассматривал диалектику. По Канту, рассудок вообще провозглашается способностью устанавливать правила. Следовательно, способность суждения есть умение подводить под правила, т. е. различать, подчинено ли нечто данному правилу ( casus datae legis) или нет.
Классическая логика по Канту не содержит и не может содержать никаких предписаний для способности суждения. В самом деле, так как она отвлекается от всякого содержания познания, то на ее долю остается только задача аналитически разъяснять одну лишь форму познания в понятиях, суждениях и умозаключениях и тем самым устанавливать формальные правила всякого применения рассудка. Но правило именно потому, что оно есть правило, снова требует наставления со стороны способности суждения. Таким образом, рассудок метаразумадолжен быть способен к поучению посредством правил и усвоению их.
Способность суждения и поучения, есть отличительная черта, которую нельзя восполнить извне никаким искусственным интеллектом.Мы можем дать и как бы вдолбить в программное обеспечение сколько угодно правил искусственному интеллекту, но способность правильно пользоваться ими, ему не присуща. У искусственного интеллекта нет этой способности. Никакие правила, которые были бы предписаны извне искусственному интеллекту, с целью суждения, не гарантируют его от ошибочного применения их. Поэтому искусственный интеллект может иметь сколь угодно много превосходных медицинских, юридических, технических, военных, политических правил и др., что сам способен быть хорошим учителем в своей области, и, тем не менее, в применении их легко может впадать в ошибки потому, что ему недостает естественнойдля человека способности суждения. Так что он хотя и способен in abstractoусматривать общее, но не может различить, подходит ли под него данный случай in concrete.
Читать дальше