structure for 'Formal Logic'    |     alphabetical list of themes    |     expand these ideas

4. Formal Logic / B. Propositional Logic PL / 3. Truth Tables

[displaying logical relations in terms of true and false]

9 ideas
Truth tables give prior conditions for logic, but are outside the system, and not definitions [Tarski]
Truth-tables are good for showing invalidity [Lemmon]
A truth-table test is entirely mechanical, but this won't work for more complex logic [Lemmon]
Truth-tables are dubious in some cases, and may be a bad way to explain connective meaning [Dummett]
Until the 1960s the only semantics was truth-tables [Enderton]
Each line of a truth table is a model [Fitting/Mendelsohn]
Truth tables assume truth functionality, and are just pictures of truth functions [Sider]
In classical/realist logic the connectives are defined by truth-tables [Friend]
Boolean connectives are interpreted as functions on the set {1,0} [Walicki]