Lobovikov Vladimir
The paper deals with constructing and investigating discrete mathematical simulations of formal-axiological aspect of the following philosophy systems: (1) the Eleatic metaphysics – Parmenides and Melissus; (2) the metaphysics of Plato and Aristotle; (3) the dialectical materialism of K. Marx and F. Engels. The formal-axiological analysis is implemented by means of artificial languages and properly mathematical notions.
Keywords: formal, axiology, metaphysics, contradiction, movement, matter, evaluation, function, variable, algebra.