54 ideas
| 12330 | In ontology, logic dominated language, until logic was mathematized [Badiou] |
| 12318 | The female body, when taken in its entirety, is the Phallus itself [Badiou] |
| 12325 | Philosophy has been relieved of physics, cosmology, politics, and now must give up ontology [Badiou] |
| 12324 | Consensus is the enemy of thought [Badiou] |
| 11257 | The Pythagoreans were the first to offer definitions [Politis, by Politis] |
| 11235 | 'True of' is applicable to things, while 'true' is applicable to words [Politis] |
| 9542 | The best known axiomatization of PL is Whitehead/Russell, with four axioms and two rules [Russell/Whitehead, by Hughes/Cresswell] |
| 12337 | There is 'transivity' iff membership ∈ also means inclusion ⊆ [Badiou] |
| 12321 | The axiom of choice must accept an indeterminate, indefinable, unconstructible set [Badiou] |
| 21720 | Russell saw Reducibility as legitimate for reducing classes to logic [Linsky,B on Russell/Whitehead] |
| 10044 | Russell denies extensional sets, because the null can't be a collection, and the singleton is just its element [Russell/Whitehead, by Shapiro] |
| 18208 | We regard classes as mere symbolic or linguistic conveniences [Russell/Whitehead] |
| 12342 | Topos theory explains the plurality of possible logics [Badiou] |
| 8204 | Lewis's 'strict implication' preserved Russell's confusion of 'if...then' with implication [Quine on Russell/Whitehead] |
| 9359 | Russell's implication means that random sentences imply one another [Lewis,CI on Russell/Whitehead] |
| 21707 | Russell unusually saw logic as 'interpreted' (though very general, and neutral) [Russell/Whitehead, by Linsky,B] |
| 12341 | Logic is a mathematical account of a universe of relations [Badiou] |
| 10036 | In 'Principia' a new abstract theory of relations appeared, and was applied [Russell/Whitehead, by Gödel] |
| 12335 | Numbers are for measuring and for calculating (and the two must be consistent) [Badiou] |
| 12334 | There is no single unified definition of number [Badiou] |
| 12333 | Each type of number has its own characteristic procedure of introduction [Badiou] |
| 12322 | Must we accept numbers as existing when they no longer consist of units? [Badiou] |
| 18248 | A real number is the class of rationals less than the number [Russell/Whitehead, by Shapiro] |
| 12327 | The undecidability of the Continuum Hypothesis may have ruined or fragmented set theory [Badiou] |
| 18152 | Russell takes numbers to be classes, but then reduces the classes to numerical quantifiers [Russell/Whitehead, by Bostock] |
| 12329 | If mathematics is a logic of the possible, then questions of existence are not intrinsic to it [Badiou] |
| 12328 | Platonists like axioms and decisions, Aristotelians like definitions, possibilities and logic [Badiou] |
| 10025 | Russell and Whitehead took arithmetic to be higher-order logic [Russell/Whitehead, by Hodes] |
| 8683 | Russell and Whitehead were not realists, but embraced nearly all of maths in logic [Russell/Whitehead, by Friend] |
| 10037 | 'Principia' lacks a precise statement of the syntax [Gödel on Russell/Whitehead] |
| 10093 | The ramified theory of types used propositional functions, and covered bound variables [Russell/Whitehead, by George/Velleman] |
| 8691 | The Russell/Whitehead type theory was limited, and was not really logic [Friend on Russell/Whitehead] |
| 10305 | In 'Principia Mathematica', logic is exceeded in the axioms of infinity and reducibility, and in the domains [Bernays on Russell/Whitehead] |
| 12331 | Logic is definitional, but real mathematics is axiomatic [Badiou] |
| 8684 | Russell and Whitehead consider the paradoxes to indicate that we create mathematical reality [Russell/Whitehead, by Friend] |
| 8746 | To avoid vicious circularity Russell produced ramified type theory, but Ramsey simplified it [Russell/Whitehead, by Shapiro] |
| 12340 | There is no Being as a whole, because there is no set of all sets [Badiou] |
| 12323 | Existence is Being itself, but only as our thought decides it [Badiou] |
| 11277 | Maybe 'What is being? is confusing because we can't ask what non-being is like [Politis] |
| 12326 | The primitive name of Being is the empty set; in a sense, only the empty set 'is' [Badiou] |
| 12332 | The modern view of Being comes when we reject numbers as merely successions of One [Badiou] |
| 12320 | Ontology is (and always has been) Cantorian mathematics [Badiou] |
| 11248 | Necessary truths can be two-way relational, where essential truths are one-way or intrinsic [Politis] |
| 12033 | An object is identical with itself, and no different indiscernible object can share that [Russell/Whitehead, by Adams,RM] |
| 10040 | Russell showed, through the paradoxes, that our basic logical intuitions are self-contradictory [Russell/Whitehead, by Gödel] |
| 21725 | The multiple relations theory says assertions about propositions are about their ingredients [Russell/Whitehead, by Linsky,B] |
| 23474 | A judgement is a complex entity, of mind and various objects [Russell/Whitehead] |
| 23455 | The meaning of 'Socrates is human' is completed by a judgement [Russell/Whitehead] |
| 23480 | The multiple relation theory of judgement couldn't explain the unity of sentences [Morris,M on Russell/Whitehead] |
| 18275 | Only the act of judging completes the meaning of a statement [Russell/Whitehead] |
| 23453 | Propositions as objects of judgement don't exist, because we judge several objects, not one [Russell/Whitehead] |
| 12338 | We must either assert or deny any single predicate of any single subject [Badiou] |
| 12316 | For Enlightenment philosophers, God was no longer involved in politics [Badiou] |
| 12317 | The God of religion results from an encounter, not from a proof [Badiou] |