23 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] |
20189 | Belief is a feeling, independent of the will, which arises from uncontrolled and unknown causes [Hume] |
21309 | A proposition cannot be intelligible or consistent, if the perceptions are not so [Hume] |
15755 | Hume needs a notion which includes degrees of resemblance [Shoemaker on Hume] |
5323 | Experiences are logically separate, but factually linked by simultaneity or a feeling of continuousness [Ayer on Hume] |
21311 | Are self and substance the same? Then how can self remain if substance changes? [Hume] |
21312 | Perceptions are distinct, so no connection between them can ever be discovered [Hume] |
21308 | We have no impression of the self, and we therefore have no idea of it [Hume] |
21310 | Does an oyster with one perception have a self? Would lots of perceptions change that? [Hume] |
23115 | We have no natural love of mankind, other than through various relationships [Hume] |
20767 | Culture is now dominated by boredom, so universal it is unnoticed [Heidegger, by Aho] |
16946 | Causation is just invariance, as long as it is described in general terms [Quine on Hume] |
15250 | If impressions, memories and ideas only differ in vivacity, nothing says it is memory, or repetition [Whitehead on Hume] |