31 ideas
21704 | 'Impredictative' definitions fix a class in terms of the greater class to which it belongs [Linsky,B] |
10653 | Maybe set theory need not be well-founded [Varzi] |
21705 | Reducibility says any impredicative function has an appropriate predicative replacement [Linsky,B] |
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] |
21727 | Definite descriptions theory eliminates the King of France, but not the Queen of England [Linsky,B] |
21719 | Extensionalism means what is true of a function is true of coextensive functions [Linsky,B] |
21723 | The task of logicism was to define by logic the concepts 'number', 'successor' and '0' [Linsky,B] |
21721 | Higher types are needed to distinguished intensional phenomena which are coextensive [Linsky,B] |
21703 | Types are 'ramified' when there are further differences between the type of quantifier and its range [Linsky,B] |
21714 | The ramified theory subdivides each type, according to the range of the variables [Linsky,B] |
21713 | Did logicism fail, when Russell added three nonlogical axioms, to save mathematics? [Linsky,B] |
21715 | For those who abandon logicism, standard set theory is a rival option [Linsky,B] |
21729 | Construct properties as sets of objects, or say an object must be in the set to have the property [Linsky,B] |
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] |
10647 | Parts may or may not be attached, demarcated, arbitrary, material, extended, spatial or temporal [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] |
10658 | Sameness of parts won't guarantee identity if their arrangement matters [Varzi] |
10652 | Conceivability may indicate possibility, but literary fantasy does not [Varzi] |
7647 | The imagination alone perceives all objects; it is the soul, playing all its roles [La Mettrie] |
7645 | When falling asleep, the soul becomes paralysed and weak, just like the body [La Mettrie] |
23225 | The soul's faculties depend on the brain, and are simply the brain's organisation [La Mettrie] |
7652 | Man is a machine, and there exists only one substance, diversely modified [La Mettrie] |
7650 | All thought is feeling, and rationality is the sensitive soul contemplating reasoning [La Mettrie] |
7651 | With wonderful new machines being made, a speaking machine no longer seems impossible [La Mettrie] |
7648 | The sun and rain weren't made for us; they sometimes burn us, or spoil our seeds [La Mettrie] |
7646 | There is no abrupt transition from man to animal; only language has opened a gap [La Mettrie] |
7649 | There is no clear idea of the soul, which should only refer to our thinking part [La Mettrie] |