Дискретная математическая модель материалистической диалектики познания. Представление философских знаний в искусственных интеллектуальных системах, «диалектическая логика» и алгебра формальной аксиологии

Abstract

Объект исследования — диалектико-материалистическая философия познания. Предмет — формально-аксиологический аспект указанного объекта. Метод — математическое моделирование. Новый научный результат: впервые построена дискретная математическая репрезентация предмета исследования — система уравнений двузначной алгебры формальной аксиологии, моделирующая формально-аксиологический аспект адекватного мышления об объективных противоречиях материального мира. Впервые точно сформулирована на искусственном языке двузначной алгебры формальной аксиологии такая модель немарксистского диамата, на уровне которой пресловутая проблема «не формальной, а содержательной диалектической логики противоречивого мышления» не возникает; точнее, она возникает на уровне модели только как «ошибка в вычислении».

The object of investigation is di alectical-materialistic philosophy of cognition. The subject matter is a formalaxiological aspect of the indicated object. The method is mathematical modeling. New scientifi c result is that a discrete mathematical representation of the indicated aspect of the object of investigation is constructed for the fi rst time. This representation is a system of equations of two-valued-algebra-of-formal-axiology, which models formal-axiological aspect of adequate thinking of objective contradictions of material world. For the first time by means of artifi cial language of two-valued-algebra-of-formal-axiology such a model of not-Marxist “Diamat” is formulated, at the level of which model the notorious “not formal but content dialectical logic of inconsistent thinking” does not come into being. Or, speaking more precisely, it comes into being at the model level only as a result of “computation blunder”.