more from this thinker     |     more from this text


Single Idea 9724

[filed under theme 4. Formal Logic / B. Propositional Logic PL / 3. Truth Tables ]

Full Idea

Until the 1960s standard truth-table semantics were the only ones that there were.

Gist of Idea

Until the 1960s the only semantics was truth-tables

Source

Herbert B. Enderton (A Mathematical Introduction to Logic (2nd) [2001], 1.10.1)

Book Ref

Enderton,Herbert B.: 'A Mathematical Introduction to Logic' [Academic Press 2001], p.14


A Reaction

The 1960s presumably marked the advent of possible worlds.


The 9 ideas with the same theme [displaying logical relations in terms of true and false]:

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]