Reflecting in epistemic arithmetic
AbstractAn epistemic formalization of arithmetic is constructed in which certain non-trivial metatheoretical inferences about the system itself can be made. These inferences involve the notion of provability in principle, and cannot be made in any consistent extensions of Stewart Shapiro's system of epistemic arithmetic. The system constructed in the paper can be given a modal-structural interpretation
1966 ◽
Vol 24
◽
pp. 118-119
1988 ◽
Vol 46
◽
pp. 394-395
Keyword(s):
1984 ◽
Vol 42
◽
pp. 408-409
1995 ◽
Vol 53
◽
pp. 102-103
1994 ◽
Vol 52
◽
pp. 714-715