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

##plugins.themes.bootstrap3.article.main##

E.E. Ledrtikov

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.

##plugins.generic.usageStats.downloads##

##plugins.generic.usageStats.noStats##

##plugins.themes.bootstrap3.article.details##

Section
Статьи

References

Ледников Е.Е . Существование и индивидные дескрипции // Логические исследования. Вып.9. М , 2002. С.113-118.

Ледников Е.Е. Индивидные дескрипции в эпистемических контекстах // Смирновские чтения. 4 Международная конференция. М., 2003. С. 148-150.

Ледников Е.Е. О семантике «явного» и «неявного» знания // Труды научно-исследовательского семинара Логического центра института философии РАН. Вып. XVI. М., 2002. С.75-78.

Whitehead A.N., Russell В. Principia Mathematica. Cambridge, 1962. P.173-186.

Fitting Melvin. Model existence theorems for modal and intuitionistic logics // The journal o f symbolic logic. V. 36, n. 4, Dec., 1973. P.613-627.