display all the ideas for this combination of texts
3 ideas
6653 | Syntactical methods of proof need only structure, where semantic methods (truth-tables) need truth [Lowe] |
15349 | It is easier to imagine truth-value gaps (for the Liar, say) than for truth-value gluts (both T and F) [Horsten] |
15366 | Satisfaction is a primitive notion, and very liable to semantical paradoxes [Horsten] |