Title: Modal-Epistemic Arithmetic and the problem of quantifying in
Authors: Heylen, Jan # ×
Issue Date: Jan-2013
Publisher: Springer
Series Title: Synthese: an International Journal for Epistemology, Methodology and Philosophy of Science vol:190 issue:1 pages:89-111
Abstract: The subject of this article is Modal-Epistemic Arithmetic, a theory introduced by Horsten to interpret Epistemic Arithmetic, which in turn was introduced by Shapiro to interpret Heyting Arithmetic. I will show how to interpret Modal-Epistemic Arithmetic in Epistemic Arithmetic and I will show how to get rid of a particular Platonist assumption. Then I will discuss models for Modal-Epistemic Arithmetic 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.
ISSN: 0039-7857
Publication status: published
KU Leuven publication type: IT
Appears in Collections:Centre for Logic and Analytical Philosophy
× corresponding author
# (joint) last author

Files in This Item:
File Description Status SizeFormat
Heylen2012_Synthese_OA.pdfOA Article Published 463KbAdobe PDFView/Open


All items in Lirias are protected by copyright, with all rights reserved.

© Web of science