Ideas of W Kneale / M Kneale, by Theme

[British, fl. 1962, Both at Oxford University.]

green numbers give full details    |    back to list of philosophers    |     unexpand these ideas    |    
4. Formal Logic / F. Set Theory ST / 4. Axioms for Sets / f. Axiom of Infinity V
The axiom of infinity is not a truth of logic, and its adoption is an abandonment of logicism
     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.