Reflecting in Epistemic Arithmetic

Journal of Symbolic Logic 61 (2):788-801 (1996)
  Copy   BIBTEX

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.

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 90,616

External links

  • This entry has no external links. Add one.
Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

Similar books and articles

Reflecting in epistemic arithmetic.Leon Horsten - 1996 - Journal of Symbolic Logic 61 (3):788-801.
Two Proof-Theoretic Remarks on EA + ECT.Volker Halbach & Leon Horsten - 2000 - Mathematical Logic Quarterly 46 (4):461-466.
In defense of epistemic arithmetic.Leon Horsten - 1998 - Synthese 116 (1):1-25.
Modal-Epistemic Variants of Shapiro’s System of Epistemic Arithmetic.Leon Horsten - 1994 - Notre Dame Journal of Formal Logic 35 (2):284-291.
Provability in principle and controversial constructivistic principles.Leon Horsten - 1997 - Journal of Philosophical Logic 26 (6):635-660.
Incompleteness and inconsistency.Stewart Shapiro - 2002 - Mind 111 (444):817-832.
The epistemic significance of numerals.Jan Heylen - 2014 - Synthese 198 (Suppl 5):1019-1045.
Knowledge of arithmetic.C. S. Jenkins - 2005 - British Journal for the Philosophy of Science 56 (4):727-747.
Epistemic modals are assessment-sensitive.John MacFarlane - 2011 - In Andy Egan & Brian Weatherson (eds.), Epistemic Modality. Oxford University Press.

Analytics

Added to PP
2017-02-21

Downloads
5 (#1,344,576)

6 months
4 (#320,252)

Historical graph of downloads
How can I increase my downloads?

Author's Profile

Leon Horsten
Universität Konstanz

References found in this work

No references found.

Add more references