Combining Texts

Ideas for 'works', 'W.V. Quine' and 'Spinoza's Ethics'

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

display all the ideas for this combination of texts

---

1 idea

6. Mathematics / C. Sources of Mathematics / 6. Logicism / a. Early logicism

8473	The logicists held that is-a-member-of is a logical constant, making set theory part of logic [Orenstein]
	Full Idea: The question to be posed is whether is-a-member-of should be considered a logical constant, that is, does logic include set theory. Frege, Russell and Whitehead held that it did.
	From: Alex Orenstein (W.V. Quine [2002], Ch.5)
	A reaction: This is obviously the key element in the logicist programme. The objection seems to be that while first-order logic is consistent and complete, set theory is not at all like that, and so is part of a different world.