Доказательство «эпистемического аналога» для теоремы 14.3. Из «principia mathematica».

Abstract

In the paper «epistemic analogue» o f the theorem * 14.3. o f A. Whitehead and B.Russell «Principia Mathematica» (PM) is proved for epistemic logic EpS4 *=. Contextual definitions *14.01. and *14.02. from (PM) are changed into «epistemic analogues» o f them - into (EA)* 14.01 and into (EA)* 14.02. respectively. Using such definitions the theorem *14.3. from (PM) is changed into the theorem (EA) *14.3. that is proved by M. Fittings tableau method.