20 ideas
23445 | Naïve set theory says any formula defines a set, and coextensive sets are identical [Linnebo] |
19043 | Bivalence applies not just to sentences, but that general terms are true or false of each object [Quine] |
23447 | In classical semantics singular terms refer, and quantifiers range over domains [Linnebo] |
23443 | The axioms of group theory are not assertions, but a definition of a structure [Linnebo] |
23444 | To investigate axiomatic theories, mathematics needs its own foundational axioms [Linnebo] |
23446 | You can't prove consistency using a weaker theory, but you can use a consistent theory [Linnebo] |
23448 | Mathematics is the study of all possible patterns, and is thus bound to describe the world [Linnebo] |
23441 | Logical truth is true in all models, so mathematical objects can't be purely logical [Linnebo] |
23442 | Game Formalism has no semantics, and Term Formalism reduces the semantics [Linnebo] |
19042 | Terms learned by ostension tend to be vague, because that must be quick and unrefined [Quine] |
23865 | Morality would improve if people could pursue private interests [Weil] |
23866 | In oppressive societies the scope of actual control is extended by a religion of power [Weil] |
23871 | No central authority can initiate decentralisation [Weil] |
23867 | After a bloody revolution the group which already had the power comes to the fore [Weil] |
23870 | Decentralisation is only possible by co-operation between strong and weak - which is absurd [Weil] |
23863 | Only individual people of good will can achieve social progress [Weil] |
23869 | In the least evil societies people can think, control community life, and be autonomous [Weil] |
23861 | Marx showed that capitalist oppression, because of competition, is unstoppable [Weil] |
23868 | The pleasure of completing tasks motivates just as well as the whip of slavery [Weil] |
23864 | Inequality could easily be mitigated, if it were not for the struggle for power [Weil] |