27 ideas
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] |
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] |
14064 | If a statue is identical with the clay of which it is made, that identity is contingent [Gibbard] |
14066 | A 'piece' of clay begins when its parts stick together, separately from other clay [Gibbard] |
14067 | Clay and statue are two objects, which can be named and reasoned about [Gibbard] |
14069 | We can only investigate the identity once we have designated it as 'statue' or as 'clay' [Gibbard] |
14076 | Essentialism is the existence of a definite answer as to whether an entity fulfils a condition [Gibbard] |
14077 | Essentialism for concreta is false, since they can come apart under two concepts [Gibbard] |
14070 | A particular statue has sortal persistence conditions, so its origin defines it [Gibbard] |
14073 | Claims on contingent identity seem to violate Leibniz's Law [Gibbard] |
14065 | Two identical things must share properties - including creation and destruction times [Gibbard] |
14074 | Leibniz's Law isn't just about substitutivity, because it must involve properties and relations [Gibbard] |
14072 | Possible worlds identity needs a sortal [Gibbard] |
14078 | Only concepts, not individuals, can be the same across possible worlds [Gibbard] |
14079 | Kripke's semantics needs lots of intuitions about which properties are essential [Gibbard] |
14071 | Naming a thing in the actual world also invokes some persistence criteria [Gibbard] |
13304 | Learned men gain more in one day than others do in a lifetime [Posidonius] |
20820 | Time is an interval of motion, or the measure of speed [Posidonius, by Stobaeus] |