Модели для формальной аксиоматической теории знания "Кси"

Определяется формальная аксиоматическая теория "Кси", представляющая собой философскую эпистемологию, и исследуется проблема ее логической непротиворечивости. Впервые выносятся на обсуждение такие качественно различные интерпретации аксиоматической системы "Кси", которые являются моделями для "Кси". С помощью этих моделей доказывается, что обсуждаемая формальная теория знания логически непротиворечива.

The formal axiomatic theory in question is defined, and the problem of its logic consistency is investigated. For the first time such significantly different interpretations of the axiom system Ξ are submitted which are models of/for Ξ. By means of these models it is demonstrated that the theory in question is consistent.

формальная-аксиоматическая-теория; эпистемология; интерпретация; модель; непротиворечивость
formal-axiomatic-theory; epistemology; interpretation; model; consistency

Полный текст>>