more from this thinker | more from this text
Full Idea
The method of truth tables assumes truth functionality. Truth tables are just pictures of truth functions.
Gist of Idea
Truth tables assume truth functionality, and are just pictures of truth functions
Source
Theodore Sider (Logic for Philosophy [2010], 6.3)
Book Ref
Sider,Theodore: 'Logic for Philosophy' [OUP 2010], p.138
19195 | Truth tables give prior conditions for logic, but are outside the system, and not definitions [Tarski] |
9537 | Truth-tables are good for showing invalidity [Lemmon] |
9538 | A truth-table test is entirely mechanical, but this won't work for more complex logic [Lemmon] |
19060 | Truth-tables are dubious in some cases, and may be a bad way to explain connective meaning [Dummett] |
9724 | Until the 1960s the only semantics was truth-tables [Enderton] |
9738 | Each line of a truth table is a model [Fitting/Mendelsohn] |
13705 | Truth tables assume truth functionality, and are just pictures of truth functions [Sider] |
8713 | In classical/realist logic the connectives are defined by truth-tables [Friend] |
17764 | Boolean connectives are interpreted as functions on the set {1,0} [Walicki] |