Switch to: References

Add citations

You must login to add citations.
  1. Modal and Hyperintensional Cognitivism and Modal and Hyperintensional Expressivism.David Elohim - manuscript
    This paper aims to provide a mathematically tractable background against which to model both modal cognitivism and modal expressivism. I argue that epistemic modal algebras, endowed with a hyperintensional, topic-sensitive epistemic two-dimensional truthmaker semantics, comprise a materially adequate fragment of the language of thought. I demonstrate, then, how modal expressivism can be regimented by modal coalgebraic automata, to which the above epistemic modal algebras are categorically dual. I examine five methods for modeling the dynamics of conceptual engineering for intensions and (...)
    Download  
     
    Export citation  
     
    Bookmark  
  • Hyperintensional Ω-Logic.David Elohim - 2019 - In Matteo Vincenzo D'Alfonso & Don Berkich (eds.), On the Cognitive, Ethical, and Scientific Dimensions of Artificial Intelligence. Springer Verlag.
    This essay examines the philosophical significance of $\Omega$-logic in Zermelo-Fraenkel set theory with choice (ZFC). The categorical duality between coalgebra and algebra permits Boolean-valued algebraic models of ZFC to be interpreted as coalgebras. The hyperintensional profile of $\Omega$-logical validity can then be countenanced within a coalgebraic logic. I argue that the philosophical significance of the foregoing is two-fold. First, because the epistemic and modal and hyperintensional profiles of $\Omega$-logical validity correspond to those of second-order logical consequence, $\Omega$-logical validity is genuinely (...)
    Download  
     
    Export citation  
     
    Bookmark   4 citations  
  • Fixed Points in the Hyperintensional Epistemic $\mu$-Calculus and the KK Principle.David Elohim - manuscript
    This essay provides a novel account of iterated epistemic states. The essay argues that states of epistemic determinacy might be secured by countenancing iterated epistemic states on the model of fixed points in the modal $\mu$-calculus. Despite the epistemic indeterminacy witnessed by the invalidation of modal axiom 4 in the sorites paradox -- i.e. the KK principle: $\square$$\phi$ $\rightarrow$ $\square$$\square$$\phi$ -- a hyperintensional epistemic $\mu$-automaton permits fixed points to entrain a principled means by which to iterate epistemic states and account (...)
    Download  
     
    Export citation  
     
    Bookmark  
  • Hyperintensional Foundations of Mathematical Platonism.David Elohim - manuscript
    This paper aims to provide hyperintensional foundations for mathematical platonism. I examine Hale and Wright's (2009) objections to the merits and need, in the defense of mathematical platonism and its epistemology, of the thesis of Necessitism. In response to Hale and Wright's objections to the role of epistemic and metaphysical modalities in providing justification for both the truth of abstraction principles and the success of mathematical predicate reference, I examine the Necessitist commitments of the abundant conception of properties endorsed by (...)
    Download  
     
    Export citation  
     
    Bookmark  
  • Topic-sensitive Two-dimensional Truthmaker Semantics.David Elohim - manuscript
    This paper endeavors to establish foundations for the interaction between hyperintensional semantics and two-dimensional indexing. I examine the significance of the semantics, by developing three, novel interpretations of the framework. The first interpretation provides a characterization of the distinction between fundamental and derivative truths. The second interpretation demonstrates how the elements of decision theory are definable within the semantics, and provides a novel account of the interaction between probability measures and hyperintensional grounds. The third interpretation concerns the contents of the (...)
    Download  
     
    Export citation  
     
    Bookmark