51 ideas
| 13395 | If an analysis shows the features of a concept, it doesn't seem to 'reduce' the concept [Jubien] |
| 10170 | While true-in-a-model seems relative, true-in-all-models seems not to be [Reck/Price] |
| 10166 | ZFC set theory has only 'pure' sets, without 'urelements' [Reck/Price] |
| 13378 | It is a mistake to think that the logic developed for mathematics can clarify language and philosophy [Jubien] |
| 13402 | We only grasp a name if we know whether to apply it when the bearer changes [Jubien] |
| 13405 | The baptiser picks the bearer of a name, but social use decides the category [Jubien] |
| 13399 | Examples show that ordinary proper names are not rigid designators [Jubien] |
| 13398 | We could make a contingent description into a rigid and necessary one by adding 'actual' to it [Jubien] |
| 13392 | Philosophers reduce complex English kind-quantifiers to the simplistic first-order quantifier [Jubien] |
| 10175 | Three types of variable in second-order logic, for objects, functions, and predicates/sets [Reck/Price] |
| 10165 | 'Analysis' is the theory of the real numbers [Reck/Price] |
| 10174 | Mereological arithmetic needs infinite objects, and function definitions [Reck/Price] |
| 10164 | Peano Arithmetic can have three second-order axioms, plus '1' and 'successor' [Reck/Price] |
| 10172 | Set-theory gives a unified and an explicit basis for mathematics [Reck/Price] |
| 10167 | Structuralism emerged from abstract algebra, axioms, and set theory and its structures [Reck/Price] |
| 10169 | Relativist Structuralism just stipulates one successful model as its arithmetic [Reck/Price] |
| 10179 | There are 'particular' structures, and 'universal' structures (what the former have in common) [Reck/Price] |
| 10181 | Pattern Structuralism studies what isomorphic arithmetic models have in common [Reck/Price] |
| 10182 | There are Formalist, Relativist, Universalist and Pattern structuralism [Reck/Price] |
| 10168 | Formalist Structuralism says the ontology is vacuous, or formal, or inference relations [Reck/Price] |
| 10178 | Maybe we should talk of an infinity of 'possible' objects, to avoid arithmetic being vacuous [Reck/Price] |
| 10176 | Universalist Structuralism is based on generalised if-then claims, not one particular model [Reck/Price] |
| 10177 | Universalist Structuralism eliminates the base element, as a variable, which is then quantified out [Reck/Price] |
| 10171 | The existence of an infinite set is assumed by Relativist Structuralism [Reck/Price] |
| 13404 | To exist necessarily is to have an essence whose own essence must be instantiated [Jubien] |
| 13386 | If objects are just conventional, there is no ontological distinction between stuff and things [Jubien] |
| 13403 | The category of Venus is not 'object', or even 'planet', but a particular class of good-sized object [Jubien] |
| 10173 | A nominalist might avoid abstract objects by just appealing to mereological sums [Reck/Price] |
| 13375 | The idea that every entity must have identity conditions is an unfortunate misunderstanding [Jubien] |
| 13393 | Any entity has the unique property of being that specific entity [Jubien] |
| 13388 | It is incoherent to think that a given entity depends on its kind for its existence [Jubien] |
| 13384 | Objects need conventions for their matter, their temporal possibility, and their spatial possibility [Jubien] |
| 13385 | Basically, the world doesn't have ready-made 'objects'; we carve objects any way we like [Jubien] |
| 13383 | If the statue is loved and the clay hated, that is about the object first qua statue, then qua clay [Jubien] |
| 13400 | If one entity is an object, a statue, and some clay, these come apart in at least three ways [Jubien] |
| 13401 | The idea of coincident objects is a last resort, as it is opposed to commonsense naturalism [Jubien] |
| 13380 | Parts seem to matter when it is just an object, but not matter when it is a kind of object [Jubien] |
| 13376 | We should not regard essentialism as just nontrivial de re necessity [Jubien] |
| 13381 | Thinking of them as 'ships' the repaired ship is the original, but as 'objects' the reassembly is the original [Jubien] |
| 13382 | Rearranging the planks as a ship is confusing; we'd say it was the same 'object' with a different arrangement [Jubien] |
| 13379 | If two objects are indiscernible across spacetime, how could we decide whether or not they are the same? [Jubien] |
| 13394 | Entailment does not result from mutual necessity; mutual necessity ensures entailment [Jubien] |
| 13391 | Modality concerns relations among platonic properties [Jubien] |
| 13374 | To analyse modality, we must give accounts of objects, properties and relations [Jubien] |
| 13389 | The love of possible worlds is part of the dream that technical logic solves philosophical problems [Jubien] |
| 13390 | Possible worlds don't explain necessity, because they are a bunch of parallel contingencies [Jubien] |
| 13396 | Analysing mental concepts points to 'inclusionism' - that mental phenomena are part of the physical [Jubien] |
| 13377 | First-order logic tilts in favour of the direct reference theory, in its use of constants for objects [Jubien] |
| 23829 | National leaders want to preserve necessary order - but always the existing order [Weil] |
| 23828 | National prestige consists of behaving as if you could beat the others in a war [Weil] |
| 23827 | Modern wars are fought in the name of empty words which are given capital letters [Weil] |