display all the ideas for this combination of texts
6 ideas
11066 | Deduction is justified by the semantics of its metalanguage [Dummett, by Hanna] |
Full Idea: For Dummett the semantics of the metalanguage is the external and objective source of the justification of deduction. | |
From: report of Michael Dummett (The Justification of Deduction [1973]) by Robert Hanna - Rationality and Logic 3.4 | |
A reaction: This is offered as an answer to the Lewis Carroll problem that justifying deduction seems to need deduction, thus leading to a regress. [There is a reply to Dummett by Susan Haack] |
19058 | Syntactic consequence is positive, for validity; semantic version is negative, with counterexamples [Dummett] |
Full Idea: A plausible account is that the syntactic notion of consequence is for positive results, that some form of argument is valid; the semantic notion is required for negative results, that some argument is invalid, because a counterexample can be found. | |
From: Michael Dummett (The Justification of Deduction [1973], p.292) | |
A reaction: This rings true for the two strategies of demonstration, the first by following the rules in steps, the second by using your imagination (or a tableau) to think up problems. |
19063 | Beth trees show semantics for intuitionistic logic, in terms of how truth has been established [Dummett] |
Full Idea: Beth trees give a semantics for intuitionistic logic, by representing sentence meaning in terms of conditions under which it is recognised to have been established as true. | |
From: Michael Dummett (The Justification of Deduction [1973], p.305) |
19059 | In standard views you could replace 'true' and 'false' with mere 0 and 1 [Dummett] |
Full Idea: Nothing is lost, on this view, if in the standard semantic treatment of classical sentential logic, we replace the standard truth-values 'true' and 'false' by the numbers 0 and 1. | |
From: Michael Dummett (The Justification of Deduction [1973], p.294) | |
A reaction: [A long context will explain 'on this view'] He is discussing the relationship of syntactic and semantic consequence, and goes on to criticise simple binary truth-table accounts of connectives. Semantics on a computer would just be 0 and 1. |
19062 | Classical two-valued semantics implies that meaning is grasped through truth-conditions [Dummett] |
Full Idea: The standard two-valued semantics for classical logic involves a conception under which to grasp the meaning of a sentence is to apprehend the conditions under which it is, or is not, true. | |
From: Michael Dummett (The Justification of Deduction [1973], p.305) | |
A reaction: The idea is that you only have to grasp the truth tables for sentential logic, and that needs nothing more than knowing whether a sentence is true or false. I'm not sure where the 'conditions' creep in, though. |
19065 | Soundness and completeness proofs test the theory of meaning, rather than the logic theory [Dummett] |
Full Idea: A proof of soundess or completeness is a test, not so much of the logical theory to which it applies, but of the theory of meaning which underlies the semantics. | |
From: Michael Dummett (The Justification of Deduction [1973], p.310) | |
A reaction: These two types of proof concern how the syntax and the semantics match up, so this claim sounds plausible, though I tend to think of them as more like roadworthiness tests for logic, checking how well they function. |