36 ideas
| 5278 | Philosophy is no more than abstractions concerning observations of human historical development [Marx/Engels] |
| 10301 | The axiom of choice is controversial, but it could be replaced [Shapiro] |
| 10588 | First-order logic is Complete, and Compact, with the Löwenheim-Skolem Theorems [Shapiro] |
| 10298 | Some say that second-order logic is mathematics, not logic [Shapiro] |
| 10299 | If the aim of logic is to codify inferences, second-order logic is useless [Shapiro] |
| 10300 | Logical consequence can be defined in terms of the logical terminology [Shapiro] |
| 10290 | Second-order variables also range over properties, sets, relations or functions [Shapiro] |
| 10590 | Up Löwenheim-Skolem: if natural numbers satisfy wffs, then an infinite domain satisfies them [Shapiro] |
| 10296 | The Löwenheim-Skolem Theorems fail for second-order languages with standard semantics [Shapiro] |
| 10297 | The Löwenheim-Skolem theorem seems to be a defect of first-order logic [Shapiro] |
| 10292 | Downward Löwenheim-Skolem: if there's an infinite model, there is a countable model [Shapiro] |
| 10294 | Second-order logic has the expressive power for mathematics, but an unworkable model theory [Shapiro] |
| 5287 | Philosophical problems are resolved into empirical facts [Marx/Engels] |
| 10591 | Logicians use 'property' and 'set' interchangeably, with little hanging on it [Shapiro] |
| 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] |
| 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] |
| 5285 | Slavery cannot be abolished without the steam-engine [Marx/Engels] |
| 5284 | Communism abolishes private property and dissolves the powerful world market [Marx/Engels] |
| 5291 | The law says private property is the result of the general will [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] |