more on this theme | more from this thinker
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.
Gist of Idea
In standard views you could replace 'true' and 'false' with mere 0 and 1
Source
Michael Dummett (The Justification of Deduction [1973], p.294)
Book Ref
Dummett,Michael: 'Truth and Other Enigmas' [Duckworth 1978], 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.
Related Ideas
Idea 19058 Syntactic consequence is positive, for validity; semantic version is negative, with counterexamples [Dummett]
Idea 3192 Basic logic can be done by syntax, with no semantics [Gödel, by Rey]
11066 | Deduction is justified by the semantics of its metalanguage [Dummett, by Hanna] |
19058 | Syntactic consequence is positive, for validity; semantic version is negative, with counterexamples [Dummett] |
19059 | In standard views you could replace 'true' and 'false' with mere 0 and 1 [Dummett] |
19060 | Truth-tables are dubious in some cases, and may be a bad way to explain connective meaning [Dummett] |
19061 | An explanation is often a deduction, but that may well beg the question [Dummett] |
19062 | Classical two-valued semantics implies that meaning is grasped through truth-conditions [Dummett] |
19063 | Beth trees show semantics for intuitionistic logic, in terms of how truth has been established [Dummett] |
19064 | Holism is not a theory of meaning; it is the denial that a theory of meaning is possible [Dummett] |
19065 | Soundness and completeness proofs test the theory of meaning, rather than the logic theory [Dummett] |
19066 | Philosophy aims to understand the world, through ordinary experience and science [Dummett] |
19067 | A successful proof requires recognition of truth at every step [Dummett] |