Switch to: Citations

Add references

You must login to add references.
  1. Frege.Michael Dummett - 1973 - Teorema: International Journal of Philosophy 5 (2):149-188.
    Download  
    Translate
     
     
    Export citation  
     
    Bookmark   166 citations  
  • The Runabout Inference-Ticket.A. N. Prior - 1960 - Analysis 21 (2):38.
    Download  
     
    Export citation  
     
    Bookmark   129 citations  
  • 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.
    Download  
     
    Export citation  
     
    Bookmark   168 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 (...)
    Download  
     
    Export citation  
     
    Bookmark   2 citations  
  • Rejection.Timothy Smiley - 1996 - Analysis 56 (1):1–9.
    Download  
     
    Export citation  
     
    Bookmark   63 citations  
  • The Logical Basis of Metaphysics.Michael Dummett, Hilary Putnam & James Conant - 1991 - Philosophical Quarterly 44 (177):519-527.
    Download  
     
    Export citation  
     
    Bookmark   251 citations  
  • The Logical Basis of Metaphysics.Michael DUMMETT - 1991 - Inquiry: An Interdisciplinary Journal of Philosophy 36:465.
    Download  
     
    Export citation  
     
    Bookmark   50 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 (...)
    Download  
     
    Export citation  
     
    Bookmark   158 citations  
  • Natural Deduction: A Proof-Theoretical Study.Dag Prawitz - 1965 - Journal of Symbolic Logic 32 (2):255-256.
    Download  
     
    Export citation  
     
    Bookmark   167 citations  
  • Tractatus logico-philosophicus.Ludwig Wittgenstein - 1922 - Filosoficky Casopis 52:336-341.
    Download  
    Translate
     
     
    Export citation  
     
    Bookmark   991 citations  
  • Mental Acts.P. T. Geach - 1957 - Philosophical Quarterly 9 (36):278-279.
    Download  
     
    Export citation  
     
    Bookmark   165 citations  
  • Sense, Assertion, Dummett and Denial.Huw Price - 1983 - Mind 92 (366):161-173.
    Download  
     
    Export citation  
     
    Bookmark   17 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 (...)
    Download  
     
    Export citation  
     
    Bookmark   70 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 (...)
    Download  
     
    Export citation  
     
    Bookmark   46 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.
    Download  
     
    Export citation  
     
    Bookmark   71 citations  
  • Tonk, Plonk and Plink.Nuel Belnap - 1962 - Analysis 22 (6):130-134.
    Download  
     
    Export citation  
     
    Bookmark   100 citations  
  • What is the Manifestation Argument?Alexander Miller - 2002 - Pacific Philosophical Quarterly 83 (4):352–383.
    Download  
     
    Export citation  
     
    Bookmark   8 citations  
  • Conjunction and Contonktion Revisited.A. N. Prior - 1964 - Analysis 24 (6):191 - 195.
    Download  
     
    Export citation  
     
    Bookmark   15 citations  
  • Die Verneinung. Eine logische Untersuchung.Gottlob Frege - 1997 - Wittgenstein-Studien 4 (2).
    Download  
    Translate
     
     
    Export citation  
     
    Bookmark   8 citations  
  • Conjunction and contonktion revisited.A. N. Prior - 1964 - Erkenntnis 24 (6):191.
    Download  
    Translate
     
     
    Export citation  
     
    Bookmark   7 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 (...)
    Download  
     
    Export citation  
     
    Bookmark   9 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 (...)
    Download  
     
    Export citation  
     
    Bookmark   32 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 (...)
    Download  
     
    Export citation  
     
    Bookmark   3 citations  
  • What is Logic?Ian Hacking - 1979 - Journal of Philosophy 76 (6):285-319.
    Download  
     
    Export citation  
     
    Bookmark   71 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.
    Download  
    Translate
     
     
    Export citation  
     
    Bookmark   105 citations  
  • Die Widerspruchsfreiheit der Reinen Zahlentheorie.Gerhard Gentzen - 1936 - Journal of Symbolic Logic 1 (2):75-75.
    Download  
     
    Export citation  
     
    Bookmark   51 citations  
  • The Law of Excluded Middle.Peter Geach - 1956 - Aristotelian Society Supplementary Volume 30 (1):59-90.
    Download  
     
    Export citation  
     
    Bookmark   1 citation