Single Idea 19059

[catalogued under 5. Theory of Logic / I. Semantics of Logic / 1. Semantics of Logic]

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 Reference

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]