51 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] |
10036 | In 'Principia' a new abstract theory of relations appeared, and was applied [Russell/Whitehead, by Gödel] |
7306 | If the only property of a name was its reference, we couldn't explain bearerless names [Miller,A] |
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] |
8683 | Russell and Whitehead were not realists, but embraced nearly all of maths in logic [Russell/Whitehead, by Friend] |
10025 | Russell and Whitehead took arithmetic to be higher-order logic [Russell/Whitehead, by Hodes] |
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] |
21812 | Being is the product of pure intellect [Plotinus] |
21817 | The One does not exist, but is the source of all existence [Plotinus] |
21824 | The One is a principle which transcends Being [Plotinus] |
21813 | Number determines individual being [Plotinus] |
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] |
7322 | Constitutive scepticism is about facts, and epistemological scepticism about our ability to know them [Miller,A] |
5506 | If soul was like body, its parts would be separate, without communication [Plotinus] |
21827 | The movement of Soul is continuous, but we are only aware of the parts of it that are sensed [Plotinus] |
21828 | A person is the whole of their soul [Plotinus] |
21809 | Our soul has the same ideal nature as the oldest god, and is honourable above the body [Plotinus] |
21825 | The soul is outside of all of space, and has no connection to the bodily order [Plotinus] |
7325 | Dispositions say what we will do, not what we ought to do, so can't explain normativity [Miller,A] |
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] |
7324 | Explain meaning by propositional attitudes, or vice versa, or together? [Miller,A] |
7323 | If truth is deflationary, sentence truth-conditions just need good declarative syntax [Miller,A] |
23453 | Propositions as objects of judgement don't exist, because we judge several objects, not one [Russell/Whitehead] |
7315 | 'Jones is a married bachelor' does not have the logical form of a contradiction [Miller,A] |
7328 | The principle of charity is holistic, saying we must hold most of someone's system of beliefs to be true [Miller,A] |
7329 | Maybe we should interpret speakers as intelligible, rather than speaking truth [Miller,A] |
21826 | The Soul reasons about the Right, so there must be some permanent Right about which it reasons [Plotinus] |
7333 | The Frege-Geach problem is that I can discuss the wrongness of murder without disapproval [Miller,A] |
6922 | Ecstasy is for the neo-Platonist the highest psychological state of man [Plotinus, by Feuerbach] |
21814 | How can multiple existence arise from the unified One? [Plotinus] |
21815 | Because the One is immobile, it must create by radiation, light the sun producing light [Plotinus] |
21816 | Soul is the logos of Nous, just as Nous is the logos of the One [Plotinus] |
21808 | Soul is author of all of life, and of the stars, and it gives them law and movement [Plotinus] |
21811 | Even the soul is secondary to the Intellectual-Principle [Nous], of which soul is an utterance [Plotinus] |