Switch to: Citations

References in:

Type-Logical Semantics

Routledge Encyclopedia of Philosophy Online (2011)

Add references

You must login to add references.
  1. On Denoting.Bertrand Russell - 1905 - Mind 14 (56):479-493.
    By a `denoting phrase' I mean a phrase such as any one of the following: a man, some man, any man, every man, all men, the present King of England, the present King of France, the center of mass of the solar system at the first instant of the twentieth century, the revolution of the earth round the sun, the revolution of the sun round the earth. Thus a phrase is denoting solely in virtue of its form. We may distinguish (...)
    Download  
     
    Export citation  
     
    Bookmark   805 citations  
  • Montague Grammar.H. L. W. Hendriks & B. Partee - 1997 - In Benthem & Meulen (eds.), Handbook of Logic and Language. MIT Press. pp. 5-91.
    Download  
     
    Export citation  
     
    Bookmark   22 citations  
  • The Proper Treatment of Quantification in Ordinary English.Richard Montague - 1973 - In Patrick Suppes, Julius Moravcsik & Jaakko Hintikka (eds.), Approaches to Natural Language. Dordrecht. pp. 221--242.
    Download  
     
    Export citation  
     
    Bookmark   199 citations  
  • Type-Logical Semantics.Bob Carpenter - 1997 - MIT Press.
    Download  
     
    Export citation  
     
    Bookmark   25 citations  
  • On Denoting.Bertrand Russell - 2005 - Mind 114 (456):873 - 887.
    By a `denoting phrase' I mean a phrase such as any one of the following: a man, some man, any man, every man, all men, the present King of England, the present King of France, the center of mass of the solar system at the first instant of the twentieth century, the revolution of the earth round the sun, the revolution of the sun round the earth. Thus a phrase is denoting solely in virtue of its form. We may distinguish (...)
    Download  
     
    Export citation  
     
    Bookmark   337 citations  
  • Knowledge and Belief: An Introduction to the Logic of the Two Notions.Jaakko Hintikka - 1962 - Studia Logica 16:119-122.
    Download  
    Translate
     
     
    Export citation  
     
    Bookmark   251 citations  
  • Introduction to Montague Semantics.Paolo Dau - 1985 - Journal of Symbolic Logic 50 (3):856-858.
    Download  
     
    Export citation  
     
    Bookmark   48 citations  
  • General Semantics.David K. Lewis - 1970 - Synthese 22 (1-2):18--67.
    Download  
     
    Export citation  
     
    Bookmark   432 citations  
  • Generalized Quantifiers and Natural Language.John Barwise & Robin Cooper - 1981 - Linguistics and Philosophy 4 (2):159--219.
    Download  
     
    Export citation  
     
    Bookmark   434 citations  
  • A Cross-Categorial Semantics for Coordination.Gerald Gazdar - 1979 - Linguistics and Philosophy 3 (3):407 - 409.
    Download  
     
    Export citation  
     
    Bookmark   18 citations  
  • Knowledge and Belief.Jaakko Hintikka - 1962 - Ithaca: Cornell University Press.
    Download  
     
    Export citation  
     
    Bookmark   471 citations  
  • Completeness in the Theory of Types.Leon Henkin - 1950 - Journal of Symbolic Logic 15 (2):81-91.
    Download  
     
    Export citation  
     
    Bookmark   141 citations  
  • A Formulation of the Simple Theory of Types.Alonzo Church - 1940 - Journal of Symbolic Logic 5 (2):56-68.
    Download  
     
    Export citation  
     
    Bookmark   156 citations  
  • Mathematical Logic as Based on the Theory of Types.Bertrand Russell - 1908 - American Journal of Mathematics 30 (3):222-262.
    Download  
     
    Export citation  
     
    Bookmark   178 citations  
  • Universal Grammar.Richard Montague - 1970 - Theoria 36 (3):373--398.
    Download  
     
    Export citation  
     
    Bookmark   215 citations  
  • English as a Formal Language.Richard Montague - 1970 - In Bruno Visentini (ed.), Linguaggi nella societa e nella tecnica. Edizioni di Communita. pp. 188-221.
    I reject the contention that an important theoretical difference exists between formal and natural languages.
    Download  
     
    Export citation  
     
    Bookmark   111 citations  
  • Montague Grammar.Barbara H. Partee - 1980 - Journal of Philosophy 77 (5):278-312.
    Download  
     
    Export citation  
     
    Bookmark   23 citations  
  • Completeness in the Theory of Types.Leon Henkin - 1951 - Journal of Symbolic Logic 16 (1):72-73.
    Download  
     
    Export citation  
     
    Bookmark   24 citations  
  • A Formulation of the Simple Theory of Types.Alonzo Church - 1940 - Journal of Symbolic Logic 5 (3):114-115.
    Download  
     
    Export citation  
     
    Bookmark   79 citations  
  • Generalized Quantifiers and Natural Language.Jon Barwise - 1980 - Linguistics and Philosophy 4:159.
    Download  
     
    Export citation  
     
    Bookmark   274 citations  
  • Representation and Inference for Natural Language: A First Course in Computational Semantics.Patrick Blackburn - 2005 - Center for the Study of Language and Information.
    How can computers distinguish the coherent from the unintelligible, recognize new information in a sentence, or draw inferences from a natural language passage? Computational semantics is an exciting new field that seeks answers to these questions, and this volume is the first textbook wholly devoted to this growing subdiscipline. The book explains the underlying theoretical issues and fundamental techniques for computing semantic representations for fragments of natural language. This volume will be an essential text for computer scientists, linguists, and anyone (...)
    Download  
     
    Export citation  
     
    Bookmark   12 citations  
  • Language in Action.Johan Van Benthem - 1991 - Journal of Philosophical Logic 20 (3):225-263.
    Download  
     
    Export citation  
     
    Bookmark   60 citations  
  • Introduction to Montague Semantics.David R. Dowty, Robert Eugene Wall & Stanley Peters - 1981 - Springer.
    INTRODUCTION Linguists who work within the tradition of transformational generative grammar tend to regard semantics as an intractable, perhaps ultimately ...
    Download  
     
    Export citation  
     
    Bookmark   71 citations  
  • Logical Form: Its Structure and Derivation.Robert May - 1985 - MIT Press.
    Chapter. 1. Logical. Form. as. a. Level. of. Linguistic. Representation. What is the relation of a sentence's syntactic form to its logical form? This issue has been of central concern in modern inquiry into the semantic properties of natural ...
    Download  
     
    Export citation  
     
    Bookmark   107 citations  
  • Intensional and Higher-Order Modal Logic.Daniel Gallin - 1972 - [Berkeley.
    INTENSIONAL LOGIC ยง1. Natural Language and Intensional Logic When we speak of a theory of meaning for a natural language such as English, we have in mind an ...
    Download  
     
    Export citation  
     
    Bookmark   36 citations