3 ideas
23505 | Aristotelian logic cannot express 'Everyone loves someone' [White,RM] |
Full Idea: There is no way within Aristotelian logic that you can give a proper expression for the logical form of such a proposition as 'Everyone loves someone'. | |
From: Roger M. White (Wittgenstein's 'Tractatus Logico-Philosophicus' [2006], 1 'Frege') | |
A reaction: This needs a combination of two different quantifiers. |
14235 | Saying 'they can become a set' is a tautology, because reference to 'they' implies a collection [Cargile] |
Full Idea: If the rule is asserted 'Given any well-determined objects, they can be collected into a set by an application of the 'set of' operation', then on the usual account of 'they' this is a tautology. Collection comes automatically with this form of reference. | |
From: James Cargile (Paradoxes: Form and Predication [1979], p.115), quoted by Oliver,A/Smiley,T - What are Sets and What are they For? Intro | |
A reaction: Is this a problem? Given they are well-determined (presumably implying countable) there just is a set of them. That's what set theory is, I thought. Of course, the iterative view talks of 'constructing' the sets, but the construction looks unstoppable. |
1513 | The Egyptians were the first to say the soul is immortal and reincarnated [Herodotus] |
Full Idea: The Egyptians were the first to claim that the soul of a human being is immortal, and that each time the body dies the soul enters another creature just as it is being born. | |
From: Herodotus (The Histories [c.435 BCE], 2.123.2) |