Switch to: Citations

References in:

Type-Logical Semantics

Routledge Encyclopedia of Philosophy Online (2011)

Add references

You must login to add references.
  1. Type-logical semantics.Bob Carpenter - 1997 - Cambridge: MIT Press.
    The book, which stepwise develops successively more powerful logical and grammatical systems, covers an unusually broad range of material.
    Download  
     
    Export citation  
     
    Bookmark   31 citations  
  • A formulation of the simple theory of types.Alonzo Church - 1940 - Journal of Symbolic Logic 5 (2):56-68.
    Download  
     
    Export citation  
     
    Bookmark   224 citations  
  • A Formulation of the Simple Theory of Types.Alonzo Church - 1940 - Journal of Symbolic Logic 5 (3):114-115.
    Download  
     
    Export citation  
     
    Bookmark   140 citations  
  • Generalized quantifiers and natural language.John Barwise & Robin Cooper - 1981 - Linguistics and Philosophy 4 (2):159--219.
    Download  
     
    Export citation  
     
    Bookmark   599 citations  
  • Generalized Quantifiers and Natural Language.Jon Barwise - 1980 - Linguistics and Philosophy 4:159.
    Download  
     
    Export citation  
     
    Bookmark   393 citations  
  • Knowledge and Belief: An Introduction to the Logic of the Two Notions.Jaakko Hintikka - 1962 - Studia Logica 16:119-122.
    Download  
     
    Export citation  
     
    Bookmark   672 citations  
  • Knowledge and belief.Jaakko Hintikka - 1962 - Ithaca, N.Y.,: Cornell University Press.
    Download  
     
    Export citation  
     
    Bookmark   720 citations  
  • Language in action.Johan Van Benthem - 1991 - Journal of Philosophical Logic 20 (3):225-263.
    Download  
     
    Export citation  
     
    Bookmark   95 citations  
  • 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   1231 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   671 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   280 citations  
  • Montague Grammar.Barbara H. Partee - 1980 - Journal of Philosophy 77 (5):278-312.
    Download  
     
    Export citation  
     
    Bookmark   35 citations  
  • Universal grammar.Richard Montague - 1970 - Theoria 36 (3):373--398.
    Download  
     
    Export citation  
     
    Bookmark   313 citations  
  • General semantics.David K. Lewis - 1970 - Synthese 22 (1-2):18--67.
    Download  
     
    Export citation  
     
    Bookmark   634 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   35 citations  
  • Completeness in the theory of types.Leon Henkin - 1950 - Journal of Symbolic Logic 15 (2):81-91.
    Download  
     
    Export citation  
     
    Bookmark   201 citations  
  • Completeness in the Theory of Types.Leon Henkin - 1950 - Journal of Symbolic Logic 16 (1):72-73.
    Download  
     
    Export citation  
     
    Bookmark   86 citations  
  • A cross-categorial semantics for coordination.Gerald Gazdar - 1979 - Linguistics and Philosophy 3 (3):407 - 409.
    Download  
     
    Export citation  
     
    Bookmark   21 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   98 citations  
  • Introduction to Montague Semantics.Paolo Dau - 1985 - Journal of Symbolic Logic 50 (3):856-858.
    Download  
     
    Export citation  
     
    Bookmark   48 citations  
  • Intensional and higher-order modal logic.Daniel Gallin - 1972 - [Berkeley,: [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   66 citations  
  • Representation and inference for natural language: a first course in computational semantics.Patrick Blackburn - 2005 - Stanford, Calif.: Center for the Study of Language and Information. Edited by Johannes Bos.
    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   15 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   144 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   361 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   164 citations  
  • The Proper Treatment of Quantification in Ordinary English.Richard Montague - 1974 - In Richmond H. Thomason (ed.), Formal Philosophy. Yale University Press.
    Download  
     
    Export citation  
     
    Bookmark   402 citations