Switch to: Citations

Add references

You must login to add references.
  1. (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   357 citations  
  • (2 other versions)Meaning and Necessity: A Study in Semantics and Modal Logic.Rudolf Carnap - 1947 - Chicago, IL, USA: University of Chicago Press.
    "This book is valuable as expounding in full a theory of meaning that has its roots in the work of Frege and has been of the widest influence.
    Download  
     
    Export citation  
     
    Bookmark   684 citations  
  • Truth and other enigmas.Michael Dummett - 1978 - Cambridge: Harvard University Press.
    A collection of all but two of the author's philosophical essays and lectures originally published or presented before August 1976.
    Download  
     
    Export citation  
     
    Bookmark   436 citations  
  • A classically-based theory of impossible worlds.Edward N. Zalta - 1997 - Notre Dame Journal of Formal Logic 38 (4):640-660.
    The appeal to possible worlds in the semantics of modal logic and the philosophical defense of possible worlds as an essential element of ontology have led philosophers and logicians to introduce other kinds of `worlds' in order to study various philosophical and logical phenomena. The literature contains discussions of `non-normal worlds', `non-classical worlds', `non-standard worlds', and `impossible worlds'. These atypical worlds have been used in the following ways: (1) to interpret unusual modal logics, (2) to distinguish logically equivalent propositions, (3) (...)
    Download  
     
    Export citation  
     
    Bookmark   33 citations  
  • General semantics.David K. Lewis - 1970 - Synthese 22 (1-2):18--67.
    Download  
     
    Export citation  
     
    Bookmark   636 citations  
  • Higher Order Modal Logic.Reinhard Muskens - 2006 - In Patrick Blackburn, Johan van Benthem & Frank Wolter (eds.), Handbook of Modal Logic. Elsevier. pp. 621-653.
    A logic is called higher order if it allows for quantification over higher order objects, such as functions of individuals, relations between individuals, functions of functions, relations between functions, etc. Higher order logic began with Frege, was formalized in Russell [46] and Whitehead and Russell [52] early in the previous century, and received its canonical formulation in Church [14].1 While classical type theory has since long been overshadowed by set theory as a foundation of mathematics, recent decades have shown remarkable (...)
    Download  
     
    Export citation  
     
    Bookmark   18 citations  
  • A theory of properties.Ray Turner - 1987 - Journal of Symbolic Logic 52 (2):455-472.
    Download  
     
    Export citation  
     
    Bookmark   24 citations  
  • Outline of a theory of truth.Saul Kripke - 1975 - Journal of Philosophy 72 (19):690-716.
    A formal theory of truth, alternative to tarski's 'orthodox' theory, based on truth-value gaps, is presented. the theory is proposed as a fairly plausible model for natural language and as one which allows rigorous definitions to be given for various intuitive concepts, such as those of 'grounded' and 'paradoxical' sentences.
    Download  
     
    Export citation  
     
    Bookmark   885 citations  
  • Intensional logics and logical truth.M. J. Cresswell - 1972 - Journal of Philosophical Logic 1 (1):2 - 15.
    Download  
     
    Export citation  
     
    Bookmark   22 citations  
  • Resolution in type theory.Peter B. Andrews - 1971 - Journal of Symbolic Logic 36 (3):414-432.
    Download  
     
    Export citation  
     
    Bookmark   29 citations  
  • The Liar: An Essay on Truth and Circularity.Jon Barwise & John Etchemendy - 1987 - Oxford, England and New York, NY, USA: Oxford University Press USA. Edited by John Etchemendy.
    Bringing together powerful new tools from set theory and the philosophy of language, this book proposes a solution to one of the few unresolved paradoxes from antiquity, the Paradox of the Liar. Treating truth as a property of propositions, not sentences, the authors model two distinct conceptions of propositions: one based on the standard notion used by Bertrand Russell, among others, and the other based on J.L. Austin's work on truth. Comparing these two accounts, the authors show that while the (...)
    Download  
     
    Export citation  
     
    Bookmark   125 citations  
  • Quantification and Syntactic Theory.R. Cooper & Roger Cooper - 1983 - Dordrecht: Reidel.
    The format of this book is unusual, especially for a book about linguistics. The book is meant primarily as a research monograph aimed at linguists who have some background in formal semantics, e. g. Montague Grammar. However, I have two other audiences in mind. Linguists who have little or no experience of formal semantics, but who have worked through a basic mathematics for linguists course (e. g. using Wall, 1972, or Partee, 1978), should, perhaps with the help of a sympathetic (...)
    Download  
     
    Export citation  
     
    Bookmark   103 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   406 citations  
  • (1 other version)Truth.Michael Dummett - 1959 - Proceedings of the Aristotelian Society 59 (1):141-62.
    Michael Dummett; VIII.—Truth, Proceedings of the Aristotelian Society, Volume 59, Issue 1, 1 June 1959, Pages 141–162, https://doi.org/10.1093/aristotelian/59.1.
    Download  
     
    Export citation  
     
    Bookmark   284 citations  
  • Universal grammar.Richard Montague - 1970 - Theoria 36 (3):373--398.
    Download  
     
    Export citation  
     
    Bookmark   317 citations  
  • (1 other version)A formulation of the simple theory of types.Alonzo Church - 1940 - Journal of Symbolic Logic 5 (2):56-68.
    Download  
     
    Export citation  
     
    Bookmark   226 citations  
  • Types, Tableaus, and Gödel’s God.Melvin Chris Fitting - 2002 - Dordrecht, Boston and London: Kluwer Academic Publishers.
    Gödel's modal ontological argument is the centerpiece of an extensive examination of intensional logic. First, classical type theory is presented semantically, tableau rules for it are introduced, and the Prawitz/Takahashi completeness proof is given. Then modal machinery is added to produce a modified version of Montague/Gallin intensional logic. Finally, various ontological proofs for the existence of God are discussed informally, and the Gödel argument is fully formalized. Parts of the book are mathematical, parts philosophical.
    Download  
     
    Export citation  
     
    Bookmark   3 citations  
  • (2 other versions)Truth and Other Enigmas.Michael Dummett - 1980 - Revue Philosophique de la France Et de l'Etranger 170 (1):62-65.
    Download  
     
    Export citation  
     
    Bookmark   311 citations  
  • (1 other version)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  
  • (2 other versions)Truth and Other Enigmas.Michael Dummett - 1978 - Philosophical Quarterly 31 (122):47-67.
    Download  
     
    Export citation  
     
    Bookmark   325 citations  
  • Types, Tableaus, and Gödel’s God.Roderic A. Girle - 2002 - Springer Verlag.
    Gödel's modal ontological argument is the centerpiece of an extensive examination of intensional logic. First, classical type theory is presented semantically, tableau rules for it are introduced, and the Prawitz/Takahashi completeness proof is given. Then modal machinery is added to produce a modified version of Montague/Gallin intensional logic. Finally, various ontological proofs for the existence of God are discussed informally, and the Gödel argument is fully formalized. Parts of the book are mathematical, parts philosophical.
    Download  
     
    Export citation  
     
    Bookmark   12 citations  
  • (1 other version)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 (by providing the necessary model existence theorems) needed to analyze completeness of (machine-oriented) higher-order calculi with respect to these model classes.
    Download  
     
    Export citation  
     
    Bookmark   20 citations  
  • Information and Impossibilities.Jon Barwise - 1997 - Notre Dame Journal of Formal Logic 38 (4):488-515.
    In this paper I explore informationalism, a pragmatic theory of modality that seems to solve some serious problems in the familiar possible worlds accounts of modality. I view the theory as an elaboration of Stalnaker's moderate modal realism, though it also derives from Dretske's semantic theory of information. Informationalism is presented in Section 2 after the prerequisite stage setting in Section 1. Some applications are sketched in Section 3. Finally, a mathematical model of the theory is developed in Section 4.How (...)
    Download  
     
    Export citation  
     
    Bookmark   26 citations  
  • A logical calculus of meaning and synonymy.Yiannis Nicholas Moschovakis - 2006 - Linguistics and Philosophy 29:27-89.
    Download  
     
    Export citation  
     
    Bookmark   39 citations  
  • Semantics and property theory.Gennaro Chierchia & Raymond Turner - 1988 - Linguistics and Philosophy 11 (3):261 - 302.
    Download  
     
    Export citation  
     
    Bookmark   83 citations  
  • Structured meanings.M. J. Cresswell - 1985 - MIT Press.
    Expressions in a language, whether words, phrases, or sentences, have meanings. So it seems reasonable to suppose that there are meanings that expressions have. Of course, it is fashionable in some philosophical circles to deny this.
    Download  
     
    Export citation  
     
    Bookmark   140 citations  
  • (2 other versions)Meaning and Necessity: A Study in Semantics and Modal Logic.Rudolf Carnap - 1947 - Chicago, IL, USA: University of Chicago Press.
    This is identical with the first edition (see 21: 2716) except for the addition of a Supplement containing 5 previously published articles and the bringing of the bibliography (now 73 items) up to date. The 5 added articles present clarifications or modifications of views expressed in the first edition. (PsycINFO Database Record (c) 2009 APA, all rights reserved).
    Download  
     
    Export citation  
     
    Bookmark   333 citations  
  • Impossible possible worlds vindicated.Jaakko Hintikka - 1975 - Journal of Philosophical Logic 4 (4):475 - 484.
    Download  
     
    Export citation  
     
    Bookmark   118 citations  
  • (1 other version)The Liar. An Essay in Truth and Circularity.Jon Barwise & John Etchemendy - 1989 - Mind 98 (391):451-453.
    Download  
     
    Export citation  
     
    Bookmark   72 citations  
  • A Logic Programming Language with Lambda-abstraction, Function Variables, and Simple Unification.Dale Miller - 1991 - LFCS, Department of Computer Science, University of Edinburgh.
    As a result of these restrictions, an implementation of L [subscript lambda] does not need to implement full higher-order unification. Instead, an extension to first-order unification that respects bound variable names and scopes is all that is required. Such unification problems are shown to be decidable and to possess most general unifiers when unifiers exist. A unification algorithm and logic programming interpreter are described and proved correct. Several examples of using L[subscript lambda] as a meta-programming language are presented.
    Download  
     
    Export citation  
     
    Bookmark   8 citations  
  • Melvin Fitting, Types Tableaus and Gödel's God. [REVIEW]Melvin Fitting - 2005 - Studia Logica 81 (3):425-427.
    Download  
     
    Export citation  
     
    Bookmark   17 citations  
  • (1 other version)Hauptsatz for Higher Order Logic.Dag Prawitz - 1974 - Journal of Symbolic Logic 39 (3):607-607.
    Download  
     
    Export citation  
     
    Bookmark   6 citations  
  • Knowledge of Meaning.Richard Larson & Gabriel Segal - 2000 - Mind 109 (436):960-964.
    Download  
     
    Export citation  
     
    Bookmark   201 citations  
  • (1 other version)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   15 citations  
  • The Foundations of Frege’s Logic.Pavel Tichý - 1988 - New York: de Gruyter.
    Chapter One: Constructions. Entities, constructions, and functions When one travels from Los Angeles to New York, going, say, by way of St. Louis, Chicago, ...
    Download  
     
    Export citation  
     
    Bookmark   165 citations  
  • Quantified modal logic: Non-normal worlds and propositional attitudes.Veikko Rantala - 1982 - Studia Logica 41 (1):41 - 65.
    One way to obtain a comprehensive semantics for various systems of modal logic is to use a general notion of non-normal world. In the present article, a general notion of modal system is considered together with a semantic framework provided by such a general notion of non-normal world. Methodologically, the main purpose of this paper is to provide a logical framework for the study of various modalities, notably prepositional attitudes. Some specific systems are studied together with semantics using non-normal worlds (...)
    Download  
     
    Export citation  
     
    Bookmark   29 citations  
  • (1 other version)Hauptsatz for higher order logic.Dag Prawitz - 1968 - Journal of Symbolic Logic 33 (3):452-457.
    Download  
     
    Export citation  
     
    Bookmark   20 citations  
  • Hyperfine-grained meanings in classical logic.Reinhard Muskens - 1991 - Logique Et Analyse 133:159-176.
    This paper develops a semantics for a fragment of English that is based on the idea of `impossible possible worlds'. This idea has earlier been formulated by authors such as Montague, Cresswell, Hintikka, and Rantala, but the present set-up shows how it can be formalized in a completely unproblematic logic---the ordinary classical theory of types. The theory is put to use in an account of propositional attitudes that is `hyperfine-grained', i.e. that does not suffer from the well-known problems involved with (...)
    Download  
     
    Export citation  
     
    Bookmark   5 citations  
  • A model theory for propositional attitudes.Richmond H. Thomason - 1980 - Linguistics and Philosophy 4 (1):47 - 70.
    My chief aim has been to convey the thought that the application of model theoretic techniques to natural languages needn't force a distortion of intentional phenomena. I hope that at least I have succeeded in accomplishing this.
    Download  
     
    Export citation  
     
    Bookmark   49 citations  
  • The Foundations of Frege's Logic.Gregor K. Frey - 1993 - Noûs 27 (4):532-535.
    Download  
     
    Export citation  
     
    Bookmark   101 citations  
  • The Liar: An Essay on Truth and Circularity.Vann McGee - 1991 - Philosophical Review 100 (3):472.
    Download  
     
    Export citation  
     
    Bookmark   54 citations  
  • A Higher-Order Fine-Grained Logic for Intensional Semantics.Shalom Lappin, C. Fox & C. Pollard - unknown
    Download  
     
    Export citation  
     
    Bookmark   5 citations  
  • (1 other version)The Liar, An Essay in Truth and Circularity.Jon Barwise & John Etchemendy - 1989 - Revue Philosophique de la France Et de l'Etranger 179 (1):108-108.
    Download  
     
    Export citation  
     
    Bookmark   67 citations