Искусственный ложный Разум и Мир - страница 13

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

В последнее время многие исследователи логики, как науки о мышлении, задумываются об итогах развития логики. История двух с половиной тысячелетнего периода развития логики со всей остротой поставили вопрос о том, что такое логика или, более конкретно, что такое логическая система? Конечно, два традиционных направления развития логики остаются пока непоколебимыми. Это, с одной стороны, синтаксическое направление, проявившееся в наибольшей степени в фундаментальной работе Д. Габбая и получившее название дедуктивные системы («labelled»), а также непрекращающиеся попытки максимально обобщить генценовские исчисления. И в первом и во втором случае ставится цель единообразного охвата наибольшего числа различных логических систем и даже различных направлений в логике. С другой стороны, остается неизменной тенденция в выработке единого семантического основания для возможно большего разнообразия логических систем. При обоих подходах логическая техника становится всё более утонченной и формально разработанной и не оставляет места философским, метафизическим спекуляциям по Канту.

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

Проводимые многими современными логиками исследования с применением аппарата универсальной алгебры, с развитием теории категорий и с возрастающими потребностями в вычислениях и обработке информации, дающие представления о логических системах и о самой логике, принимают всё более абстрактный характер. Это говорит о непостижимой глубине логики, а может быть даже о некоторой тайне, скрываемой в недрах логического универсума. И эта тайна периодически нежданно – негаданно проявляется в побочных эффектах, указывающих на нечто принципиально новое и требующих переосмысления статуса самой логики.

Современная логика имеет непосредственное отношение к базисным, фундаментальным конструкциям, которые зарождаются в недрах математического знания, создавая этим новый концептуальный аппарат. Такими конструкциями являются теория множеств, оператор замыкания с определенными свойствами, топологические пространства, решетка как определенным образом упорядоченное множество, моноиды, семейство базисных комбинаторов, алгебра Линденбаума, понятие категории, и т. д. Первая и последняя из указанных конструкций стали парадигмами нового мышления, а некоторые их конкретизации дали необычайной силы импульс развитию самой логики.

На сегодняшний день открытым остается главный вопрос: представляет ли собой

логика как таковая некоторую единую конструкцию,