display all the ideas for this combination of texts
2 ideas
8472 | Sentential logic is consistent (no contradictions) and complete (entirely provable) [Orenstein] |
Full Idea: Sentential logic has been proved consistent and complete; its consistency means that no contradictions can be derived, and its completeness assures us that every one of the logical truths can be proved. | |
From: Alex Orenstein (W.V. Quine [2002], Ch.5) | |
A reaction: The situation for quantificational logic is not quite so clear (Orenstein p.98). I do not presume that being consistent and complete makes it necessarily better as a tool in the real world. |
8476 | Axiomatization simply picks from among the true sentences a few to play a special role [Orenstein] |
Full Idea: In axiomatizing, we are merely sorting out among the truths of a science those which will play a special role, namely, serve as axioms from which we derive the others. The sentences are already true in a non-conventional or ordinary sense. | |
From: Alex Orenstein (W.V. Quine [2002], Ch.5) | |
A reaction: If you were starting from scratch, as Euclidean geometers may have felt they were doing, you might want to decide which are the simplest truths. Axiomatizing an established system is a more advanced activity. |