Combining Texts

Ideas for 'Causes and Counterfactuals', 'Logic in Mathematics' and 'An Outline of Empiricism'

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 / E. Structures of Logic / 8. Theories in Logic

16865	'Theorems' are both proved, and used in proofs [Frege]
	Full Idea: Usually a truth is only called a 'theorem' when it has not merely been obtained by inference, but is used in turn as a premise for a number of inferences in the science. ….Proofs use non-theorems, which only occur in that proof.
	From: Gottlob Frege (Logic in Mathematics [1914], p.204)