Switch to: Citations

Add references

You must login to add references.
  1. 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  
  • What is Logic?Ian Hacking - 1979 - Journal of Philosophy 76 (6):285-319.
  • Rejection.Timothy Smiley - 1996 - Analysis 56 (1):1–9.
    Direct download (8 more)  
     
    Export citation  
     
    Bookmark   70 citations  
  • Mental Acts.Neil Cooper - 1959 - Philosophical Quarterly 9 (36):278-279.
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark   172 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  
  • Natural Deduction: A Proof-Theoretical Study.Richmond Thomason - 1965 - Journal of Symbolic Logic 32 (2):255-256.
    Direct download  
     
    Export citation  
     
    Bookmark   170 citations  
  • Conjunction and contonktion revisited.A. N. Prior - 1964 - Analysis 24 (6):191.
    No categories
    Translate
     
     
    Export citation  
     
    Bookmark   11 citations  
  • Classical Harmony: Rules of Inference and the Meaning of the Logical Constants.Peter Milne - 1994 - Synthese 100 (1):49 - 94.
    The thesis that, in a system of natural deduction, the meaning of a logical constant is given by some or all of its introduction and elimination rules has been developed recently in the work of Dummett, Prawitz, Tennant, and others, by the addition of harmony constraints. Introduction and elimination rules for a logical constant must be in harmony. By deploying harmony constraints, these authors have arrived at logics no stronger than intuitionist propositional logic. Classical logic, they maintain, cannot be justified (...)
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   13 citations  
  • Harmony and Autonomy in Classical Logic.Stephen Read - 2000 - Journal of Philosophical Logic 29 (2):123-154.
    Michael Dummett and Dag Prawitz have argued that a constructivist theory of meaning depends on explicating the meaning of logical constants in terms of the theory of valid inference, imposing a constraint of harmony on acceptable connectives. They argue further that classical logic, in particular, classical negation, breaks these constraints, so that classical negation, if a cogent notion at all, has a meaning going beyond what can be exhibited in its inferential use. I argue that Dummett gives a mistaken elaboration (...)
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark   54 citations  
  • The Revival of Rejective Negation.Lloyd Humberstone - 2000 - Journal of Philosophical Logic 29 (4):331-381.
    Whether assent ("acceptance") and dissent ("rejection") are thought of as speech acts or as propositional attitudes, the leading idea of rejectivism is that a grasp of the distinction between them is prior to our understanding of negation as a sentence operator, this operator then being explicable as applying to A to yield something assent to which is tantamount to dissent from A. Widely thought to have been refuted by an argument of Frege's, rejectivism has undergone something of a revival in (...)
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark   33 citations  
  • Frege.Michael Dummett - 1973 - Teorema: International Journal of Philosophy 5 (2):149-188.
    No categories
    Translate
     
     
    Export citation  
     
    Bookmark   219 citations  
  • The Runabout Inference-Ticket.A. N. Prior - 1960 - Analysis 21 (2):38.
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   153 citations  
  • How Fundamental is the Fundamental Assumption?Nils Kurbis - 2012 - Teorema: International Journal of Philosophy 2 (2):5-19.
    The fundamental assumption of Dummett’s and Prawitz’ proof-theoretic justification of deduction is that ‘if we have a valid argument for a complex statement, we can construct a valid argument for it which finishes with an application of one of the introduction rules governing its principal operator’. I argue that the assumption is flawed in this general version, but should be restricted, not to apply to arguments in general, but only to proofs. I also argue that Dummett’s and Prawitz’ project of (...)
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   2 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  
  • The Seas of Language.Michael Dummett - 1993 - Oxford University Press.
    Michael Dummett is a leading contemporary philosopher whose work on the logic and metaphysics of language has had a lasting influence on how these subjects are conceived and discussed. This volume contains some of the most provocative and widely discussed essays published in the last fifteen years, together with a number of unpublished or inaccessible writings. Essays included are: "What is a Theory of Meaning?," "What do I Know When I Know a Language?," "What Does the Appeal to Use Do (...)
    Direct download  
     
    Export citation  
     
    Bookmark   176 citations  
  • Tractatus logico-philosophicus.Ludwig Wittgenstein - 1922 - Filosoficky Casopis 52:336-341.
    No categories
    Translate
     
     
    Export citation  
     
    Bookmark   1123 citations  
  • Mental Acts.Peter Geach - 1957 - Routledge and Kegan Paul.
    ACT, CONTENT, AND OBJECT THE TITLE I have chosen for this work is a mere label for a set of problems; the controversial views that have historically been ...
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   202 citations  
  • Sense, Assertion, Dummett and Denial.Huw Price - 1983 - Mind 92 (366):161-173.
  • 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  
  • Tonk, Plonk and Plink.Nuel Belnap - 1962 - Analysis 22 (6):130-134.
  • What is the Manifestation Argument?Alexander Miller - 2002 - Pacific Philosophical Quarterly 83 (4):352–383.
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   10 citations  
  • Conjunction and Contonktion Revisited.A. N. Prior - 1964 - Analysis 24 (6):191 - 195.
  • The Runabout Inference Ticket.Arthur Prior - 1967 - In Peter Strawson (ed.), Analysis. Oxford University Press. pp. 38-9.
  • Die Verneinung. Eine logische Untersuchung.Gottlob Frege - 1997 - Wittgenstein-Studien 4 (2).
    No categories
    Translate
     
     
    Export citation  
     
    Bookmark   11 citations  
  • Tractatus Logico-Philosophicus.Ludwig Wittgenstein - 1956 - Revista Portuguesa de Filosofia 12 (1):109-110.
    No categories
     
    Export citation  
     
    Bookmark   360 citations  
  • What is the Acquisition Argument?Alexander Miller - 2003 - In Alex Barber (ed.), Epistemology of Language. Oxford University Press.
    Semantic realism, as I shall understand it it in this paper, is the combination of the views that sentential understanding is constituted by grasp of truth conditions and that the notion of truth which figures therein is essentially epistemically unconstrained. In a single slogan, understanding a sentence consists in some cases in grasp of potentially recognition-transcendent truth conditions. For example, a semantic realist about the past holds that our understanding of 'Caesar sneezed fifteen times on his 19th birthday' consists in (...)
    Direct download  
     
    Export citation  
     
    Bookmark   4 citations  
  • Die Grundlagen der Arithmetik.Gottlob Frege - 1988 - Felix Meiner Verlag.
    Die "Grundlagen" gehören zu den klassischen Texten der Sprachphilosophie, Logik und Mathematik. Frege stützt sein Programm einer Begründung von Arithmetik und Analysis auf reine Logik, indem er die natürlichen Zahlen als bestimmte Begriffsumfänge definiert. Die philosophische Fundierung des Fregeschen Ansatzes bilden erkenntnistheoretische und sprachphilosophische Analysen und Begriffserklärungen.
    No categories
    Direct download  
    Translate
     
     
    Export citation  
     
    Bookmark   147 citations  
  • Die Widerspruchsfreiheit der Reinen Zahlentheorie.Gerhard Gentzen - 1936 - Journal of Symbolic Logic 1 (2):75-75.
    Direct download  
     
    Export citation  
     
    Bookmark   57 citations  
  • The Law of Excluded Middle.Peter Geach - 1956 - Aristotelian Society Supplementary Volume 30 (1):59-90.