42 ideas
| 3358 | Metaphysics focuses on Platonism, essentialism, materialism and anti-realism [Benardete,JA] |
| 3312 | There are the 'is' of predication (a function), the 'is' of identity (equals), and the 'is' of existence (quantifier) [Benardete,JA] |
| 3352 | Analytical philosophy analyses separate concepts successfully, but lacks a synoptic vision of the results [Benardete,JA] |
| 3329 | Presumably the statements of science are true, but should they be taken literally or not? [Benardete,JA] |
| 10476 | The idea that groups of concepts could be 'implicitly defined' was abandoned [Hodges,W] |
| 3326 | Set theory attempts to reduce the 'is' of predication to mathematics [Benardete,JA] |
| 3327 | The set of Greeks is included in the set of men, but isn't a member of it [Benardete,JA] |
| 3335 | The standard Z-F Intuition version of set theory has about ten agreed axioms [Benardete,JA, by PG] |
| 13331 | Part and whole contribute asymmetrically to one another, so must differ [Fine,K] |
| 10478 | Since first-order languages are complete, |= and |- have the same meaning [Hodges,W] |
| 10477 | |= in model-theory means 'logical consequence' - it holds in all models [Hodges,W] |
| 10474 | |= should be read as 'is a model for' or 'satisfies' [Hodges,W] |
| 10473 | Model theory studies formal or natural language-interpretation using set-theory [Hodges,W] |
| 10475 | A 'structure' is an interpretation specifying objects and classes of quantification [Hodges,W] |
| 10481 | Models in model theory are structures, not sets of descriptions [Hodges,W] |
| 3332 | Greeks saw the science of proportion as the link between geometry and arithmetic [Benardete,JA] |
| 3330 | Negatives, rationals, irrationals and imaginaries are all postulated to solve baffling equations [Benardete,JA] |
| 3337 | Natural numbers are seen in terms of either their ordinality (Peano), or cardinality (set theory) [Benardete,JA] |
| 10480 | First-order logic can't discriminate between one infinite cardinal and another [Hodges,W] |
| 3310 | If slowness is a property of walking rather than the walker, we must allow that events exist [Benardete,JA] |
| 12793 | Early pre-Socratics had a mass-noun ontology, which was replaced by count-nouns [Benardete,JA] |
| 3353 | If there is no causal interaction with transcendent Platonic objects, how can you learn about them? [Benardete,JA] |
| 13332 | Hierarchical set membership models objects better than the subset or aggregate relations do [Fine,K] |
| 13333 | The matter is a relatively unstructured version of the object, like a set without membership structure [Fine,K] |
| 3304 | Why should packed-together particles be a thing (Mt Everest), but not scattered ones? [Benardete,JA] |
| 13326 | A 'temporary' part is a part at one time, but may not be at another, like a carburetor [Fine,K] |
| 13327 | A 'timeless' part just is a part, not a part at some time; some atoms are timeless parts of a water molecule [Fine,K] |
| 13329 | An 'aggregative' sum is spread in time, and exists whenever a component exists [Fine,K] |
| 13330 | An 'compound' sum is not spread in time, and only exists when all the components exists [Fine,K] |
| 13328 | Two sorts of whole have 'rigid embodiment' (timeless parts) or 'variable embodiment' (temporary parts) [Fine,K] |
| 3350 | Could a horse lose the essential property of being a horse, and yet continue to exist? [Benardete,JA] |
| 3309 | If a soldier continues to exist after serving as a soldier, does the wind cease to exist after it ceases to blow? [Benardete,JA] |
| 3351 | One can step into the same river twice, but not into the same water [Benardete,JA] |
| 3323 | Maybe self-identity isn't existence, if Pegasus can be self-identical but non-existent [Benardete,JA] |
| 3314 | Absolutists might accept that to exist is relative, but relative to what? How about relative to itself? [Benardete,JA] |
| 3306 | The clearest a priori knowledge is proving non-existence through contradiction [Benardete,JA] |
| 3349 | If we know truths about prime numbers, we seem to have synthetic a priori knowledge of Platonic objects [Benardete,JA] |
| 3341 | Logical positivism amounts to no more than 'there is no synthetic a priori' [Benardete,JA] |
| 3344 | Assertions about existence beyond experience can only be a priori synthetic [Benardete,JA] |
| 3345 | Appeals to intuition seem to imply synthetic a priori knowledge [Benardete,JA] |
| 3334 | Rationalists see points as fundamental, but empiricists prefer regions [Benardete,JA] |
| 3308 | In the ontological argument a full understanding of the concept of God implies a contradiction in 'There is no God' [Benardete,JA] |