Combining Texts

Ideas for 'fragments/reports', 'Lectures on the Principles of Political Obligation' and 'The Development of Logic'

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

display all the ideas for this combination of texts

---

1 idea

4. Formal Logic / F. Set Theory ST / 4. Axioms for Sets / f. Axiom of Infinity V

10051	The axiom of infinity is not a truth of logic, and its adoption is an abandonment of logicism [Kneale,W and M]
	Full Idea: There is something profoundly unsatisfactory about the axiom of infinity. It cannot be described as a truth of logic in any reasonable use of that phrase, and so the introduction of it as a primitive proposition amounts to the abandonment of logicism.
	From: W Kneale / M Kneale (The Development of Logic [1962], XI.2)
	A reaction: It seems that the axiom is essentially empirical, and it certainly makes an existential claim which seems to me (intuitively) to have nothing to do with logic at all.