display all the ideas for this combination of texts
1 idea
| 6653 | Syntactical methods of proof need only structure, where semantic methods (truth-tables) need truth [Lowe] |
| Full Idea: Syntactical methods of proof (e.g.'natural deduction') have regard only to the formal structure of premises and conclusions, whereas semantic methods (e.g. truth-tables) consider their possible interpretations as expressing true or false propositions. | |
| From: E.J. Lowe (Introduction to the Philosophy of Mind [2000], Ch. 8) | |
| A reaction: This is highly significant, because the first method of reasoning could be mechanical, whereas the second requires truth, and hence meaning, and hence (presumably) consciousness. Is full rationality possible with 'natural deduction'? |