Absolute Decidability and Mathematical Modality

Download Edit this record How to cite View on PhilPapers
Abstract
This paper aims to contribute to the analysis of the nature of mathematical modality, and to the applications of the latter to unrestricted quantification and absolute decidability. Rather than countenancing the interpretational type of mathematical modality as a primitive, I argue that the interpretational type of mathematical modality is a species of epistemic modality. I argue, then, that the framework of multi-dimensional intensional semantics ought to be applied to the mathematical setting. The framework permits of a formally precise account of the priority and relation between epistemic mathematical modality and metaphysical mathematical modality. The discrepancy between the modal systems governing the parameters in the multi-dimensional intensional setting provides an explanation of the difference between the metaphysical possibility of absolute decidability and our knowledge thereof.
Keywords
No keywords specified (fix it)
Categories
No categories specified
(categorize this paper)
PhilPapers/Archive ID
KHUADA
Upload history
First archival date: 2017-06-14
Latest version: 8 (2021-01-09)
View other versions
Added to PP index
2017-06-14

Total views
125 ( #34,151 of 55,922 )

Recent downloads (6 months)
19 ( #36,208 of 55,922 )

How can I increase my downloads?

Downloads since first upload
This graph includes both downloads from PhilArchive and clicks on external links on PhilPapers.