Искусственный ложный Разум и Мир. Геннадий Степанов

Чтение книги онлайн.

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

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

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

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

      логика как таковая некоторую единую конструкцию, или это невозможно для систем искусственного интеллекта?

      В настоящее время осуществляется попытка выявления некоторой структуры, состоящей не из отдельных логических систем, а представление этой конструкции, как целого класса, путём определения взаимоотношения между различными логиками, множествами логик и структурами этих множеств, переводу и погружению одних логических систем в другие, построению какой-либо по возможности богатой конструкции, объединяющей как можно больше логических систем, и изучению уже её свойств. Была предложена конструкция в виде конечной булевой решетки, элементами которой являются сами логические системы, и эта совокупность базисных логических систем может образовать своего рода металогику, как глобальному подходу в исследовании различных совокупностей логик.

      В связи с этим возникает фундаментальный вопрос о существовании конструкции

      под названием ЛОГИКА.

      Известный польский логик Я. Лукасевич в своё время высказал:

      «Итак, сколько бы я ни занимался даже мельчайшей логической проблемой, ища, например, самую короткую аксиому импликативного исчисления, всякий СКАЧАТЬ