Journal of Symbolic Logic

Reflecting in Epistemic Arithmetic

Leon Horsten

Full-text is available via JSTOR, for JSTOR subscribers. Go to this article in JSTOR.

Abstract

An 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.

Article information

Source
J. Symbolic Logic, Volume 61, Issue 3 (1996), 788-801.

Dates
First available in Project Euclid: 6 July 2007

Permanent link to this document
https://projecteuclid.org/euclid.jsl/1183745077

Mathematical Reviews number (MathSciNet)
MR1412510

Zentralblatt MATH identifier
0865.03013

JSTOR
links.jstor.org

Citation

Horsten, Leon. Reflecting in Epistemic Arithmetic. J. Symbolic Logic 61 (1996), no. 3, 788--801. https://projecteuclid.org/euclid.jsl/1183745077


Export citation