68 ideas
13395 | If an analysis shows the features of a concept, it doesn't seem to 'reduce' the concept [Jubien] |
17621 | What matters in mathematics is its objectivity, not the existence of the objects [Dummett] |
10537 | The ordered pairs <x,y> can be reduced to the class of sets of the form {{x},{x,y}} [Dummett] |
10542 | To associate a cardinal with each set, we need the Axiom of Choice to find a representative [Dummett] |
13378 | It is a mistake to think that the logic developed for mathematics can clarify language and philosophy [Jubien] |
8729 | Intuitionists deny excluded middle, because it is committed to transcendent truth or objects [Shapiro] |
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] |
8763 | The number 3 is presumably identical as a natural, an integer, a rational, a real, and complex [Shapiro] |
18249 | Cauchy gave a formal definition of a converging sequence. [Shapiro] |
8764 | Categories are the best foundation for mathematics [Shapiro] |
10554 | Intuitionists find the Incompleteness Theorem unsurprising, since proof is intuitive, not formal [Dummett] |
8762 | Two definitions of 3 in terms of sets disagree over whether 1 is a member of 3 [Shapiro] |
8760 | Numbers do not exist independently; the essence of a number is its relations to other numbers [Shapiro] |
8761 | A 'system' is related objects; a 'pattern' or 'structure' abstracts the pure relations from them [Shapiro] |
8744 | Logicism seems to be a non-starter if (as is widely held) logic has no ontology of its own [Shapiro] |
8749 | Term Formalism says mathematics is just about symbols - but real numbers have no names [Shapiro] |
8750 | Game Formalism is just a matter of rules, like chess - but then why is it useful in science? [Shapiro] |
8752 | Deductivism says mathematics is logical consequences of uninterpreted axioms [Shapiro] |
10552 | Intuitionism says that totality of numbers is only potential, but is still determinate [Dummett] |
8753 | Critics resent the way intuitionism cripples mathematics, but it allows new important distinctions [Shapiro] |
8731 | Conceptualist are just realists or idealist or nominalists, depending on their view of concepts [Shapiro] |
8730 | 'Impredicative' definitions refer to the thing being described [Shapiro] |
13404 | To exist necessarily is to have an essence whose own essence must be instantiated [Jubien] |
10540 | We can't say that light is concrete but radio waves abstract [Dummett] |
10515 | Ostension is possible for concreta; abstracta can only be referred to via other objects [Dummett, by Hale] |
10544 | The concrete/abstract distinction seems crude: in which category is the Mistral? [Dummett] |
10546 | We don't need a sharp concrete/abstract distinction [Dummett] |
13386 | If objects are just conventional, there is no ontological distinction between stuff and things [Jubien] |
10548 | The context principle for names rules out a special philosophical sense for 'existence' [Dummett] |
10281 | The objects we recognise the world as containing depends on the structure of our language [Dummett] |
13403 | The category of Venus is not 'object', or even 'planet', but a particular class of good-sized object [Jubien] |
10532 | We can understand universals by studying predication [Dummett] |
10534 | 'Nominalism' used to mean denial of universals, but now means denial of abstract objects [Dummett] |
10541 | Concrete objects such as sounds and smells may not be possible objects of ostension [Dummett] |
10545 | Abstract objects may not cause changes, but they can be the subject of change [Dummett] |
10555 | If we can intuitively apprehend abstract objects, this makes them observable and causally active [Dummett] |
10543 | Abstract objects must have names that fall within the range of some functional expression [Dummett] |
10320 | If a genuine singular term needs a criterion of identity, we must exclude abstract nouns [Dummett, by Hale] |
10547 | Abstract objects can never be confronted, and need verbal phrases for reference [Dummett] |
10531 | There is a modern philosophical notion of 'object', first introduced by Frege [Dummett] |
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] |
8725 | Rationalism tries to apply mathematical methodology to all of knowledge [Shapiro] |
13396 | Analysing mental concepts points to 'inclusionism' - that mental phenomena are part of the physical [Jubien] |
19168 | Concepts only have a 'functional character', because they map to truth values, not objects [Dummett, by Davidson] |
10549 | Since abstract objects cannot be picked out, we must rely on identity statements [Dummett] |
13377 | First-order logic tilts in favour of the direct reference theory, in its use of constants for objects [Jubien] |
10516 | A realistic view of reference is possible for concrete objects, but not for abstract objects [Dummett, by Hale] |