A Hyperintensional Two-Dimensionalist Solution to the Access Problem

Abstract

I argue that the two-dimensional hyperintensions of epistemic topic-sensitive two-dimensional truthmaker semantics provide a compelling solution to the access problem. I countenance an abstraction principle for two-dimensional hyperintensions based on Voevodsky's Univalence Axiom and function type equivalence in Homotopy Type Theory. The truth of my first-order abstraction principle for two-dimensional hyperintensions is grounded in its being possibly recursively enumerable i.e. Turing computable and the Turing machine being physically implementable. I apply, further, modal rationalism in modal epistemology to solve the access problem. Epistemic possibility and hyperintensionality, i.e. conceivability, can be a guide to metaphysical possibility and hyperintensionality, when (i) epistemic worlds or epistemic hyperintensional states are interpreted as being centered metaphysical worlds or hyperintensional states, i.e. indexed to an agent, when (ii) the epistemic (hyper-)intensions and metaphysical (hyper-)intensions for a sentence coincide, i.e. the hyperintension has the same value irrespective of whether the worlds in the argument of the functions are considered as epistemic or metaphysical, and when (iii) sentences are said to consist in super-rigid expressions, i.e. rigid expressions in all epistemic worlds or states and in all metaphysical worlds or states. I argue that (i) and (ii) obtain in the case of the access problem.

Other Versions

No versions found

Links

PhilArchive

External links

  • This entry has no external links. Add one.
Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

  • Only published works are available at libraries.

Analytics

Added to PP
2022-05-08

Downloads
855 (#31,759)

6 months
255 (#12,857)

Historical graph of downloads
How can I increase my downloads?

Author's Profile

Citations of this work

No citations found.

Add more citations

References found in this work

The character of consciousness.David John Chalmers - 2010 - New York: Oxford University Press.
Does conceivability entail possibility.David J. Chalmers - 2002 - In Tamar Gendler & John Hawthorne, Conceivability and Possibility. New York: Oxford University Press. pp. 145--200.
Constructing the World.David Chalmers (ed.) - 2012 - Oxford: Oxford University Press.
Realism, Mathematics & Modality.Hartry H. Field - 1989 - New York, NY, USA: Blackwell.
Mathematical truth.Paul Benacerraf - 1973 - Journal of Philosophy 70 (19):661-679.

View all 29 references / Add more references