64 ideas
| 9247 | Life will be lived better if it has no meaning [Camus] |
| 6707 | Suicide - whether life is worth living - is the one serious philosophical problem [Camus] |
| 5300 | Philosophers have interpreted the world, but the point is to change it [Marx] |
| 9245 | To an absurd mind reason is useless, and there is nothing beyond reason [Camus] |
| 5297 | Whether human thinking can be 'true' must be decided in practice, not theory [Marx] |
| 17749 | Post proved the consistency of propositional logic in 1921 [Walicki] |
| 17765 | Propositional language can only relate statements as the same or as different [Walicki] |
| 17764 | Boolean connectives are interpreted as functions on the set {1,0} [Walicki] |
| 17752 | The empty set is useful for defining sets by properties, when the members are not yet known [Walicki] |
| 17753 | The empty set avoids having to take special precautions in case members vanish [Walicki] |
| 17759 | Ordinals play the central role in set theory, providing the model of well-ordering [Walicki] |
| 17741 | To determine the patterns in logic, one must identify its 'building blocks' [Walicki] |
| 9244 | Logic is easy, but what about logic to the point of death? [Camus] |
| 17747 | A 'model' of a theory specifies interpreting a language in a domain to make all theorems true [Walicki] |
| 17748 | The L-S Theorem says no theory (even of reals) says more than a natural number theory [Walicki] |
| 17761 | A compact axiomatisation makes it possible to understand a field as a whole [Walicki] |
| 17763 | Axiomatic systems are purely syntactic, and do not presuppose any interpretation [Walicki] |
| 17758 | Ordinals are transitive sets of transitive sets; or transitive sets totally ordered by inclusion [Walicki] |
| 17755 | Ordinals are the empty set, union with the singleton, and any arbitrary union of ordinals [Walicki] |
| 17756 | The union of finite ordinals is the first 'limit ordinal'; 2ω is the second... [Walicki] |
| 17760 | Two infinite ordinals can represent a single infinite cardinal [Walicki] |
| 17757 | Members of ordinals are ordinals, and also subsets of ordinals [Walicki] |
| 17762 | In non-Euclidean geometry, all Euclidean theorems are valid that avoid the fifth postulate [Walicki] |
| 17754 | Inductive proof depends on the choice of the ordering [Walicki] |
| 17742 | Scotus based modality on semantic consistency, instead of on what the future could allow [Walicki] |
| 22598 | The authentic self exists at the level of class, rather than the individual [Marx, by Dunt] |
| 9249 | Whether we are free is uninteresting; we can only experience our freedom [Camus] |
| 9253 | The human heart has a tiresome tendency to label as fate only what crushes it [Camus] |
| 9250 | Discussing ethics is pointless; moral people behave badly, and integrity doesn't need rules [Camus] |
| 5298 | The human essence is not found in individuals but in social relations [Marx] |
| 23874 | Armies and businesses create moralities in which their activity can do no wrong [Marx, by Weil] |
| 9252 | The more one loves the stronger the absurd grows [Camus] |
| 9251 | One can be virtuous through a whim [Camus] |
| 9243 | If we believe existence is absurd, this should dictate our conduct [Camus] |
| 6708 | Happiness and the absurd go together, each leading to the other [Camus] |
| 9242 | Essential problems either risk death, or intensify the passion of life [Camus] |
| 9246 | Danger and integrity are not in the leap of faith, but in remaining poised just before the leap [Camus] |
| 22001 | The real will of the cooperative will replace the 'will of the people' [Marx] |
| 21991 | The middle class gain freedom through property, but workers can only free all of humanity [Marx, by Singer] |
| 21990 | Theory is as much a part of a revolution as material force is [Marx] |
| 22971 | In moving from capitalism to communism a revolutionary dictatorship of the proletariat is needed [Marx] |
| 18662 | Liberal freedom is the right to be separate, and ignores the union of man with man [Marx] |
| 23372 | Liberals want the right to be separate, rather than for people to be united [Marx] |
| 20576 | Early Marx anticipates communitarian objections to liberalism [Marx, by Oksala] |
| 21989 | Man is dominated by money, which is the essence of his alienation [Marx] |
| 22000 | From each according to his ability, to each according to his need [Marx] |
| 23862 | By saying the material dialectic of history aspires to the best, Marx agreed with capitalism [Weil on Marx] |
| 21999 | False consciousness results from concealment by the superstructure [Marx, by Singer] |
| 23875 | Marx says force is everything, and that the weak will become strong, while remaining the weak [Weil on Marx] |
| 21995 | Must production determine superstructure, or could it be the other way round? [Singer on Marx] |
| 18653 | Marx rejected equal rights because they never actually treat people as equals [Marx, by Kymlicka] |
| 20577 | Even decently paid workers still have their produce bought with money stolen from them [Marx] |
| 22969 | People who only have their labour power are the slaves of those permitting them to work [Marx] |
| 21996 | Freedom only comes when labour is no longer necessary [Marx] |
| 22970 | Freedom is making the state subordinate to its society [Marx] |
| 21994 | The handmill gives feudalism, the steam mill capitalism [Marx] |
| 20958 | Capitalism changes the world, by socialising the idea of a commodity [Marx, by Bowie] |
| 23876 | The essence of capitalism is the subordination of people to things [Marx, by Weil] |
| 20960 | Marx thought capitalism was partly liberating, and could make labour and ownership more humane [Marx, by Bowie] |
| 22972 | Bourgeois 'freedom of conscience' just tolerates all sorts of religious intolerance [Marx] |
| 20519 | Marxists say liberal rights are confrontational, and liberal equality is a sham [Marx, by Wolff,J] |
| 9248 | It is essential to die unreconciled and not of one's own free will [Camus] |
| 7128 | Religion is the opium of the people, and real happiness requires its abolition [Marx] |
| 5299 | Religious feeling is social in origin [Marx] |