38 ideas
| 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] |
| 10455 | Free logic at least allows empty names, but struggles to express non-existence [Bach] |
| 18189 | ZFC could contain a contradiction, and it can never prove its own consistency [MacLane] |
| 21705 | Reducibility says any impredicative function has an appropriate predicative replacement [Linsky,B] |
| 10454 | In first-order we can't just assert existence, and it is very hard to deny something's existence [Bach] |
| 10453 | In logic constants play the role of proper names [Bach] |
| 10452 | Proper names can be non-referential - even predicate as well as attributive uses [Bach] |
| 10456 | Millian names struggle with existence, empty names, identities and attitude ascription [Bach] |
| 10440 | An object can be described without being referred to [Bach] |
| 10444 | Definite descriptions can be used to refer, but are not semantically referential [Bach] |
| 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] |
| 12900 | How could 'S knows he has hands' not have a fixed content? [Bach] |
| 12901 | If contextualism is right, knowledge sentences are baffling out of their context [Bach] |
| 12902 | Sceptics aren't changing the meaning of 'know', but claiming knowing is tougher than we think [Bach] |
| 10446 | Fictional reference is different inside and outside the fiction [Bach] |
| 10447 | We can refer to fictional entities if they are abstract objects [Bach] |
| 10443 | You 'allude to', not 'refer to', an individual if you keep their identity vague [Bach] |
| 10439 | What refers: indefinite or definite or demonstrative descriptions, names, indexicals, demonstratives? [Bach] |
| 10441 | If we can refer to things which change, we can't be obliged to single out their properties [Bach] |
| 10442 | We can think of an individual without have a uniquely characterizing description [Bach] |
| 10445 | It can't be real reference if it could refer to some other thing that satisfies the description [Bach] |
| 10457 | Since most expressions can be used non-referentially, none of them are inherently referential [Bach] |
| 10463 | Just alluding to or describing an object is not the same as referring to it [Bach] |
| 10459 | Context does not create reference; it is just something speakers can exploit [Bach] |
| 10460 | 'That duck' may not refer to the most obvious one in the group [Bach] |
| 10461 | What a pronoun like 'he' refers back to is usually a matter of speaker's intentions [Bach] |
| 10462 | Information comes from knowing who is speaking, not just from interpretation of the utterance [Bach] |
| 10458 | People slide from contextual variability all the way to contextual determination [Bach] |