48 ideas
| 9542 | The best known axiomatization of PL is Whitehead/Russell, with four axioms and two rules [Russell/Whitehead, by Hughes/Cresswell] |
| 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] |
| 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] |
| 15105 | F(x) walked into a bar. The barman said.. [Sommers,W] |
| 10036 | In 'Principia' a new abstract theory of relations appeared, and was applied [Russell/Whitehead, by Gödel] |
| 18248 | A real number is the class of rationals less than the number [Russell/Whitehead, by Shapiro] |
| 18152 | Russell takes numbers to be classes, but then reduces the classes to numerical quantifiers [Russell/Whitehead, by Bostock] |
| 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] |
| 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] |
| 12408 | Sartre to Waitress: Coffee with no cream, please... [Sommers,W] |
| 12397 | Said Plato: 'The things that we feel... [Sommers,W] |
| 12033 | An object is identical with itself, and no different indiscernible object can share that [Russell/Whitehead, by Adams,RM] |
| 12407 | Barman to Descartes: Would you like another drink?... [Sommers,W] |
| 12399 | There was a young student called Fred... [Sommers,W] |
| 20963 | A philosopher and his wife are out for a drive... [Sommers,W] |
| 12404 | Dear Sir, Your astonishment's odd.... [Sommers,W] |
| 12403 | There once was a man who said: 'God... [Sommers,W] |
| 12402 | ..But if he's a student of Berkeley... [Sommers,W] |
| 12409 | The philosopher Berkeley once said.. [Sommers,W] |
| 14694 | "My dog's got synaesthesia." How does he smell? ..... [Sommers,W] |
| 10040 | Russell showed, through the paradoxes, that our basic logical intuitions are self-contradictory [Russell/Whitehead, by Gödel] |
| 12401 | A toper who spies in the distance... [Sommers,W] |
| 12410 | There once was a man who said 'Damn!... [Sommers,W] |
| 9392 | How do behaviourists greet each other? [Sommers,W] |
| 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] |
| 12405 | 'If you're aristocratic,' said Nietzsche... [Sommers,W] |
| 9391 | Why do anarchists drink herbal tea? [Sommers,W] |
| 1748 | Archelaus was the first person to say that the universe is boundless [Archelaus, by Diog. Laertius] |
| 12400 | Cries the maid: 'You must marry me Hume!'... [Sommers,W] |
| 16527 | Causation - we all thought we knew it/ Till Hume came along and saw through it/…. [Sommers,W] |
| 17592 | The barman called 'Time!', and Augustine said..... [Sommers,W] |
| 15208 | The past, present and future walked into a bar.... [Sommers,W] |
| 5989 | Archelaus said life began in a primeval slime [Archelaus, by Schofield] |