26 ideas
17750 | The first clear proof of the consistency of the first order predicate logic was in 1928 [Hilbert/Ackermann, by Walicki] |
12452 | Our dislike of contradiction in logic is a matter of psychology, not mathematics [Brouwer] |
15941 | For intuitionists excluded middle is an outdated historical convention [Brouwer] |
18119 | Mathematics is a mental activity which does not use language [Brouwer, by Bostock] |
18247 | Brouwer saw reals as potential, not actual, and produced by a rule, or a choice [Brouwer, by Shapiro] |
18118 | Brouwer regards the application of mathematics to the world as somehow 'wicked' [Brouwer, by Bostock] |
12451 | Scientific laws largely rest on the results of counting and measuring [Brouwer] |
12454 | Intuitionists only accept denumerable sets [Brouwer] |
12453 | Neo-intuitionism abstracts from the reuniting of moments, to intuit bare two-oneness [Brouwer] |
8728 | Intuitionist mathematics deduces by introspective construction, and rejects unknown truths [Brouwer] |
10117 | Intuitonists in mathematics worried about unjustified assertion, as well as contradiction [Brouwer, by George/Velleman] |
22858 | There is collective action, where a trend is manifest, but is not attributable to individuals [Lukes] |
22854 | Power is a capacity, which may never need to be exercised [Lukes] |
22850 | Hidden powers are the most effective [Lukes] |
22852 | The pluralist view says that power is restrained by group rivalry [Lukes] |
22855 | One-dimensionsal power is behaviour in observable conflicts of interests [Lukes] |
22856 | Political organisation brings some conflicts to the fore, and suppresses others [Lukes] |
22857 | The two-dimensional view of power recognises the importance of controlling the agenda [Lukes] |
22859 | Power can be exercised to determine a person's desires [Lukes] |
22863 | Power is the capacity of a social class to realise its interests [Lukes] |
22860 | The evidence for the exertion of power need not involve a grievance of the powerless [Lukes] |
22861 | Power is affecting a person in a way contrary to their interests [Lukes] |
21133 | Supreme power is getting people to have thoughts and desires chosen by you [Lukes] |
22851 | In the 1950s they said ideology is finished, and expertise takes over [Lukes] |
22862 | Liberals take people as they are, and take their preferences to be their interests [Lukes] |
22853 | Anyone who thinks capitalism can improve their lives is endorsing capitalism [Lukes] |