Combining Texts

Ideas for '', 'Subjectivist's Guide to Objective Chance' and 'Logical Consequence'

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

display all the ideas for this combination of texts

---

1 idea

5. Theory of Logic / K. Features of Logics / 3. Soundness

18757	Soundness theorems are uninformative, because they rely on soundness in their proofs [McGee]
	Full Idea: Soundness theorems are seldom very informative, since typically we use informally, in proving the theorem, the very same rules whose soundness we are attempting to establish.
	From: Vann McGee (Logical Consequence [2014], 5)
	A reaction: [He cites Quine 1935]