51 ideas
7454 | Gassendi is the first great empiricist philosopher [Hacking] |
5300 | Philosophers have interpreted the world, but the point is to change it [Marx] |
5297 | Whether human thinking can be 'true' must be decided in practice, not theory [Marx] |
13838 | A decent modern definition should always imply a semantics [Hacking] |
13833 | 'Thinning' ('dilution') is the key difference between deduction (which allows it) and induction [Hacking] |
13834 | Gentzen's Cut Rule (or transitivity of deduction) is 'If A |- B and B |- C, then A |- C' [Hacking] |
13835 | Only Cut reduces complexity, so logic is constructive without it, and it can be dispensed with [Hacking] |
18189 | ZFC could contain a contradiction, and it can never prove its own consistency [MacLane] |
13845 | The various logics are abstractions made from terms like 'if...then' in English [Hacking] |
13844 | A limitation of first-order logic is that it cannot handle branching quantifiers [Hacking] |
13840 | First-order logic is the strongest complete compact theory with Löwenheim-Skolem [Hacking] |
13842 | Second-order completeness seems to need intensional entities and possible worlds [Hacking] |
13837 | With a pure notion of truth and consequence, the meanings of connectives are fixed syntactically [Hacking] |
13839 | Perhaps variables could be dispensed with, by arrows joining places in the scope of quantifiers [Hacking] |
13843 | If it is a logic, the Löwenheim-Skolem theorem holds for it [Hacking] |
7447 | Probability was fully explained between 1654 and 1812 [Hacking] |
7448 | Probability is statistical (behaviour of chance devices) or epistemological (belief based on evidence) [Hacking] |
7449 | Epistemological probability based either on logical implications or coherent judgments [Hacking] |
7450 | In the medieval view, only deduction counted as true evidence [Hacking] |
7451 | Formerly evidence came from people; the new idea was that things provided evidence [Hacking] |
7452 | An experiment is a test, or an adventure, or a diagnosis, or a dissection [Hacking, by PG] |
7459 | Follow maths for necessary truths, and jurisprudence for contingent truths [Hacking] |
22598 | The authentic self exists at the level of class, rather than the individual [Marx, by Dunt] |
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] |
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] |
21999 | False consciousness results from concealment by the superstructure [Marx, by Singer] |
21989 | Man is dominated by money, which is the essence of his alienation [Marx] |
23862 | By saying the material dialectic of history aspires to the best, Marx agreed with capitalism [Weil on Marx] |
23875 | Marx says force is everything, and that the weak will become strong, while remaining the weak [Weil on Marx] |
22970 | Freedom is making the state subordinate to its society [Marx] |
18653 | Marx rejected equal rights because they never actually treat people as equals [Marx, by Kymlicka] |
21995 | Must production determine superstructure, or could it be the other way round? [Singer on Marx] |
20577 | Even decently paid workers still have their produce bought with money stolen from them [Marx] |
21996 | Freedom only comes when labour is no longer necessary [Marx] |
22969 | People who only have their labour power are the slaves of those permitting them to work [Marx] |
22000 | From each according to his ability, to each according to his need [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] |
7128 | Religion is the opium of the people, and real happiness requires its abolition [Marx] |
5299 | Religious feeling is social in origin [Marx] |