30 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] |
| 5784 | In its primary and formal sense, 'true' applies to propositions, not beliefs [Russell] |
| 5777 | The truth or falsehood of a belief depends upon a fact to which the belief 'refers' [Russell] |
| 5783 | Propositions of existence, generalities, disjunctions and hypotheticals make correspondence tricky [Russell] |
| 15375 | If terms change their designations in different states, they are functions from states to objects [Fitting] |
| 15376 | Intensional logic adds a second type of quantification, over intensional objects, or individual concepts [Fitting] |
| 15378 | Awareness logic adds the restriction of an awareness function to epistemic logic [Fitting] |
| 15379 | Justication logics make explicit the reasons for mathematical truth in proofs [Fitting] |
| 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] |
| 11026 | Classical logic is deliberately extensional, in order to model mathematics [Fitting] |
| 6115 | Vagueness, and simples being beyond experience, are obstacles to a logical language [Russell] |
| 11028 | λ-abstraction disambiguates the scope of modal operators [Fitting] |
| 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] |
| 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] |
| 15377 | Definite descriptions pick out different objects in different possible worlds [Fitting] |
| 5780 | The three questions about belief are its contents, its success, and its character [Russell] |
| 5778 | If we object to all data which is 'introspective' we will cease to believe in toothaches [Russell] |
| 5779 | There are distinct sets of psychological and physical causal laws [Russell] |
| 6112 | Meaning takes many different forms, depending on different logical types [Russell] |
| 5781 | Our important beliefs all, if put into words, take the form of propositions [Russell] |
| 5782 | A proposition expressed in words is a 'word-proposition', and one of images an 'image-proposition' [Russell] |
| 5776 | A proposition is what we believe when we believe truly or falsely [Russell] |