References in:
What is wrong with classical negation?
Grazer Philosophische Studien 92 (1):5186 (2015)
Add references
You must login to add references.


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 (...) 

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 forma concept with significant implications to prooftheoretic semantics. 













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 (...) 

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 (...) 

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 (...) 





The fundamental assumption of Dummett’s and Prawitz’ prooftheoretic 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 (...) 

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 ... 





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 yesorno 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 (...) 

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. 













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 recognitiontranscendent 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 (...) 

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. 



