27 ideas
21704 | 'Impredictative' definitions fix a class in terms of the greater class to which it belongs [Linsky,B] |
9331 | How do we determine which of the sentences containing a term comprise its definition? [Horwich] |
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] |
18890 | Putnam smuggles essentialism about liquids into his proof that water must be H2O [Salmon,N on Putnam] |
9333 | A priori belief is not necessarily a priori justification, or a priori knowledge [Horwich] |
9342 | Understanding needs a priori commitment [Horwich] |
9332 | Meaning is generated by a priori commitment to truth, not the other way around [Horwich] |
9341 | Meanings and concepts cannot give a priori knowledge, because they may be unacceptable [Horwich] |
9334 | If we stipulate the meaning of 'number' to make Hume's Principle true, we first need Hume's Principle [Horwich] |
9339 | A priori knowledge (e.g. classical logic) may derive from the innate structure of our minds [Horwich] |
7705 | The Twin Earth theory suggests that intentionality is independent of qualia [Jacquette on Putnam] |
4099 | If Twins talking about 'water' and 'XYZ' have different thoughts but identical heads, then thoughts aren't in the head [Putnam, by Crane] |
12026 | We say ice and steam are different forms of water, but not that they are different forms of H2O [Forbes,G on Putnam] |
3208 | Does 'water' mean a particular substance that was 'dubbed'? [Putnam, by Rey] |
3893 | Often reference determines sense, and not (as Frege thought) vice versa [Putnam, by Scruton] |
11191 | The hidden structure of a natural kind determines membership in all possible worlds [Putnam] |
11192 | If causes are the essence of diseases, then disease is an example of a relational essence [Putnam, by Williams,NE] |
11190 | Archimedes meant by 'gold' the hidden structure or essence of the stuff [Putnam] |