more from M Fitting/R Mendelsohn

Single Idea 9738

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

Full Idea

Each line of a truth table is, in effect, a model.

Gist of Idea

Each line of a truth table is a model

Source

M Fitting/R Mendelsohn (First-Order Modal Logic [1998], 1.6)

Book Reference

Fitting,M/Mendelsohn,R: 'First-Order Modal Logic' [Synthese 1998], p.12


A Reaction

I find this comment illuminating. It is being connected with the more complex models of modal logic. Each line of a truth table is a picture of how the world might be.