Switch to: Citations

Add references

You must login to add references.
  1. Articulating Reasons: An Introduction to Inferentialism.Robert Brandom - 2000 - Harvard University Press.
    This new work provides an approachable introduction to the complex system that Making It Explicit mapped out.
  • Natural Deduction: A Proof-Theoretical Study.Dag Prawitz - 1965 - Dover Publications.
    This volume examines the notion of an analytic proof as a natural deduction, suggesting that the proof's value may be understood as its normal form--a concept with significant implications to proof-theoretic semantics.
    Direct download  
     
    Export citation  
     
    Bookmark   217 citations  
  • Word and Object.Willard Van Orman Quine - 1960 - Les Etudes Philosophiques 17 (2):278-279.
    Translate
     
     
    Export citation  
     
    Bookmark   1706 citations  
  • Word and Object.Willard Van Orman Quine - 1960 - MIT Press.
    In the course of the discussion, Professor Quine pinpoints the difficulties involved in translation, brings to light the anomalies and conflicts implicit in our ...
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   2006 citations  
  • Universals in Semantics.Kai von Fintel & Lisa Matthewson - manuscript
    This article surveys the state of the art in the field of semantic universals. We examine potential semantic universals in three areas: (i) the lexicon, (ii) semantic “glue” (functional morphemes and composition principles), and (iii) pragmatics. At the level of the lexicon, we find remarkably few convincing semantic universals. At the level of functional morphemes and composition principles, we discuss a number of promising constraints, most of which require further empirical testing and/or refinement. In the realm of pragmatics, we predict (...)
    Direct download  
     
    Export citation  
     
    Bookmark   18 citations  
  • Language and its Models: Is Model Theory a Theory of Semantics?Jaroslav Peregrin - 1997 - Nordic Journal of Philosophical Logic 2 (1):1-23.
    Tarskian model theory is almost universally understood as a formal counterpart of the preformal notion of semantics, of the “linkage between words and things”. The wide-spread opinion is that to account for the semantics of natural language is to furnish its settheoretic interpretation in a suitable model structure; as exemplified by Montague 1974.
    Direct download  
     
    Export citation  
     
    Bookmark   12 citations  
  • Articulating Reasons: An Introduction to Inferentialism.Robert Brandom - 2002 - Philosophical Quarterly 52 (206):123-125.
    No categories
     
    Export citation  
     
    Bookmark   148 citations  
  • The Logical Basis of Metaphysics.Michael Dummett, Hilary Putnam & James Conant - 1994 - Philosophical Quarterly 44 (177):519-527.
    No categories
     
    Export citation  
     
    Bookmark   258 citations  
  • The Interpretation of Frege's Philosophy.Michael Dummett - 1984 - Philosophical Quarterly 34 (136):402-414.
    No categories
     
    Export citation  
     
    Bookmark   63 citations  
  • Quantification and the Nature of Crosslinguistic Variation.Lisa Matthewson - 2001 - Natural Language Semantics 9 (2):145-189.
    The standard analysis of quantification says that determiner quantifiers (such as every) take an NP predicate and create a generalized quantifier. The goal of this paper is to subject these beliefs to crosslinguistic scrutiny. I begin by showing that in St'á'imcets (Lillooet Salish), quantifiers always require sisters of argumental type, and the creation of a generalized quantifier from an NP predicate always proceeds in two steps rather than one. I then explicitly adopt the strong null hypothesis that the denotations of (...)
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark   22 citations  
  • Implicational Paradoxes and the Meaning of Logical Constants.Francesco Paoli - 2007 - Australasian Journal of Philosophy 85 (4):553 – 579.
    I discuss paradoxes of implication in the setting of a proof-conditional theory of meaning for logical constants. I argue that a proper logic of implication should be not only relevant, but also constructive and nonmonotonic. This leads me to select as a plausible candidate LL, a fragment of linear logic that differs from R in that it rejects both contraction and distribution.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   12 citations  
  • Articulating Reasons: An Introduction to Inferentialism.W. Child - 2001 - Mind 110 (439):721-725.
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark   84 citations  
  • Natural Deduction: A Proof-Theoretical Study.Richmond Thomason - 1965 - Journal of Symbolic Logic 32 (2):255-256.
    Direct download  
     
    Export citation  
     
    Bookmark   170 citations  
  • The Interpretation of Frege's Philosophy.Michael Dummett - 1983 - Erkenntnis 20 (2):243-251.
    No categories
     
    Export citation  
     
    Bookmark   60 citations  
  • A Note on Harmony.Nissim Francez & Roy Dyckhoff - 2012 - Journal of Philosophical Logic 41 (3):613-628.
    In the proof-theoretic semantics approach to meaning, harmony , requiring a balance between introduction-rules (I-rules) and elimination rules (E-rules) within a meaning conferring natural-deduction proof-system, is a central notion. In this paper, we consider two notions of harmony that were proposed in the literature: 1. GE-harmony , requiring a certain form of the E-rules, given the form of the I-rules. 2. Local intrinsic harmony : imposes the existence of certain transformations of derivations, known as reduction and expansion . We propose (...)
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark   24 citations  
  • Bilateralism in Proof-Theoretic Semantics.Nissim Francez - 2014 - Journal of Philosophical Logic 43 (2-3):239-259.
    The paper suggests a revision of the notion of harmony, a major necessary condition in proof-theoretic semantics for a natural-deduction proof-system to qualify as meaning conferring, when moving to a bilateral proof-system. The latter considers both forces of assertion and denial as primitive, and is applied here to positive logics, lacking negation altogether. It is suggested that in addition to the balance between introduction and elimination rules traditionally imposed by harmony, a balance should be imposed also on: negative introduction and (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   3 citations  
  • Logical Constants as Punctuation Marks.Kosta Došen - 1989 - Notre Dame Journal of Formal Logic 30 (3):362-381.
  • Proof-Theoretic Semantics for Subsentential Phrases.Nissim Francez, Roy Dyckhoff & Gilad Ben-Avi - 2010 - Studia Logica 94 (3):381-401.
    The paper briefly surveys the sentential proof-theoretic semantics for fragment of English. Then, appealing to a version of Frege’s context-principle (specified to fit type-logical grammar), a method is presented for deriving proof-theoretic meanings for sub-sentential phrases, down to lexical units (words). The sentential meaning is decomposed according to the function-argument structure as determined by the type-logical grammar. In doing so, the paper presents a novel proof-theoretic interpretation of simple type, replacing Montague’s model-theoretic type interpretation (in arbitrary Henkin models). The domains (...)
    Direct download (6 more)  
     
    Export citation  
     
    Bookmark   18 citations  
  • A Semantic Characterization of Natural Language Determiners.Edward L. Keenan & Jonathan Stavi - 1986 - Linguistics and Philosophy 9 (3):253 - 326.
  • Two Versions of the Manifestation Argument.Menno Lievers - 1998 - Synthese 115 (2):199-227.
    No categories
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   2 citations  
  • Proof-Theoretic Semantics for a Natural Language Fragment.Nissim Francez & Roy Dyckhoff - 2010 - Linguistics and Philosophy 33 (6):447-477.
    The paper presents a proof-theoretic semantics (PTS) for a fragment of natural language, providing an alternative to the traditional model-theoretic (Montagovian) semantics (MTS), whereby meanings are truth-condition (in arbitrary models). Instead, meanings are taken as derivability-conditions in a dedicated natural-deduction (ND) proof-system. This semantics is effective (algorithmically decidable), adhering to the meaning as use paradigm, not suffering from several of the criticisms formulated by philosophers of language against MTS as a theory of meaning. In particular, Dummett’s manifestation argument does not (...)
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark   23 citations  
  • Generalized Quantifiers and Natural Language.John Barwise & Robin Cooper - 1981 - Linguistics and Philosophy 4 (2):159--219.
  • Bilateralism in Proof-Theoretic Semantics.Nissim Francez - 2013 - Journal of Philosophical Logic (2-3):1-21.
    The paper suggests a revision of the notion of harmony, a major necessary condition in proof-theoretic semantics for a natural-deduction proof-system to qualify as meaning conferring, when moving to a bilateral proof-system. The latter considers both forces of assertion and denial as primitive, and is applied here to positive logics, lacking negation altogether. It is suggested that in addition to the balance between (positive) introduction and elimination rules traditionally imposed by harmony, a balance should be imposed also on: (i) negative (...)
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   4 citations  
  • Articulating Reasons.Robert B. Brandom - 2001 - Erkenntnis 55 (1):121-127.
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark   169 citations  
  • Absolute Generality.Agustín Rayo & Gabriel Uzquiano (eds.) - 2006 - Oxford University Press.
    The problem of absolute generality has attracted much attention in recent philosophy. Agustin Rayo and Gabriel Uzquiano have assembled a distinguished team of contributors to write new essays on the topic. They investigate the question of whether it is possible to attain absolute generality in thought and language and the ramifications of this question in the philosophy of logic and mathematics.
  • Absolute Generality.Peter Smith - 2006 - Bulletin of Symbolic Logic 14 (3):398-401.
    Direct download  
     
    Export citation  
     
    Bookmark   36 citations  
  • Investigations Into Logical Deduction.Gerhard Gentzen - 1964 - American Philosophical Quarterly 1 (4):288 - 306.
  • The Runabout Inference-Ticket.A. N. Prior - 1960 - Analysis 21 (2):38.
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   153 citations  
  • The Definiteness Effect: Semantics or Pragmatics? [REVIEW]Ed Keenan - 2003 - Natural Language Semantics 11 (2):187-216.
    In this paper I propose and defend a semantically based account of the distribution of DPs in existential there-sentences in English in opposition to the pragmatic account proposed in Zucchi (1995). The two analyses share many features, making it possible to study variation along the semantics/pragmatics dimension while holding the rest constant.
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark   13 citations  
  • The Logical Basis of Metaphysics.Michael DUMMETT - 1991 - Harvard University Press.
    Such a conception, says Dummett, will form "a base camp for an assault on the metaphysical peaks: I have no greater ambition in this book than to set up a base ...
    Direct download  
     
    Export citation  
     
    Bookmark   377 citations  
  • Quantifiers in Language and Logic.Stanley Peters & Dag Westerståhl - 2006 - Clarendon Press.
    Quantification is a topic which brings together linguistics, logic, and philosophy. Quantifiers are the essential tools with which, in language or logic, we refer to quantity of things or amount of stuff. In English they include such expressions as no, some, all, both, many. Peters and Westerstahl present the definitive interdisciplinary exploration of how they work - their syntax, semantics, and inferential role.
    Direct download  
     
    Export citation  
     
    Bookmark   71 citations  
  • Quantifiers in Language and Logic.Stanley Peters & Dag Westerståhl - 2006 - Oxford University Press UK.
    Quantification is a topic which brings together linguistics, logic, and philosophy. Quantifiers are the essential tools with which, in language or logic, we refer to quantity of things or amount of stuff. In English they include such expressions as no, some, all, both, many. Peters and Westerstahl present the definitive interdisciplinary exploration of how they work - their syntax, semantics, and inferential role.
     
    Export citation  
     
    Bookmark   52 citations  
  • Natural Language, Sortal Reducibility and Generalized Quantifiers.Edward L. Keenan - 1993 - Journal of Symbolic Logic 58 (1):314-325.
    Recent work in natural language semantics leads to some new observations on generalized quantifiers. In § 1 we show that English quantifiers of type $ $ are booleanly generated by their generalized universal and generalized existential members. These two classes also constitute the sortally reducible members of this type. Section 2 presents our main result--the Generalized Prefix Theorem (GPT). This theorem characterizes the conditions under which formulas of the form Q1x 1⋯ Qnx nRx 1⋯ xn and q1x 1⋯ qnx nRx (...)
    Direct download (7 more)  
     
    Export citation  
     
    Bookmark   15 citations  
  • Yes and No.I. Rumfitt - 2000 - Mind 109 (436):781-823.
    In what does the sense of a sentential connective consist? Like many others, I hold that its sense lies in rules that govern deductions. In the present paper, however, I argue that a classical logician should take the relevant deductions to be arguments involving affirmative or negative answers to yes-or-no questions that contain the connective. An intuitionistic logician will differ in concentrating exclusively upon affirmative answers. I conclude by arguing that a well known intuitionistic criticism of classical logic fails if (...)
    Direct download (7 more)  
     
    Export citation  
     
    Bookmark   74 citations  
  • [Omnibus Review].Dag Prawitz - 1991 - Journal of Symbolic Logic 56 (3):1094-1096.
    Reviewed Works:Gaisi Takeuti, Proof Theory.Georg Kreisel, Proof Theory: Some Personal Recollections.Wolfram Pohlers, Contributions of the Schutte School in Munich to Proof Theory.Stephen G. Simpson, Subsystems of $\mathbf{Z}_2$ and Reverse Mathematics.Solomon Feferman, Proof Theory: A Personal Report.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   74 citations  
  • Focus and Weak Noun Phrases.Elena Herburger - 1997 - Natural Language Semantics 5 (1):53-78.
  • The Runabout Inference Ticket.Arthur Prior - 1967 - In Peter Strawson (ed.), Analysis. Oxford University Press. pp. 38-9.
  • 'Only' as a Determiner and as a Generalized Quantifier.Sjaak de Mey - 1991 - Journal of Semantics 8 (1-2):91-106.
    Two types of linguistic theories have been particularly concerned with the analysis of ‘only’: pragmatics, in particular focus theory and presupposition theory, and generalized quantifier (GQ) theory, the latter in the negative sense that it has been eager to show that ‘only’ is not a GQ. Judging from such analyses, then, it would appear that the analysis of ‘only’ is not at home in the grammar of natural language. The main negative point of the present article is to dispute this. (...)
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   7 citations  
  • Rule-Circularity and the Justification of Deduction.By Neil Tennant - 2005 - Philosophical Quarterly 55 (221):625–648.
    I examine Paul Boghossian's recent attempt to argue for scepticism about logical rules. I argue that certain rule- and proof-theoretic considerations can avert such scepticism. Boghossian's 'Tonk Argument' seeks to justify the rule of tonk-introduction by using the rule itself. The argument is subjected here to more detailed proof-theoretic scrutiny than Boghossian undertook. Its sole axiom, the so-called Meaning Postulate for tonk, is shown to be false or devoid of content. It is also shown that the rules of Disquotation and (...)
    Direct download (6 more)  
     
    Export citation  
     
    Bookmark   4 citations  
  • Rule-Circularity and the Justification of Deduction.Neil Tennant - 2005 - Philosophical Quarterly 55 (221):625 - 648.
    I examine Paul Boghossian's recent attempt to argue for scepticism about logical rules. I argue that certain rule- and proof-theoretic considerations can avert such scepticism. Boghossian's 'Tonk Argument' seeks to justify the rule of tonk-introduction by using the rule itself. The argument is subjected here to more detailed proof-theoretic scrutiny than Boghossian undertook. Its sole axiom, the so-called Meaning Postulate for tonk, is shown to be false or devoid of content. It is also shown that the rules of Disquotation and (...)
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark   8 citations  
  • Investigations Into Logical Deduction: II.Gerhard Gentzen - 1965 - American Philosophical Quarterly 2 (3):204 - 218.