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”.