Combining Texts

Ideas for 'fragments/reports', 'later work' and 'First-Order Modal Logic'

unexpand these ideas     |    start again     |     choose another area for these texts

display all the ideas for this combination of texts

---

1 idea

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

9738	Each line of a truth table is a model [Fitting/Mendelsohn]
	Full Idea: Each line of a truth table is, in effect, a model.
	From: M Fitting/R Mendelsohn (First-Order Modal Logic [1998], 1.6)
	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.