20 ideas
10476 | The idea that groups of concepts could be 'implicitly defined' was abandoned [Hodges,W] |
10653 | Maybe set theory need not be well-founded [Varzi] |
10648 | Mereology need not be nominalist, though it is often taken to be so [Varzi] |
10655 | Are there mereological atoms, and are all objects made of them? [Varzi] |
10659 | There is something of which everything is part, but no null-thing which is part of everything [Varzi] |
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] |
10475 | A 'structure' is an interpretation specifying objects and classes of quantification [Hodges,W] |
10473 | Model theory studies formal or natural language-interpretation using set-theory [Hodges,W] |
10481 | Models in model theory are structures, not sets of descriptions [Hodges,W] |
10480 | First-order logic can't discriminate between one infinite cardinal and another [Hodges,W] |
10661 | 'Composition is identity' says multitudes are the reality, loosely composing single things [Varzi] |
10654 | The parthood relation will help to define at least seven basic predicates [Varzi] |
10651 | If 'part' is reflexive, then identity is a limit case of parthood [Varzi] |
10649 | 'Part' stands for a reflexive, antisymmetric and transitive relation [Varzi] |
10647 | Parts may or may not be attached, demarcated, arbitrary, material, extended, spatial or temporal [Varzi] |
10658 | Sameness of parts won't guarantee identity if their arrangement matters [Varzi] |
10652 | Conceivability may indicate possibility, but literary fantasy does not [Varzi] |
467 | A virtue is a combination of intelligence, strength and luck [Ion] |