Switch to: References

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 (...)
    Direct download (4 more)  
    Export citation  
    Bookmark   1 citation  
  • Properties.Francesco Orilia & Michele Paolini Paoletti - 2020 - Stanford Encyclopedia of Philosophy.