45 ideas
| 5278 | Philosophy is no more than abstractions concerning observations of human historical development [Marx/Engels] |
| 10147 | The Axiom of Choice is consistent with the other axioms of set theory [Feferman/Feferman] |
| 10148 | Axiom of Choice: a set exists which chooses just one element each of any set of sets [Feferman/Feferman] |
| 10149 | Platonist will accept the Axiom of Choice, but others want criteria of selection or definition [Feferman/Feferman] |
| 10150 | The Trichotomy Principle is equivalent to the Axiom of Choice [Feferman/Feferman] |
| 10146 | Cantor's theories needed the Axiom of Choice, but it has led to great controversy [Feferman/Feferman] |
| 10158 | A structure is a 'model' when the axioms are true. So which of the structures are models? [Feferman/Feferman] |
| 10162 | Tarski and Vaught established the equivalence relations between first-order structures [Feferman/Feferman] |
| 10160 | Löwenheim-Skolem says if the sentences are countable, so is the model [Feferman/Feferman] |
| 10159 | Löwenheim-Skolem Theorem, and Gödel's completeness of first-order logic, the earliest model theory [Feferman/Feferman] |
| 10161 | If a sentence holds in every model of a theory, then it is logically derivable from the theory [Feferman/Feferman] |
| 10156 | 'Recursion theory' concerns what can be solved by computing machines [Feferman/Feferman] |
| 10155 | Both Principia Mathematica and Peano Arithmetic are undecidable [Feferman/Feferman] |
| 5287 | Philosophical problems are resolved into empirical facts [Marx/Engels] |
| 5303 | For the proletariate, law, morality and religion are just expressions of bourgeois interests [Marx/Engels] |
| 23872 | 'Society determines consciousness' is contradictory; society only exists in minds [Weil on Marx/Engels] |
| 5277 | Life is not determined by consciousness, but consciousness by life [Marx/Engels] |
| 5280 | Language co-exists with consciousness, and makes it social [Marx/Engels] |
| 5276 | The nature of an individual coincides with what they produce and how they produce it [Marx/Engels] |
| 5281 | Consciousness is a social product [Marx/Engels] |
| 21998 | Bourgeois interests create our morality, law and religion [Marx/Engels] |
| 5289 | When aristocracy or the bourgeoisie dominate, certain values dominate with them [Marx/Engels] |
| 5274 | Young Hegelians proposed changing our present consciousness for liberating critical consciousness [Marx/Engels] |
| 21992 | Producing their own subsistence distinguishes men from animals [Marx/Engels] |
| 5275 | Men distinguish themselves from animals when they begin to produce their means of subsistence [Marx/Engels] |
| 5292 | Individuals are mutually hostile unless they group together in competition with other groups [Marx/Engels] |
| 5293 | Only in community are people able to cultivate their gifts, and therefore be free [Marx/Engels] |
| 5273 | Young Hegelians think consciousness is chains for men, where old Hegelians think it the bond of society [Marx/Engels] |
| 5283 | In communist society we are not trapped in one activity, but can act freely [Marx/Engels] |
| 5282 | If the common interest imposes on the individual, his actions become alienated and enslaving [Marx/Engels] |
| 5288 | The class controlling material production also controls mental production [Marx/Engels] |
| 5290 | The revolutionary class is opposed to 'class', and represents all of society [Marx/Engels] |
| 5294 | To assert themselves as individuals, the proletarians must overthrow the State [Marx/Engels] |
| 5302 | Modern governments are just bourgeois management committees [Marx/Engels] |
| 5304 | Communism aims to abolish not all property, but bourgeois property [Marx/Engels] |
| 5307 | Many of the bourgeois rights grievances are a form of self-defence [Marx/Engels] |
| 5285 | Slavery cannot be abolished without the steam-engine [Marx/Engels] |
| 5284 | Communism abolishes private property and dissolves the powerful world market [Marx/Engels] |
| 5306 | The free development of each should be the condition for the free development of all [Marx/Engels] |
| 5291 | The law says private property is the result of the general will [Marx/Engels] |
| 5305 | Communists want to rescue education from the ruling class [Marx/Engels] |
| 5279 | Human history must always be studied in relation to industry and exchange [Marx/Engels] |
| 5286 | Most historians are trapped in the illusions of their own epoch [Marx/Engels] |
| 5301 | The history of all existing society is the history of class struggles [Marx/Engels] |
| 1513 | The Egyptians were the first to say the soul is immortal and reincarnated [Herodotus] |