УДК 16+17+18+51.7
Лобовиков В.О.
Модели для формальной аксиоматической теории знания "Кси" // Научный журнал "Дискурс-Пи". 2018. № 2 (31). С. 196-205. DOI: 10.17506/dipi.2018.31.2.196205.
список ВАК
Определяется формальная аксиоматическая теория "Кси", представляющая собой философскую эпистемологию, и исследуется проблема ее логической непротиворечивости. Впервые выносятся на обсуждение такие качественно различные интерпретации аксиоматической системы "Кси", которые являются моделями для "Кси". С помощью этих моделей доказывается, что обсуждаемая формальная теория знания логически непротиворечива. формальная-аксиоматическая-теория; эпистемология; интерпретация; модель; непротиворечивость
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
Полный текст>>