Authors
Abstract
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.
Keywords No keywords specified (fix it)
Categories No categories specified
(categorize this paper)
Options
Edit this record
Mark as duplicate
Export citation
Find it on Scholar
Request removal from index
Translate to english
Revision history

Download options

PhilArchive copy

 PhilArchive page | Other versions
External links

Setup an account with your affiliations in order to access resources via your University's proxy server
Configure custom proxy (use this if your affiliation does not provide a proxy)
Through your library

References found in this work BETA

Origins of Objectivity.Tyler Burge - 2010 - Oxford University Press.
Meaning and Necessity.Rudolf Carnap - 1947 - University of Chicago Press.
Knowledge and Belief.Jaakko Hintikka - 1962 - Ithaca: Cornell University Press.
Computing Machinery and Intelligence.Alan M. Turing - 1950 - Mind 59 (October):433-60.

View all 74 references / Add more references

Citations of this work BETA

No citations found.

Add more citations

Similar books and articles

Epistemic Modality, Mind, and Mathematics.Hasen Khudairi - 2020 - Dissertation, University of St Andrews
Art and Understanding. In Defence of Aesthetic Cognitivism.Christoph Baumberger - 2013 - In Marc Greenlee, Rainer Hammwöhner, Bernd Köber, Christoph Wagner & Christian Wolff (eds.), Bilder sehen. Perspektiven der Bildwissenschaft. Schnell + Steiner. pp. 41-67.
An Invariantist Theory of 'Might' Might Be Right.David Braun - 2012 - Linguistics and Philosophy 35 (6):461-489.
Epistemic Modality.Andy Egan & Brian Weatherson (eds.) - 2011 - Oxford University Press.

Analytics

Added to PP index
2017-06-14

Total views
186 ( #50,952 of 2,411,684 )

Recent downloads (6 months)
21 ( #36,415 of 2,411,684 )

How can I increase my downloads?

Downloads

My notes