11 ideas
17879 | Axiomatising set theory makes it all relative [Skolem] |
17878 | If a 1st-order proposition is satisfied, it is satisfied in a denumerably infinite domain [Skolem] |
17880 | Integers and induction are clear as foundations, but set-theory axioms certainly aren't [Skolem] |
17881 | Mathematician want performable operations, not propositions about objects [Skolem] |
15148 | Powers give explanations, without being necessary for some class membership [Chakravartty] |
15145 | A kind essence is the necessary and sufficient properties for membership of a class [Chakravartty] |
15147 | Cluster kinds are explained simply by sharing some properties, not by an 'essence' [Chakravartty] |
15144 | Explanation of causal phenomena concerns essential kinds - but also lack of them [Chakravartty] |
7825 | The politics of Leibniz was the reunification of Christianity [Stewart,M] |
15146 | Some kinds, such as electrons, have essences, but 'cluster kinds' do not [Chakravartty] |
15151 | Many causal laws do not refer to kinds, but only to properties [Chakravartty] |