25 ideas
20955 | Art can make reason more all-inclusive, by articulating what seemed inexpressible [Bowie] |
8964 | Entities can be multiplied either by excessive categories, or excessive entities within a category [Hoffman/Rosenkrantz] |
18776 | Contextual definitions eliminate descriptions from contexts [Linsky,B] |
21704 | 'Impredictative' definitions fix a class in terms of the greater class to which it belongs [Linsky,B] |
21705 | Reducibility says any impredicative function has an appropriate predicative replacement [Linsky,B] |
18774 | Definite descriptions, unlike proper names, have a logical structure [Linsky,B] |
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] |
8962 | 'There are shapes which are never exemplified' is the toughest example for nominalists [Hoffman/Rosenkrantz] |
8961 | Nominalists are motivated by Ockham's Razor and a distrust of unobservables [Hoffman/Rosenkrantz] |
8963 | Four theories of possible worlds: conceptualist, combinatorial, abstract, or concrete [Hoffman/Rosenkrantz] |
22049 | Transcendental idealism aims to explain objectivity through subjectivity [Bowie] |
20950 | German Idealism says our thinking and nature have the same rational structure [Bowie] |
22055 | The Idealists saw the same unexplained spontaneity in Kant's judgements and choices [Bowie] |
22054 | German Idealism tried to stop oppositions of appearances/things and receptivity/spontaneity [Bowie] |
22056 | Crucial to Idealism is the idea of continuity between receptivity and spontaneous judgement [Bowie] |
20942 | Nazis think race predetermines the self [Bowie] |
20946 | Rhetoric is built into language, so it cannot be stripped from philosophy [Bowie] |