Switch to: References

Citations of:

A Case For Higher-Order Metaphysics

In Peter Fritz & Nicholas K. Jones (eds.), Higher-Order Metaphysics. Oxford University Press (2024)

Add citations

You must login to add citations.
  1. Ordinal Type Theory.Jan Plate - forthcoming - Inquiry: An Interdisciplinary Journal of Philosophy.
    Higher-order logic, with its type-theoretic apparatus known as the simple theory of types (STT), has increasingly come to be employed in theorizing about properties, relations, and states of affairs—or ‘intensional entities’ for short. This paper argues against this employment of STT and offers an alternative: ordinal type theory (OTT). Very roughly, STT and OTT can be regarded as complementary simplifications of the ‘ramified theory of types’ outlined in the Introduction to Principia Mathematica (on a realist reading). While STT, understood as (...)
    Download  
     
    Export citation  
     
    Bookmark   1 citation  
  • Review of Properties and Propositions: The Metaphysics of Higher-Order Logic by Robert Trueman. [REVIEW]Nicholas K. Jones - forthcoming - Mind.
    This is a review of "Properties and Propositions: The Metaphysics of Higher-Order Logic" by Robert Trueman. Following an overview of the main themes of the book, I discuss the metaphysical presuppositions of Trueman's Fregean notation for predicate abstraction and evaluate his argument for strict typing.
    Download  
     
    Export citation  
     
    Bookmark  
  • On Type Distinctions and Expressivity.Salvatore Florio - 2023 - Proceedings of the Aristotelian Society 123 (2):150-172.
    Quine maintained that philosophical and scientific theorizing should be conducted in an untyped language, which has just one style of variables and quantifiers. By contrast, typed languages, such as those advocated by Frege and Russell, include multiple styles of variables and matching kinds of quantification. Which form should our theories take? In this article, I argue that expressivity does not favour typed languages over untyped ones.
    Download  
     
    Export citation  
     
    Bookmark   1 citation  
  • Higher‐Order Being and Time.Lukas Skiba - forthcoming - Noûs.
    Higher‐order metaphysicians take facts to be higher‐order beings, i.e., entities in the range of irreducibly higher‐order quantifiers. In this paper, I investigate the impact of this conception of facts on the debate about the reality of tense. I identify two major repercussions. The first concerns the logical space of tense realism: on a higher‐order conception of facts, a prominent version of tense realism, dynamic absolutism, turns out to conflict with the laws of (higher‐order tense) logic. The second concerns our understanding (...)
    Download  
     
    Export citation  
     
    Bookmark