45 ideas
12104 | All ideas must be understood historically [Comte] |
12105 | Our knowledge starts in theology, passes through metaphysics, and ends in positivism [Comte] |
12112 | Metaphysics is just the oversubtle qualification of abstract names for phenomena [Comte] |
12106 | Positivism gives up absolute truth, and seeks phenomenal laws, by reason and observation [Comte] |
12111 | Positivism is the final state of human intelligence [Comte] |
12114 | Science can drown in detail, so we need broad scientists (to keep out the metaphysicians) [Comte] |
12116 | Only positivist philosophy can terminate modern social crises [Comte] |
10170 | While true-in-a-model seems relative, true-in-all-models seems not to be [Reck/Price] |
10166 | ZFC set theory has only 'pure' sets, without 'urelements' [Reck/Price] |
10175 | Three types of variable in second-order logic, for objects, functions, and predicates/sets [Reck/Price] |
10165 | 'Analysis' is the theory of the real numbers [Reck/Price] |
10174 | Mereological arithmetic needs infinite objects, and function definitions [Reck/Price] |
10164 | Peano Arithmetic can have three second-order axioms, plus '1' and 'successor' [Reck/Price] |
10172 | Set-theory gives a unified and an explicit basis for mathematics [Reck/Price] |
10167 | Structuralism emerged from abstract algebra, axioms, and set theory and its structures [Reck/Price] |
10169 | Relativist Structuralism just stipulates one successful model as its arithmetic [Reck/Price] |
10179 | There are 'particular' structures, and 'universal' structures (what the former have in common) [Reck/Price] |
10181 | Pattern Structuralism studies what isomorphic arithmetic models have in common [Reck/Price] |
10182 | There are Formalist, Relativist, Universalist and Pattern structuralism [Reck/Price] |
10168 | Formalist Structuralism says the ontology is vacuous, or formal, or inference relations [Reck/Price] |
10178 | Maybe we should talk of an infinity of 'possible' objects, to avoid arithmetic being vacuous [Reck/Price] |
10176 | Universalist Structuralism is based on generalised if-then claims, not one particular model [Reck/Price] |
10177 | Universalist Structuralism eliminates the base element, as a variable, which is then quantified out [Reck/Price] |
10171 | The existence of an infinite set is assumed by Relativist Structuralism [Reck/Price] |
10173 | A nominalist might avoid abstract objects by just appealing to mereological sums [Reck/Price] |
12108 | All real knowledge rests on observed facts [Comte] |
12109 | We must observe in order to form theories, but connected observations need prior theories [Comte] |
12107 | Positivism explains facts by connecting particular phenomena with general facts [Comte] |
12115 | Introspection is pure illusion; we can obviously observe everything except ourselves [Comte] |
18648 | Freedom to live according to our own conception of the good is the ultimate value [Nozick, by Kymlicka] |
20585 | If an experience machine gives you any experience you want, should you hook up for life? [Nozick] |
18643 | A minimal state should protect, but a state forcing us to do more is unjustified [Nozick] |
18642 | Individual rights are so strong that the state and its officials must be very limited in power [Nozick] |
18644 | States can't enforce mutual aid on citizens, or interfere for their own good [Nozick] |
22661 | My Anarchy, State and Utopia neglected our formal social ties and concerns [Nozick on Nozick] |
18641 | If people hold things legitimately, just distribution is simply the result of free exchanges [Nozick, by Kymlicka] |
20539 | Property is legitimate by initial acquisition, voluntary transfer, or rectification of injustice [Nozick, by Swift] |
18645 | Nozick assumes initial holdings include property rights, but we can challenge that [Kymlicka on Nozick] |
20521 | Can I come to own the sea, by mixing my private tomato juice with it? [Nozick] |
18646 | How did the private property get started? If violence was involved, we can redistribute it [Kymlicka on Nozick] |
18647 | If property is only initially acquired by denying the rights of others, Nozick can't get started [Kymlicka on Nozick] |
21737 | Unowned things may be permanently acquired, if it doesn't worsen the position of other people [Nozick] |
21738 | Maybe land was originally collectively owned, rather than unowned? [Cohen,GA on Nozick] |
12113 | The search for first or final causes is futile [Comte] |
12110 | We can never know origins, purposes or inner natures [Comte] |