Многие философы считают философию наукой, как и мы в этой работе. У всякой науки имеется предмет науки (то, что она изучает) и метод науки (то, с помощью чего изучается предмет науки). В результате возникает теория предмета науки, сводящаяся к набору истинных утверждений о предмете. Истинность не всех утверждений можно усмотреть непосредственно или с помощью подходящих приборов. Так, истинность утверждений общности (а часто и существования) приходится доказывать, для чего в качестве одного из методов науки необходимо применять ту или иную логику. При выборе и построении логики, как это видно из работ Фреге, Куайна, Витгентштейна и других, обычно обращаются к естественному языку, при этом каких-либо отчетливых и достаточных оснований для указанного выбора не предъявляется. В противовес подобной неопределенности развиваемая автором теория категорных систем (ТКС), являющаяся формализацией и развитием теории функциональных систем П.К. Анохина, дает следующую методику построения логики для той или иной теории. Основной принятый в ТКС принцип идет от П.К. Анохина и состоит в постулате о том, что система полностью определяется своим системообразующим фактором (целью, результатом, достижения которого добивается система). Наука есть система с системообразующим фактором «построить теорию предмета науки», постулат требует, чтобы всё, в том числе понятие истинности высказываний для предмета данной науки, логика, адекватная предмету науки, и прочее были построены при опоре исключительно на сам предмет науки. Это означает, что логик столько, сколько и предметов наук, а брать для той или иной науки заранее известную логику, например, классическую, теория систем запрещает. Блестящим примером подобного построения теории и логики является конструктивная математика А.А. Маркова, которая, как известно, лежит в основе теории алгоритмов и искусственного интеллекта. Построенная по приведенной системной методике конструктивная логика в виде башни Маркова весьма сложна, использует иерархию неограниченного количества логических языков для слов в алфавитах (предмет этой науки) и некоторых конструктивных операций со словами. Для философии как науки имеется ее предмет – философский универсум (материя, эмоции, «все, о чем только можно помыслить» и т.д.), однако построить логику (философскую логику) для выводов истинных утверждений об универсуме, несмотря на многочисленные попытки, начиная с Лейбница, не удается, в частности, из-за слишком обширного универсума. Предположение о том, что сужение универсума приведет к уменьшению сложности задачи, оправдалось: сузив философский универсум до слов в алфавитах с конструктивными операциями, мы приходим к башне Маркова как первому примеру системно полностью построенной философской логики. Сказанное выше достаточно подробно развертывается в статье.
философская логика; конструктивная математика; теория Марковских алгоритмов; искусственный интеллект; башня Маркова; инсайт; искусственное сознание; исчисления.