11 ideas
| 18889 | Ostensive definitions needn't involve pointing, but must refer to something specific [Salmon,N] |
| Full Idea: So-called ostensive definitions need not literally involve ostension, e.g. pointing, but they must involve genuine reference of some sort (in this case reference to a sample of water). | |
| From: Nathan Salmon (Reference and Essence (1st edn) [1981], 4.11.2) |
| 14627 | S4, and therefore S5, are invalid for metaphysical modality [Salmon,N, by Williamson] |
| Full Idea: Salmon argues that S4 and therefore S5 are invalid for metaphysical modality. | |
| From: report of Nathan Salmon (Reference and Essence (1st edn) [1981], 238-40) by Timothy Williamson - Modal Logic within Counterfactual Logic 4 | |
| A reaction: [He gives references for Salmon, and for his own reply] Salmon's view seems to be opposed my most modern logicians (such as Ian Rumfitt). |
| 8717 | Hilbert wanted to prove the consistency of all of mathematics (which realists take for granted) [Hilbert, by Friend] |
| Full Idea: Hilbert wanted to derive ideal mathematics from the secure, paradox-free, finite mathematics (known as 'Hilbert's Programme'). ...Note that for the realist consistency is not something we need to prove; it is a precondition of thought. | |
| From: report of David Hilbert (works [1900], 6.7) by Michčle Friend - Introducing the Philosophy of Mathematics | |
| A reaction: I am an intuitive realist, though I am not so sure about that on cautious reflection. Compare the claims that there are reasons or causes for everything. Reality cannot contain contradicitions (can it?). Contradictions would be our fault. |
| 10113 | The grounding of mathematics is 'in the beginning was the sign' [Hilbert] |
| Full Idea: The solid philosophical attitude that I think is required for the grounding of pure mathematics is this: In the beginning was the sign. | |
| From: David Hilbert (works [1900]), quoted by A.George / D.J.Velleman - Philosophies of Mathematics Ch.6 | |
| A reaction: Why did people invent those particular signs? Presumably they were meant to designate something, in the world or in our experience. |
| 10115 | Hilbert substituted a syntactic for a semantic account of consistency [Hilbert, by George/Velleman] |
| Full Idea: Hilbert replaced a semantic construal of inconsistency (that the theory entails a statement that is necessarily false) by a syntactic one (that the theory formally derives the statement (0 =1 ∧ 0 not-= 1). | |
| From: report of David Hilbert (works [1900]) by A.George / D.J.Velleman - Philosophies of Mathematics Ch.6 | |
| A reaction: Finding one particular clash will pinpoint the notion of inconsistency, but it doesn't seem to define what it means, since the concept has very wide application. |
| 10116 | Hilbert aimed to prove the consistency of mathematics finitely, to show infinities won't produce contradictions [Hilbert, by George/Velleman] |
| Full Idea: Hilbert's project was to establish the consistency of classical mathematics using just finitary means, to convince all parties that no contradictions will follow from employing the infinitary notions and reasoning. | |
| From: report of David Hilbert (works [1900]) by A.George / D.J.Velleman - Philosophies of Mathematics Ch.6 | |
| A reaction: This is the project which was badly torpedoed by Gödel's Second Incompleteness Theorem. |
| 18888 | Essentialism says some properties must be possessed, if a thing is to exist [Salmon,N] |
| Full Idea: The metaphysical doctrine of essentialism says that certain properties of things are properties that those things could not fail to have, except by not existing. | |
| From: Nathan Salmon (Reference and Essence (1st edn) [1981], 3.8.2) | |
| A reaction: A bad account of essentialism, and a long way from Aristotle. It arises from the logicians' tendency to fix objects entirely in terms of a 'flat' list of predicates (called 'properties'!), which ignore structure, constitution, history etc. |
| 18886 | Frege's 'sense' solves four tricky puzzles [Salmon,N] |
| Full Idea: Reference via sense solves Frege's four puzzles, of the informativeness of identity statements, the failure of substitutivity in attitude contexts, of negative existentials, and the truth-value of statements using nondenoting singular terms. | |
| From: Nathan Salmon (Reference and Essence (1st edn) [1981], 1.1.1) | |
| A reaction: These must then be compared with Kripke's three puzzles about referring via sense, and the whole debate is then spread before us. |
| 18887 | The perfect case of direct reference is a variable which has been assigned a value [Salmon,N] |
| Full Idea: The paradigm of a nondescriptional, directly referential, singular term is an individual variable. …The denotation of a variable… is semantically determined directly by the assignment of values. | |
| From: Nathan Salmon (Reference and Essence (1st edn) [1981], 1.1.2) | |
| A reaction: This cuts both ways. Maybe we are muddling ordinary reference with the simplicities of logical assignments, or maybe we make logical assignments because that is the natural way our linguistic thinking works. |
| 19216 | Propositions (such as 'that dog is barking') only exist if their items exist [Williamson] |
| Full Idea: A proposition about an item exists only if that item exists... how could something be the proposition that that dog is barking in circumstances in which that dog does not exist? | |
| From: Timothy Williamson (Necessary Existents [2002], p.240), quoted by Trenton Merricks - Propositions | |
| A reaction: This is a view of propositions I can't make sense of. If I'm under an illusion that there is a dog barking nearby, when there isn't one, can I not say 'that dog is barking'? If I haven't expressed a proposition, what have I done? |
| 18891 | Nothing in the direct theory of reference blocks anti-essentialism; water structure might have been different [Salmon,N] |
| Full Idea: There seems to be nothing in the theory of direct reference to block the anti-essentialist assertion that the substance water might have been the very same entity and yet have had a different chemical structure. | |
| From: Nathan Salmon (Reference and Essence (1st edn) [1981], 6.23.1) | |
| A reaction: Indeed, water could be continuously changing its inner structure, while retaining the surface appearance that gets baptised as 'water'. We make the reasonable empirical assumption, though, that structure-change implies surface-change. |