Мой вопрос заключается в том, существует ли какая-то конкретная символическая логика в основе человеческого мышления — нечто очень рудиментарное, но все же формальное ? Вопрос можно рассматривать в контексте статьи, приведенной ниже.
Обратитесь к следующей статье Уилфрида Зига: Гёдель о вычислимости. На странице 12 из 19, параграф 2, автор пишет:«В глубоком смысле ни Черч, ни Гедель не признавали подлинно отличительного характера анализа Тьюринга, т. е. перехода от арифметически мотивированных вычислений к лежащим в их основе общим символическим процессам. Самое главное в данном интеллектуальном контексте, эти процессы должны осуществляться программно. человеческими существами: Entscheidungsproblem должен был быть решен нами механическим путем, именно нормативное требование радикальной интерсубъективности между людьми мотивировало шаг от аксиоматических систем к формальным. компьютеры решающим образом и использует ограничения их вычислительных мощностей, работая механически».
Кроме того, может ли кто-нибудь объяснить заявление Зига о том, что переход был от арифметически мотивированных вычислений к общим символическим процессам, лежащим в их основе : ясно, что Зиг знает о μ-рекурсивных функциях и их эквивалентности машинам Тьюринга, тогда что же такое эти символические процессы ? И что он хочет сказать, написав: «Проблему Entscheidungs мы должны были решить механически» ?
Похоже, вы имеете в виду то, что обычно называют вычислительной теорией разума, которая является онтологической основой когнитивной науки и ее самой драгоценной игрушки — искусственного интеллекта. Ответ на ваш вопрос может быть в этой статье:
https://plato.stanford.edu/entries/computational-mind/
Вычислительная теория разума часто подвергалась резкой критике из-за сомнительных предположений о природе разума. Наиболее известным критиком систем искусственного интеллекта, основанных на символической логике, является Хьюберт Дрейфус в его книге «Чего компьютеры не могут» (1972). Пределы формальной логики и упадок программы Гильберта и логицистского проекта по сведению всей математики к логике также могут вас заинтересовать:
https://plato.stanford.edu/entries/goedel-incompleteness/ https://plato.stanford.edu/entries/hilbert-program/
Гипносифл