Modal-Epistemic Arithmetic and the problem of quantifying in

Synthese 190 (1):89-111 (2013)
  Copy   BIBTEX


The subject of this article is Modal-Epistemic Arithmetic (MEA), a theory introduced by Horsten to interpret Epistemic Arithmetic (EA), which in turn was introduced by Shapiro to interpret Heyting Arithmetic. I will show how to interpret MEA in EA such that one can prove that the interpretation of EA is MEA is faithful. Moreover, I will show that one can get rid of a particular Platonist assumption. Then I will discuss models for MEA in light of the problems of logical omniscience and logical competence. Awareness models, impossible worlds models and syntactical models have been introduced to deal with the first problem. Certain conditions on the accessibility relations are needed to deal with the second problem. I go on to argue that those models are subject to the problem of quantifying in, for which I will provide a solution.

Similar books and articles

In defense of epistemic arithmetic.Leon Horsten - 1998 - Synthese 116 (1):1-25.
Reflecting in epistemic arithmetic.Leon Horsten - 1996 - Journal of Symbolic Logic 61 (3):788-801.
Modal-Epistemic Variants of Shapiro’s System of Epistemic Arithmetic.Leon Horsten - 1994 - Notre Dame Journal of Formal Logic 35 (2):284-291.
Epistemic modals are assessment-sensitive.John MacFarlane - 2011 - In Andy Egan & Brian Weatherson (eds.), Epistemic Modality. Oxford University Press.
Abstract universes and quantifying in.Donald E. Stahl - 1986 - Philosophia 16 (3-4):333-344.
First order common knowledge logics.Frank Wolter - 2000 - Studia Logica 65 (2):249-271.
The Case for Infallibilism.Julien Dutant - 2007 - In C. Penco, M. Vignolo, V. Ottonelli & C. Amoretti (eds.), Proceedings of the 4th Latin Meeting in Analytic Philosophy. Genoa: University of Genoa. pp. 59-84.


Added to PP

355 (#32,916)

6 months
50 (#27,203)

Historical graph of downloads
How can I increase my downloads?

Author's Profile

Jan Heylen
KU Leuven

References found in this work

Knowledge and its Limits.Timothy Williamson - 2000 - Oxford University Press.
Knowledge and Its Limits.Timothy Williamson - 2000 - Philosophy 76 (297):460-464.
Knowledge and its Limits.Timothy Williamson - 2000 - Tijdschrift Voor Filosofie 64 (1):200-201.

View all 18 references / Add more references