Алгебра познания.
- 11.05.20 г.
- 9772225665000    20020


Изучение на диалектической основе положений, обозначенных в статьях «Кибер интеллект: диалектико-компьютинговые основы» и «Программные типы: диалектическое различение», приводит к пониманию нового предметного поля, осмысляемого в рамках сформированной в Современной диалектической философии, и соответственно новой диалектической области познания – алгебры познания.
    В основе алгебры познания лежит, по сути, хорошо известное из трудов Гегеля понятие различение неразличности (в смысле этого феномена по Гегелю), что ведет к пониманию определенного великим философом существа отдельных возможностей сознания и мышления через позиции определений, действий с ними и методов в частности и познания вообще, что в свою очередь важно для исследования как отдельных логических позиций, так и логических комплексов, представляющих собою совокупности определений (в т.ч. типов данных), операций, методов и т.д., что, очевидно, важно для алгоритмизации диалектического познания в целом и для диалектического программирования в частности, и, наверное, может быть интересно для представителей обыкновенного программирования.
    Указанные и другие положения в смысле рефлективного производства определений и операций определяют особые исключающие отношения, например формы к определениям, составляющие существо отождествления обозначенных ранее структурных аспектов философий Канта и Гегеля, актуальных для безотносительных программных и аппаратных реализаций задачи (составления и исполнения программы), включая не выводимые объективно-научным путем определения и операции из имеющихся, что представляет собою основания (и соответствующие варианты) сочетаний и обработки определений, не рассматриваемых в обыкновенном программировании.

Алгебра познания предназначена для исследования в диалектическом смысле определений, операций и их систем, начиная от элементарных логических операций и заканчивая общим предметным полем исчисления определений и знаний, а также позиций систематизации и алгоритмизации диалектического познания и форматов вычислительных процессов.
    На основе алгебры познания осуществляется исследование определений и операций, их составления и развертывания в логические комплексы, вплоть до альтернативных объективно-научному познанию форматов и комплексов определений, операций и принципов их организации в сферах
– создания новых форматов (типов) определений (данных), регламентов их обработки и принципов их организации в логические комплексы (архитектуры), в качестве аналогии можно привести Кантовские априорные синтетические суждения [см. «Алгебра познания: развертывание определений»],
– формирования и развертывания данных, не заложенных непосредственно в алгоритме работы программы, т. е. не следующих непосредственно из алгоритма работы программы, в том числе не выводимых объективно-научным (прежде всего аналитическим) путем из имеющихся определений (данных), включая вопросы производства определений, в том числе знаний самими себя, знаний знаниями [см. «Алгебра познания: порождение»],
–  формирования и осуществления отдельных операций, методов, в том числе порождения новых операций, включая рефлективное производство определений и особых данных (это не аналитические процедуры, как например автоматическое доказательство теорем или «самообучающиеся системы») [см. «Алгебра познания: развертывание операций»],
– формирования и осуществления отдельных операций, методов и даже программных кодов, не заложенных непосредственно в алгоритме познания и работы программы [см. «Алгебра познания: порождение»},
– алгоритмизации продуктивной силы воображения человека, в том числе осмысление алгоритмизации операций порождения и творчества,
– исследования формирования, развертывания и реализации логических структур (модулей), в т.ч. новых (диалектических) порождающих – формирования и реализации логических конструктивов (данных и операций с ними), определяемых возможностями создания по ходу программы новых определений (данных) и регламентов их обработки, в том числе за счет создания кусочно-последовательного изменяемого программного некоторого (т.е. изменения логики и даже определенных в связи с этим процессов) и их организацию в более общие комплексы [см. «Алгебра познания: операционные модули»],
– исследования интеллектуальных и познавательных функций,
– исследования и осуществления логических функционалов, соответствующих образам субъективного духа, в том числе творческих, интеллектуальны и познавательных функций,
– исследования и создания программных функционалов, в том числе порождающих логических функционалов – функциональных программно-алгоритмических позиций, не имеющих аналогов в обыкновенном программировании, как бы создающих другое измерение для программы.

Алгебру познания для гносеологии и диалектического программирования можно понимать как своего рода аналог алгебры логики (Булевой алгебры, важной для становления и развития программирования).
    Но теперь речь идет уже о гносеологических и концептуальных позициях, важных для реализации не свойственных наукам и обыкновенному программированию форматов определений и операций и для создания программных функционалов, определяющих категориально-целевой характер программы и существенных для качественного развития программирования, по крайней мере, диалектического программирования.

В частности, получили различения и основания следующие позиции:
– общеизвестные программные реализации (типы, операции, методы, классы, подпрограммы, программа…),
– диалектические программные реализации, включающие диалектические представления о формировании и реализации изменяемых определений и операций и порождающих логических функционалах,
– логические программные функционалы, определяющие категориально-целевой характер программы (например, функционал кибер памяти, в обыкновенном программировании аналогов нет),
– диалектические кибер форматы субъективного духа, выражающие программную конфигурацию конкретной формы диалектического познания или образа субъективного духа.

Указанные позиции обусловили исследование не только алгоритмических и гносеологических  возможностей, но и соответственно принципиально новых компьютинговых возможностей, например, возможность определения понятий третьей архитектуры компьютера (после архитектур фон Неймана и Гарвардской) и принципиально новой файловой системы (о которых уже говорилось на сайте и которые имеют свое обоснование, соответственно, в отождествлении ряда структурных аспектов философий Канта и Гегеля и образах субъективного духа, о которых уже тоже говорилось на сайте).


См.  МОДЕРНИЗАЦИЯ ЛОГИКИ и  Диалектическое программирование.