more on this theme | more from this thinker
Full Idea
In 'a = b' either 'a' and 'b' are names of the same thing, in which case the proposition says nothing, or of different things, in which case it is absurd. In neither case is it an assertion of a fact; it only asserts when a or b are descriptions.
Gist of Idea
Either 'a = b' vacuously names the same thing, or absurdly names different things
Source
Frank P. Ramsey (The Foundations of Mathematics [1925], §1)
Book Ref
Ramsey,Frank: 'Philosophical Papers', ed/tr. Mellor,D.H. [CUP 1990], p.179
A Reaction
This is essentially Frege's problem with Hesperus and Phosphorus. How can identities be informative? So 2+2=4 is extensionally vacuous, but informative because they are different descriptions.
13427 | Either 'a = b' vacuously names the same thing, or absurdly names different things [Ramsey] |
13426 | Formalists neglect content, but the logicists have focused on generalizations, and neglected form [Ramsey] |
13425 | Formalism is hopeless, because it focuses on propositions and ignores concepts [Ramsey] |
13428 | Reducibility: to every non-elementary function there is an equivalent elementary function [Ramsey] |
13430 | Infinity: there is an infinity of distinguishable individuals [Ramsey] |
13334 | Contradictions are either purely logical or mathematical, or they involved thought and language [Ramsey] |
22328 | I just confront the evidence, and let it act on me [Ramsey] |
22325 | A belief is knowledge if it is true, certain and obtained by a reliable process [Ramsey] |