Modal-Epistemic Arithmetic and the problem of quantifying in

Synthese 190 (1):89-111 (2013)
Download Edit this record How to cite View on PhilPapers
Abstract
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.
PhilPapers/Archive ID
HEYMAA
Revision history
First archival date: 2015-10-26
Latest version: 2 (2015-10-26)
View upload history
References found in this work BETA
Knowledge and its Limits.Williamson, Timothy
Reasoning About Knowledge.Fagin, Ronald (ed.)
Computability and Logic.Boolos, George; Burgess, John; P., Richard & Jeffrey, C.
A New Introduction to Modal Logic.Cresswell, M. J. & Hughes, G. E.

View all 12 references / Add more references

Citations of this work BETA

Add more citations

Added to PP index
2012-07-31

Total views
177 ( #15,501 of 39,026 )

Recent downloads (6 months)
21 ( #19,807 of 39,026 )

How can I increase my downloads?

Monthly downloads since first upload
This graph includes both downloads from PhilArchive and clicks to external links.