Проблема логической непротиворечивости синтеза парадигм эмпиризма и априоризма в логически формализованной аксиоматической системефилософской эпистемологии

Abstract

Синтез парадигм эмпиризма и априоризма в формальной аксиоматической теории . (фило­софской эпистемологии) исследуется в отношении его логической непротиворечивости. Доказательство логической непротиворечивости теории . осуществляется с помощью конструирования таких интерпре­таций, в которых все аксиомы теории . истинны. Эти интерпретации используются также для доказа­тельства недоказуемости формул (Kq . q) и (.q . q) в ..