Cognitivism about Epistemic Modality

Download Edit this record How to cite View on PhilPapers
This paper aims to vindicate the thesis that cognitive computational properties are abstract objects implemented in physical systems. I avail of the equivalence relations countenanced in Homotopy Type Theory, in order to specify an abstraction principle for intensional, computational properties. The homotopic abstraction principle for intensional mental functions provides an epistemic conduit into our knowledge of cognitive algorithms as abstract objects. I examine, then, how intensional functions in Epistemic Modal Algebra are deployed as core models in the philosophy of mind, Bayesian perceptual psychology, the program of natural language semantics in linguistics, and in quantum information theory, and I argue that this provides abductive support for the truth of homotopic abstraction. Epistemic modality can thus be shown to be both a compelling and a materially adequate candidate for the fundamental structure of mental representational states, comprising a fragment of the Language of Thought.
No keywords specified (fix it)
No categories specified
(categorize this paper)
PhilPapers/Archive ID
Upload history
First archival date: 2017-06-14
Latest version: 6 (2020-06-06)
View other versions
Added to PP index

Total views
183 ( #26,922 of 55,922 )

Recent downloads (6 months)
34 ( #23,148 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.