33 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] |
| 14965 | Truth rests on Elimination ('A' is true → A) and Introduction (A → 'A' is true) [Gupta] |
| 14968 | A weakened classical language can contain its own truth predicate [Gupta] |
| 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] |
| 14964 | The Liar reappears, even if one insists on propositions instead of sentences [Gupta] |
| 14969 | Strengthened Liar: either this sentence is neither-true-nor-false, or it is not true [Gupta] |
| 17518 | Counting 'coin in this box' may have coin as the unit, with 'in this box' merely as the scope [Ayers] |
| 17516 | If counting needs a sortal, what of things which fall under two sortals? [Ayers] |
| 6108 | Maths can be deduced from logical axioms and the logic of relations [Russell] |
| 17520 | Events do not have natural boundaries, and we have to set them [Ayers] |
| 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] |
| 17519 | To express borderline cases of objects, you need the concept of an 'object' [Ayers] |
| 17510 | Speakers need the very general category of a thing, if they are to think about it [Ayers] |
| 17522 | We use sortals to classify physical objects by the nature and origin of their unity [Ayers] |
| 17515 | Seeing caterpillar and moth as the same needs continuity, not identity of sortal concepts [Ayers] |
| 17511 | Recognising continuity is separate from sortals, and must precede their use [Ayers] |
| 17517 | Could the same matter have more than one form or principle of unity? [Ayers] |
| 17513 | If there are two objects, then 'that marble, man-shaped object' is ambiguous [Ayers] |
| 17523 | Sortals basically apply to individuals [Ayers] |
| 17521 | You can't have the concept of a 'stage' if you lack the concept of an object [Ayers] |
| 17514 | Temporal 'parts' cannot be separated or rearranged [Ayers] |
| 17509 | Some say a 'covering concept' completes identity; others place the concept in the reference [Ayers] |
| 17512 | If diachronic identities need covering concepts, why not synchronic identities too? [Ayers] |
| 6112 | Meaning takes many different forms, depending on different logical types [Russell] |