87 ideas
| 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] |
| 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] |
| 14650 | Maybe proper names involve essentialism [Plantinga] |
| 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] |
| 14648 | Could I name all of the real numbers in one fell swoop? Call them all 'Charley'? [Plantinga] |
| 14664 | Necessary beings (numbers, properties, sets, propositions, states of affairs, God) exist in all possible worlds [Plantinga] |
| 16435 | Plantinga proposes necessary existent essences as surrogates for the nonexistent things [Plantinga, by Stalnaker] |
| 14655 | The 'identity criteria' of a name are a group of essential and established facts [Plantinga] |
| 14647 | Surely self-identity is essential to Socrates? [Plantinga] |
| 14658 | 'Being Socrates' and 'being identical with Socrates' characterise Socrates, so they are among his properties [Plantinga] |
| 13132 | A snowball's haecceity is the property of being identical with itself [Plantinga, by Westerhoff] |
| 14666 | Socrates is a contingent being, but his essence is not; without Socrates, his essence is unexemplified [Plantinga] |
| 14656 | Does Socrates have essential properties, plus a unique essence (or 'haecceity') which entails them? [Plantinga] |
| 14646 | An object has a property essentially if it couldn't conceivably have lacked it [Plantinga] |
| 14654 | Properties are 'trivially essential' if they are instantiated by every object in every possible world [Plantinga] |
| 14653 | X is essentially P if it is P in every world, or in every X-world, or in the actual world (and not ¬P elsewhere) [Plantinga] |
| 14660 | If a property is ever essential, can it only ever be an essential property? [Plantinga] |
| 14661 | Essences are instantiated, and are what entails a thing's properties and lack of properties [Plantinga] |
| 14657 | Does 'being identical with Socrates' name a property? I can think of no objections to it [Plantinga] |
| 14642 | Expressing modality about a statement is 'de dicto'; expressing it of property-possession is 'de re' [Plantinga] |
| 14643 | 'De dicto' true and 'de re' false is possible, and so is 'de dicto' false and 'de re' true [Plantinga] |
| 14649 | Can we find an appropriate 'de dicto' paraphrase for any 'de re' proposition? [Plantinga] |
| 14652 | 'De re' modality is as clear as 'de dicto' modality, because they are logically equivalent [Plantinga] |
| 14659 | We can imagine being beetles or alligators, so it is possible we might have such bodies [Plantinga] |
| 11984 | Asserting a possible property is to say it would have had the property if that world had been actual [Plantinga] |
| 14662 | Possible worlds clarify possibility, propositions, properties, sets, counterfacts, time, determinism etc. [Plantinga] |
| 18383 | Plantinga says there is just this world, with possibilities expressed in propositions [Plantinga, by Armstrong] |
| 16472 | Plantinga's actualism is nominal, because he fills actuality with possibilia [Stalnaker on Plantinga] |
| 11980 | A possible world is a maximal possible state of affairs [Plantinga] |
| 14651 | What Socrates could have been, and could have become, are different? [Plantinga] |
| 11982 | If possible Socrates differs from actual Socrates, the Indiscernibility of Identicals says they are different [Plantinga] |
| 11983 | It doesn't matter that we can't identify the possible Socrates; we can't identify adults from baby photos [Plantinga] |
| 11985 | If individuals can only exist in one world, then they can never lack any of their properties [Plantinga] |
| 11891 | Possibilities for an individual can only refer to that individual, in some possible world [Plantinga, by Mackie,P] |
| 11986 | The counterparts of Socrates have self-identity, but only the actual Socrates has identity-with-Socrates [Plantinga] |
| 11987 | Counterpart Theory absurdly says I would be someone else if things went differently [Plantinga] |
| 6356 | Maybe a reliable justification must come from a process working with its 'proper function' [Plantinga, by Pollock/Cruz] |
| 22598 | The authentic self exists at the level of class, rather than the individual [Marx, by Dunt] |
| 9086 | The idea of abstract objects is not ontological; it comes from the epistemological idea of abstraction [Plantinga] |
| 9087 | Theists may see abstract objects as really divine thoughts [Plantinga] |
| 16469 | Plantinga has domains of sets of essences, variables denoting essences, and predicates as functions [Plantinga, by Stalnaker] |
| 16470 | Plantinga's essences have their own properties - so will have essences, giving a hierarchy [Stalnaker on Plantinga] |
| 14663 | Are propositions and states of affairs two separate things, or only one? I incline to say one [Plantinga] |
| 9085 | If propositions are concrete they don't have to exist, and so they can't be necessary truths [Plantinga] |
| 9084 | Propositions can't just be in brains, because 'there are no human beings' might be true [Plantinga] |
| 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] |
| 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] |
| 20704 | A possible world contains a being of maximal greatness - which is existence in all worlds [Plantinga, by Davies,B] |
| 7128 | Religion is the opium of the people, and real happiness requires its abolition [Marx] |
| 5299 | Religious feeling is social in origin [Marx] |
| 1474 | Moral evil may be acceptable to God because it allows free will (even though we don't see why this is necessary) [Plantinga, by PG] |
| 1475 | It is logically possible that natural evil like earthquakes is caused by Satan [Plantinga, by PG] |