Switch to: References

Add citations

You must login to add citations.
  1. The Senses of Functions in the Logic of Sense and Denotation.Kevin C. Klement - 2010 - Bulletin of Symbolic Logic 16 (2):153-188.
    This paper discusses certain problems arising within the treatment of the senses of functions in Alonzo Church's Logic of Sense and Denotation. Church understands such senses themselves to be "sense-functions," functions from sense to sense. However, the conditions he lays out under which a sense-function is to be regarded as a sense presenting another function as denotation allow for certain undesirable results given certain unusual or "deviant" sense-functions. Certain absurdities result, e.g., an argument can be found for equating any two (...)
    Direct download (13 more)  
     
    Export citation  
     
    Bookmark   2 citations  
  • Semantics and Truth Relative to a World.Michael Glanzberg - 2009 - Synthese 166 (2):281-307.
    This paper argues that relativity of truth to a world plays no significant role in empirical semantic theory, even as it is done in the model-theoretic tradition relying on intensional type theory. Some philosophical views of content provide an important notion of truth at a world, but they do not constrain the empirical domain of semantic theory in a way that makes this notion empirically significant. As an application of this conclusion, this paper shows that a potential motivation for relativism (...)
    Direct download (7 more)  
     
    Export citation  
     
    Bookmark   17 citations  
  • Alonzo Church’s Contributions to Philosophy and Intensional Logic.C. Anthony Anderson - 1998 - Bulletin of Symbolic Logic 4 (2):129-171.
  • Predicativity, the Russell-Myhill Paradox, and Church’s Intensional Logic.Sean Walsh - 2016 - Journal of Philosophical Logic 45 (3):277-326.
    This paper sets out a predicative response to the Russell-Myhill paradox of propositions within the framework of Church’s intensional logic. A predicative response places restrictions on the full comprehension schema, which asserts that every formula determines a higher-order entity. In addition to motivating the restriction on the comprehension schema from intuitions about the stability of reference, this paper contains a consistency proof for the predicative response to the Russell-Myhill paradox. The models used to establish this consistency also model other axioms (...)
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark   8 citations  
  • 1.1. The Logistic Method. Church's Writings on Philosophical Matters Ex-Hibit an Unwavering Commitment to What He Called the “Logistic Method”. 3 The Term Did Not Catch on and Now One Would Just Speak of “Formalization”. The Use of These Ideas is Now so Common and Familiar Among Logicians. [REVIEW]Intensional Logic - 1998 - Bulletin of Symbolic Logic 4 (2).
    Direct download  
     
    Export citation  
     
    Bookmark  
  • Possible Worlds Semantics and the Liar.Sten Lindström - 2003 - In A. Rojszczak, J. Cachro & G. Kurczewski (eds.), Philosophical Dimensions of Logic and Science. Kluwer Academic Publishers. pp. 297--314.