Switch to: Citations

Add references

You must login to add references.
  1. (1 other version)Demonstratives: An Essay on the Semantics, Logic, Metaphysics and Epistemology of Demonstratives and other Indexicals.David Kaplan - 1989 - In Joseph Almog, John Perry & Howard Wettstein (eds.), Themes From Kaplan. New York: Oxford University Press. pp. 481-563.
    Download  
     
    Export citation  
     
    Bookmark   1691 citations  
  • Semantics in generative grammar.Irene Heim & Angelika Kratzer - 1998 - Malden, MA: Blackwell. Edited by Angelika Kratzer.
    Written by two of the leading figures in the field, this is a lucid and systematic introduction to semantics as applied to transformational grammars of the ...
    Download  
     
    Export citation  
     
    Bookmark   591 citations  
  • (2 other versions)Counterfactuals.David Lewis - 1973 - Tijdschrift Voor Filosofie 36 (3):602-605.
    Download  
     
    Export citation  
     
    Bookmark   1343 citations  
  • General semantics.David K. Lewis - 1970 - Synthese 22 (1-2):18--67.
    Download  
     
    Export citation  
     
    Bookmark   635 citations  
  • Knowledge of Meaning: An Introduction to Semantic Theory.Richard K. Larson & Gabriel M. A. Segal - 1995 - MIT Press.
    Current textbooks in formal semantics are all versions of, or introductions to, the same paradigm in semantic theory: Montague Grammar. Knowledge of Meaning is based on different assumptions and a different history. It provides the only introduction to truth- theoretic semantics for natural languages, fully integrating semantic theory into the modern Chomskyan program in linguistic theory and connecting linguistic semantics to research elsewhere in cognitive psychology and philosophy. As such, it better fits into a modern graduate or undergraduate program in (...)
    Download  
     
    Export citation  
     
    Bookmark   196 citations  
  • The mathematics of metamathematics.Helena Rasiowa - 1963 - Warszawa,: Państwowe Wydawn. Naukowe. Edited by Roman Sikorski.
    Download  
     
    Export citation  
     
    Bookmark   196 citations  
  • (1 other version)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   364 citations  
  • Universal grammar.Richard Montague - 1970 - Theoria 36 (3):373--398.
    Download  
     
    Export citation  
     
    Bookmark   321 citations  
  • Meaning and grammar: an introduction to semantics.Gennaro Chierchia & Sally McConnell-Ginet - 2000 - Cambridge, Mass: MIT Press. Edited by Sally McConnell-Ginet.
    This self-contained introduction to natural language semantics addresses the majortheoretical questions in the field. The authors introduce the systematic study of linguistic meaningthrough a sequence of formal tools and their linguistic applications. Starting with propositionalconnectives and truth conditions, the book moves to quantification and binding, intensionality andtense, and so on. To set their approach in a broader perspective, the authors also explore theinteraction of meaning with context and use (the semantics-pragmatics interface) and address some ofthe foundational questions, especially in connection (...)
    Download  
     
    Export citation  
     
    Bookmark   133 citations  
  • (1 other version)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   400 citations  
  • English as a Formal Language.Richard Montague - 1970 - In B. Visentini (ed.), Linguaggi Nella Societ\'{a} 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   165 citations  
  • Logic and structure.D. van Dalen - 1980 - New York: Springer Verlag.
    From the reviews: "A good textbook can improve a lecture course enormously, especially when the material of the lecture includes many technical details. Van Dalen's book, the success and popularity of which may be suspected from this steady interest in it, contains a thorough introduction to elementary classical logic in a relaxed way, suitable for mathematics students who just want to get to know logic. The presentation always points out the connections of logic to other parts of mathematics. The reader (...)
    Download  
     
    Export citation  
     
    Bookmark   71 citations  
  • Advice on modal logic.D. Scott - 1980 - In Karel Lambert (ed.), Philosophical problems in logic: some recent developments. Hingham, MA: Sold and distributed in the U.S.A. and Canada by Kluwer Boston. pp. 143--173.
    Download  
     
    Export citation  
     
    Bookmark   110 citations  
  • Pragmatics.Richard Montague - 1968 - In R. Klibansky (ed.), Contemporary Philosophy: A Survey, Volume 1. La Nuova Italia Editrice. pp. 102--22.
    Download  
     
    Export citation  
     
    Bookmark   93 citations  
  • Knowledge of Meaning: An Introduction to Semantic Theory.Zoltan Gendler Szabo, Richard Larson & Gabriel Segal - 1997 - Philosophical Review 106 (1):122.
    To the best of my knowledge, no one in recent decades has written a book of this magnitude about the semantics of natural language. Certainly, nothing available today matches this volume in depth, precision, and coherence. The authors present classical and recent results of linguistic semantics within the framework of interpretative T-theories and defend the philosophical foundations of their approach by showing how it fits into the larger enterprise of cognitive linguistics. The book also includes an array of excellent exercises (...)
    Download  
     
    Export citation  
     
    Bookmark   73 citations  
  • Completeness and decidability of three logics of counterfactual conditionals.David Lewis - 1971 - Theoria 37 (1):74-85.
    Download  
     
    Export citation  
     
    Bookmark   68 citations  
  • Set Theory: Boolean-Valued Models and Independence Proofs.John L. Bell - 2011 - Oxford University Press.
    This third edition, now available in paperback, is a follow up to the author's classic Boolean-Valued Models and Independence Proofs in Set Theory. It provides an exposition of some of the most important results in set theory obtained in the 20th century: the independence of the continuum hypothesis and the axiom of choice.
    Download  
     
    Export citation  
     
    Bookmark   15 citations  
  • (1 other version)Counterfactuals. [REVIEW]William Parry - 1973 - Journal of Symbolic Logic 44 (2):278-281.
    Download  
     
    Export citation  
     
    Bookmark   464 citations  
  • Arthur Prior and ‘Now’.Patrick Blackburn & Klaus Frovin Jørgensen - 2016 - Synthese 193 (11).
    On the 4th of December 1967, Hans Kamp sent his UCLA seminar notes on the logic of ‘now’ to Arthur N. Prior. Kamp’s two-dimensional analysis stimulated Prior to an intense burst of creativity in which he sought to integrate Kamp’s work into tense logic using a one-dimensional approach. Prior’s search led him through the work of Castañeda, and back to his own work on hybrid logic: the first made temporal reference philosophically respectable, the second made it technically feasible in a (...)
    Download  
     
    Export citation  
     
    Bookmark   5 citations  
  • (1 other version)The Mathematics of Metamathematics.Donald Monk - 1963 - Journal of Symbolic Logic 32 (2):274-275.
    Download  
     
    Export citation  
     
    Bookmark   96 citations  
  • Compositional Semantics.Pauline I. Jacobson - 2014 - New York, NY: Oxford University Press.
    This book provides an introduction to compositional semantics and to the syntax/semantics interface. It is rooted within the tradition of model theoretic semantics, and develops an explicit fragment of both the syntax and semantics of a rich portion of English. Professor Jacobson adopts a Direct Compositionality approach, whereby the syntax builds the expressions while the semantics simultaneously assigns each a model-theoretic interpretation. Alongside this approach, the author also presents a competing view that makes use of an intermediate level, Logical Form. (...)
    Download  
     
    Export citation  
     
    Bookmark   18 citations  
  • A Proof of the Independence of the Continuum Hypothesis.Dana Scott - 1968 - Journal of Symbolic Logic 33 (2):293-293.
    Download  
     
    Export citation  
     
    Bookmark   6 citations  
  • Boolean models and nonstandard analysis.Dana Scott - 1969 - In W. A. J. Luxemburg (ed.), Applications of model theory to algebra, analysis, and probability. New York,: Holt, Rinehart and Winston. pp. 87--92.
    Download  
     
    Export citation  
     
    Bookmark   3 citations  
  • Set Theory : Boolean-Valued Models and Independence Proofs: Boolean-Valued Models and Independence Proofs.John L. Bell - 2005 - Oxford University Press UK.
    This monograph is a follow up to the author's classic text Boolean-Valued Models and Independence Proofs in Set Theory, providing an exposition of some of the most important results in set theory obtained in the 20th century--the independence of the continuum hypothesis and the axiom of choice. Aimed at research students and academics in mathematics, mathematical logic, philosophy, and computer science, the text has been extensively updated with expanded introductory material, new chapters, and a new appendix on category theory, and (...)
    Download  
     
    Export citation  
     
    Bookmark   2 citations