19 ideas
| 6118 | Philosophy is logical analysis, followed by synthesis [Russell] |
| 6116 | A logical language would show up the fallacy of inferring reality from ordinary language [Russell] |
| 6117 | Philosophy should be built on science, to reduce error [Russell] |
| 8758 | We could talk of open sentences, instead of sets [Chihara, by Shapiro] |
| 6110 | Subject-predicate logic (and substance-attribute metaphysics) arise from Aryan languages [Russell] |
| 6107 | It is logic, not metaphysics, that is fundamental to philosophy [Russell] |
| 6115 | Vagueness, and simples being beyond experience, are obstacles to a logical language [Russell] |
| 6109 | Some axioms may only become accepted when they lead to obvious conclusions [Russell] |
| 6108 | Maths can be deduced from logical axioms and the logic of relations [Russell] |
| 10265 | Chihara's system is a variant of type theory, from which he can translate sentences [Chihara, by Shapiro] |
| 8759 | We can replace type theory with open sentences and a constructibility quantifier [Chihara, by Shapiro] |
| 10264 | Introduce a constructibility quantifiers (Cx)Φ - 'it is possible to construct an x such that Φ' [Chihara, by Shapiro] |
| 10968 | Russell gave up logical atomism because of negative, general and belief propositions [Russell, by Read] |
| 6113 | To mean facts we assert them; to mean simples we name them [Russell] |
| 6114 | 'Simples' are not experienced, but are inferred at the limits of analysis [Russell] |
| 21722 | Better to construct from what is known, than to infer what is unknown [Russell] |
| 6111 | As propositions can be put in subject-predicate form, we wrongly infer that facts have substance-quality form [Russell] |
| 17535 | Dispositionality has its own distinctive type of modality [Mumford/Anjum] |
| 6112 | Meaning takes many different forms, depending on different logical types [Russell] |