29 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] |
10702 | Set theory's three roles: taming the infinite, subject-matter of mathematics, and modes of reasoning [Potter] |
10713 | Usually the only reason given for accepting the empty set is convenience [Potter] |
13044 | Infinity: There is at least one limit level [Potter] |
10708 | Nowadays we derive our conception of collections from the dependence between them [Potter] |
13546 | The 'limitation of size' principles say whether properties collectivise depends on the number of objects [Potter] |
10707 | Mereology elides the distinction between the cards in a pack and the suits [Potter] |
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] |
10704 | We can formalize second-order formation rules, but not inference rules [Potter] |
6115 | Vagueness, and simples being beyond experience, are obstacles to a logical language [Russell] |
10703 | Supposing axioms (rather than accepting them) give truths, but they are conditional [Potter] |
6109 | Some axioms may only become accepted when they lead to obvious conclusions [Russell] |
10712 | If set theory didn't found mathematics, it is still needed to count infinite sets [Potter] |
17882 | It is remarkable that all natural number arithmetic derives from just the Peano Axioms [Potter] |
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] |
13043 | A relation is a set consisting entirely of ordered pairs [Potter] |
13042 | If dependence is well-founded, with no infinite backward chains, this implies substances [Potter] |
13041 | Collections have fixed members, but fusions can be carved in innumerable ways [Potter] |
10709 | Priority is a modality, arising from collections and members [Potter] |
6112 | Meaning takes many different forms, depending on different logical types [Russell] |
7825 | The politics of Leibniz was the reunification of Christianity [Stewart,M] |