25 ideas
15063 | Some sentences depend for their truth on worldly circumstances, and others do not [Fine,K] |
10185 | Set theory is the standard background for modern mathematics [Burgess] |
10184 | Structuralists take the name 'R' of the reals to be a variable ranging over structures, not a structure [Burgess] |
10189 | There is no one relation for the real number 2, as relations differ in different models [Burgess] |
10186 | If set theory is used to define 'structure', we can't define set theory structurally [Burgess] |
10187 | Abstract algebra concerns relations between models, not common features of all the models [Burgess] |
10188 | How can mathematical relations be either internal, or external, or intrinsic? [Burgess] |
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] |
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] |
9073 | Abstraction from an ambiguous concept like 'mole' will define them as the same [Barnes,J] |
9074 | Abstraction cannot produce the concept of a 'game', as there is no one common feature [Barnes,J] |
9072 | Defining concepts by abstractions will collect together far too many attributes from entities [Barnes,J] |
15077 | It is said that in the A-theory, all existents and objects must be tensed, as well as the sentences [Fine,K] |
15067 | A-theorists tend to reject the tensed/tenseless distinction [Fine,K] |
15066 | B-theorists say tensed sentences have an unfilled argument-place for a time [Fine,K] |