56 ideas
| 5278 | Philosophy is no more than abstractions concerning observations of human historical development [Marx/Engels] |
| 13734 | Modern Quinean metaphysics is about what exists, but Aristotelian metaphysics asks about grounding [Schaffer,J] |
| 13751 | If you tore the metaphysics out of philosophy, the whole enterprise would collapse [Schaffer,J] |
| 22270 | Frege changed philosophy by extending logic's ability to check the grounds of thinking [Potter on Frege] |
| 8939 | We should not describe human laws of thought, but how to correctly track truth [Frege, by Fisher] |
| 13743 | We should not multiply basic entities, but we can have as many derivative entities as we like [Schaffer,J] |
| 4971 | I don't use 'subject' and 'predicate' in my way of representing a judgement [Frege] |
| 17745 | For Frege, 'All A's are B's' means that the concept A implies the concept B [Frege, by Walicki] |
| 7728 | Frege has a judgement stroke (vertical, asserting or judging) and a content stroke (horizontal, expressing) [Frege, by Weiner] |
| 16881 | The laws of logic are boundless, so we want the few whose power contains the others [Frege] |
| 7622 | In 1879 Frege developed second order logic [Frege, by Putnam] |
| 7729 | Frege replaced Aristotle's subject/predicate form with function/argument form [Frege, by Weiner] |
| 9950 | A quantifier is a second-level predicate (which explains how it contributes to truth-conditions) [Frege, by George/Velleman] |
| 9991 | For Frege the variable ranges over all objects [Frege, by Tait] |
| 10536 | Frege's domain for variables is all objects, but modern interpretations first fix the domain [Dummett on Frege] |
| 7742 | Frege reduced most quantifiers to 'everything' combined with 'not' [Frege, by McCullogh] |
| 7730 | Frege introduced quantifiers for generality [Frege, by Weiner] |
| 13824 | Proof theory began with Frege's definition of derivability [Frege, by Prawitz] |
| 13609 | Frege produced axioms for logic, though that does not now seem the natural basis for logic [Frege, by Kaplan] |
| 17855 | It may be possible to define induction in terms of the ancestral relation [Frege, by Wright,C] |
| 13741 | If 'there are red roses' implies 'there are roses', then 'there are prime numbers' implies 'there are numbers' [Schaffer,J] |
| 10607 | Frege's logic has a hierarchy of object, property, property-of-property etc. [Frege, by Smith,P] |
| 11008 | Existence is not a first-order property, but the instantiation of a property [Frege, by Read] |
| 13748 | Grounding is unanalysable and primitive, and is the basic structuring concept in metaphysics [Schaffer,J] |
| 13747 | Supervenience is just modal correlation [Schaffer,J] |
| 13744 | The cosmos is the only fundamental entity, from which all else exists by abstraction [Schaffer,J] |
| 5287 | Philosophical problems are resolved into empirical facts [Marx/Engels] |
| 13739 | Maybe categories are just the different ways that things depend on basic substances [Schaffer,J] |
| 13742 | There exist heaps with no integral unity, so we should accept arbitrary composites in the same way [Schaffer,J] |
| 13752 | The notion of 'grounding' can explain integrated wholes in a way that mere aggregates can't [Schaffer,J] |
| 13749 | Belief in impossible worlds may require dialetheism [Schaffer,J] |
| 13740 | 'Moorean certainties' are more credible than any sceptical argument [Schaffer,J] |
| 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] |
| 22280 | Frege's account was top-down and decompositional, not bottom-up and compositional [Frege, by Potter] |
| 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] |
| 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] |
| 21992 | Producing their own subsistence distinguishes men from animals [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] |
| 7741 | The predicate 'exists' is actually a natural language expression for a quantifier [Frege, by Weiner] |