4 ideas
10121 | Contradiction is not a sign of falsity, nor lack of contradiction a sign of truth [Pascal] |
Full Idea: Contradiction is not a sign of falsity, nor the lack of contradiction a sign of truth. | |
From: Blaise Pascal (works [1660]), quoted by A.George / D.J.Velleman - Philosophies of Mathematics Ch.6 | |
A reaction: [Quoted in Auden and Kronenberger's Book of Aphorisms] Presumably we would now say that contradiction is a purely formal, syntactic notion, and not a semantic one. If you hit a contradiction, something has certainly gone wrong. |
22293 | Hilbert said (to block paradoxes) that mathematical existence is entailed by consistency [Hilbert, by Potter] |
Full Idea: Hilbert proposed to circuvent the paradoxes by means of the doctrine (already proposed by Poincaré) that in mathematics consistency entails existence. | |
From: report of David Hilbert (On the Concept of Number [1900], p.183) by Michael Potter - The Rise of Analytic Philosophy 1879-1930 19 'Exist' | |
A reaction: Interesting. Hilbert's idea has struck me as weird, but it makes sense if its main motive is to block the paradoxes. Roughly, the idea is 'it exists if it isn't paradoxical'. A low bar for existence (but then it is only in mathematics!). |
14742 | It can't be indeterminate whether x and y are identical; if x,y is indeterminate, then it isn't x,x [Salmon,N] |
Full Idea: Insofar as identity seems vague, it is provably mistaken. If it is vague whether x and y are identical (as in the Ship of Theseus), then x,y is definitely not the same as x,x, since the first pair is indeterminate and the second pair isn't. | |
From: Nathan Salmon (Reference and Essence: seven appendices [2005], App I) | |
A reaction: [compressed; Gareth Evans 1978 made a similar point] This strikes me as begging the question in the Ship case, since we are shoehorning the new ship into either the slot for x or the slot for y, but that was what we couldn’t decide. No rough identity? |
18885 | Kripke and Putnam made false claims that direct reference implies essentialism [Salmon,N] |
Full Idea: Kripke and Putnam made unsubstantiated claims, indeed false claims, to the effect that the theory of direct reference has nontrivial essentialist import. | |
From: Nathan Salmon (Reference and Essence: seven appendices [2005], Pref to Exp Ed) | |
A reaction: Kripke made very few claims, and is probably innocent of the charge. Most people agree with Salmon that you can't derive metaphysics from a theory of reference. |