Switch to: Citations

References in:

A Theory of Names and True Intensionality

In Maria Aloni, V. Kimmelman, Floris Roelofsen, G. Weidman Sassoon, Katrin Schulz & M. Westera (eds.), Logic, Language and Meaning: 18th Amsterdam Colloquium. Springer. pp. 441-449 (2012)

Add references

You must login to add references.
  1. Naming and Necessity.S. A. Kripke - 1972 - Tijdschrift Voor Filosofie 45 (4):665-666.
    Download  
    Translate
     
     
    Export citation  
     
    Bookmark   1396 citations  
  • Identity and Necessity.Saul A. Kripke - 1971 - In Milton Karl Munitz (ed.), Identity and Individuation. New York: New York University Press. pp. 135-164.
    are synthetic a priori judgements possible?" In both cases, i~thas usually been t'aken for granted in fife one case by Kant that synthetic a priori judgements were possible, and in the other case in contemporary,'d-". philosophical literature that contingent statements of identity are ppss. ible. I do not intend to deal with the Kantian question except to mention:ssj~".
    Download  
     
    Export citation  
     
    Bookmark   294 citations  
  • From a Logical Point of View.W. V. O. Quine - 1953 - Harvard University Press.
    Download  
     
    Export citation  
     
    Bookmark   682 citations  
  • Reference and Proper Names.Tyler Burge - 1973 - Journal of Philosophy 70 (14):425-439.
    Download  
     
    Export citation  
     
    Bookmark   140 citations  
  • Word and Object.Henry W. Johnstone - 1961 - Philosophy and Phenomenological Research 22 (1):115-116.
    Download  
     
    Export citation  
     
    Bookmark   300 citations  
  • Intensional Models for the Theory of Types.Reinhard Muskens - 2007 - Journal of Symbolic Logic 72 (1):98-118.
    In this paper we define intensional models for the classical theory of types, thus arriving at an intensional type logic ITL. Intensional models generalize Henkin's general models and have a natural definition. As a class they do not validate the axiom of Extensionality. We give a cut-free sequent calculus for type theory and show completeness of this calculus with respect to the class of intensional models via a model existence theorem. After this we turn our attention to applications. Firstly, it (...)
    Download  
     
    Export citation  
     
    Bookmark   10 citations  
  • Über Sinn Und Bedeutung.G. Frege - 1892 - Philosophical Review 1:574.
    Download  
     
    Export citation  
     
    Bookmark   257 citations  
  • Completeness in the Theory of Types.Leon Henkin - 1950 - Journal of Symbolic Logic 15 (2):81-91.
    Download  
     
    Export citation  
     
    Bookmark   140 citations  
  • Higher-Order Semantics and Extensionality.Christoph Benzmüller, Chad E. Brown & Michael Kohlhase - 2004 - Journal of Symbolic Logic 69 (4):1027-1088.
    In this paper we re-examine the semantics of classical higher-order logic with the purpose of clarifying the role of extensionality. To reach this goal, we distinguish nine classes of higher-order models with respect to various combinations of Boolean extensionality and three forms of functional extensionality. Furthermore, we develop a methodology of abstract consistency methods needed to analyze completeness of higher-order calculi with respect to these model classes.
    Download  
     
    Export citation  
     
    Bookmark   11 citations  
  • Meaning and Partiality.Reinhard Muskens - 1995 - Stanford, CA: CSLI Publications.
    This book radically simplifies Montague Semantics and generalizes the theory by basing it on a partial higher order logic. The resulting theory is a synthesis of Montague Semantics and Situation Semantics. In the late sixties Richard Montague developed the revolutionary idea that we can understand the concept of meaning in ordinary languages much in the same way as we understand the semantics of logical languages. Unfortunately, however, he formalized his idea in an unnecessarily complex way - two outstanding researchers in (...)
    Download  
     
    Export citation  
     
    Bookmark   28 citations