28 ideas
21704 | 'Impredictative' definitions fix a class in terms of the greater class to which it belongs [Linsky,B] |
15063 | Some sentences depend for their truth on worldly circumstances, and others do not [Fine,K] |
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] |
15078 | There are levels of existence, as well as reality; objects exist at the lowest level in which they can function [Fine,K] |
15072 | Bottom level facts are subject to time and world, middle to world but not time, and top to neither [Fine,K] |
15071 | Tensed and tenseless sentences state two sorts of fact, which belong to two different 'realms' of reality [Fine,K] |
21729 | Construct properties as sets of objects, or say an object must be in the set to have the property [Linsky,B] |
15075 | Modal features are not part of entities, because they are accounted for by the entity [Fine,K] |
15065 | What it is is fixed prior to existence or the object's worldly features [Fine,K] |
15076 | Essential features of an object have no relation to how things actually are [Fine,K] |
15073 | Self-identity should have two components, its existence, and its neutral identity with itself [Fine,K] |
15074 | We would understand identity between objects, even if their existence was impossible [Fine,K] |
15064 | Proper necessary truths hold whatever the circumstances; transcendent truths regardless of circumstances [Fine,K] |
15070 | It is the nature of Socrates to be a man, so necessarily he is a man [Fine,K] |
15069 | Possible worlds may be more limited, to how things might actually turn out [Fine,K] |
15068 | The actual world is a totality of facts, so we also think of possible worlds as totalities [Fine,K] |
15067 | A-theorists tend to reject the tensed/tenseless distinction [Fine,K] |
15077 | It is said that in the A-theory, all existents and objects must be tensed, as well as the sentences [Fine,K] |
15066 | B-theorists say tensed sentences have an unfilled argument-place for a time [Fine,K] |
20713 | God must be fit for worship, but worship abandons morally autonomy, but there is no God [Rachels, by Davies,B] |