display all the ideas for this combination of texts
2 ideas
13979 | Logic studies consequence, compatibility, contradiction, corroboration, necessitation, grounding.... [Ryle] |
6653 | Syntactical methods of proof need only structure, where semantic methods (truth-tables) need truth [Lowe] |