59 ideas
6095 | The business of metaphysics is to describe the world [Russell] |
6106 | Reducing entities and premisses makes error less likely [Russell] |
6090 | Facts make propositions true or false, and are expressed by whole sentences [Russell] |
18348 | Not only atomic truths, but also general and negative truths, have truth-makers [Russell, by Rami] |
9542 | The best known axiomatization of PL is Whitehead/Russell, with four axioms and two rules [Russell/Whitehead, by Hughes/Cresswell] |
6103 | Normally a class with only one member is a problem, because the class and the member are identical [Russell] |
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] |
6092 | In a logically perfect language, there will be just one word for every simple object [Russell] |
6101 | Romulus does not occur in the proposition 'Romulus did not exist' [Russell] |
10036 | In 'Principia' a new abstract theory of relations appeared, and was applied [Russell/Whitehead, by Gödel] |
6102 | You can understand 'author of Waverley', but to understand 'Scott' you must know who it applies to [Russell] |
10423 | There are a set of criteria for pinning down a logically proper name [Russell, by Sainsbury] |
7744 | Treat description using quantifiers, and treat proper names as descriptions [Russell, by McCullogh] |
10426 | A name has got to name something or it is not a name [Russell] |
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] |
6104 | Numbers are classes of classes, and hence fictions of fictions [Russell] |
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] |
21708 | Russell's new logical atomist was of particulars, universals and facts (not platonic propositions) [Russell, by Linsky,B] |
19051 | Russell's atomic facts are actually compounds, and his true logical atoms are sense data [Russell, by Quine] |
6089 | Logical atomism aims at logical atoms as the last residue of analysis [Russell] |
6100 | Once you have enumerated all the atomic facts, there is a further fact that those are all the facts [Russell] |
6105 | Logical atoms aims to get down to ultimate simples, with their own unique reality [Russell] |
21709 | You can't name all the facts, so they are not real, but are what propositions assert [Russell] |
18376 | Russell asserts atomic, existential, negative and general facts [Russell, by Armstrong] |
5465 | Modern trope theory tries, like logical atomism, to reduce things to elementary states [Russell, by Ellis] |
6060 | 'Existence' means that a propositional function is sometimes true [Russell] |
12033 | An object is identical with itself, and no different indiscernible object can share that [Russell/Whitehead, by Adams,RM] |
6099 | Modal terms are properties of propositional functions, not of propositions [Russell] |
6098 | Perception goes straight to the fact, and not through the proposition [Russell] |
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] |
6097 | The theory of error seems to need the existence of the non-existent [Russell] |
9022 | Russell uses 'propositional function' to refer to both predicates and to attributes [Quine on Russell] |
6091 | Propositions don't name facts, because each fact corresponds to a proposition and its negation [Russell] |
23453 | Propositions as objects of judgement don't exist, because we judge several objects, not one [Russell/Whitehead] |
21702 | In 1918 still believes in nonlinguistic analogues of sentences, but he now calls them 'facts' [Russell, by Quine] |
6094 | An inventory of the world does not need to include propositions [Russell] |
6096 | I no longer believe in propositions, especially concerning falsehoods [Russell] |
21712 | I know longer believe in shadowy things like 'that today is Wednesday' when it is actually Tuesday [Russell] |
6093 | The names in a logically perfect language would be private, and could not be shared [Russell] |
16764 | The soul conserves the body, as we see by its dissolution when the soul leaves [Toletus] |
6119 | You can discuss 'God exists', so 'God' is a description, not a name [Russell] |