20 ideas
13430 | Infinity: there is an infinity of distinguishable individuals [Ramsey] |
Full Idea: The Axiom of Infinity means that there are an infinity of distinguishable individuals, which is an empirical proposition. | |
From: Frank P. Ramsey (The Foundations of Mathematics [1925], §5) | |
A reaction: The Axiom sounds absurd, as a part of a logical system, but Ramsey ends up defending it. Logical tautologies, which seem to be obviously true, are rendered absurd if they don't refer to any objects, and some of them refer to infinities of objects. |
13428 | Reducibility: to every non-elementary function there is an equivalent elementary function [Ramsey] |
Full Idea: The Axiom of Reducibility asserted that to every non-elementary function there is an equivalent elementary function [note: two functions are equivalent when the same arguments render them both true or both false]. | |
From: Frank P. Ramsey (The Foundations of Mathematics [1925], §2) | |
A reaction: Ramsey in the business of showing that this axiom from Russell and Whitehead is not needed. He says that the axiom seems to be needed for induction and for Dedekind cuts. Since the cuts rest on it, and it is weak, Ramsey says it must go. |
11211 | If a sound conclusion comes from two errors that cancel out, the path of the argument must matter [Rumfitt] |
Full Idea: If a designated conclusion follows from the premisses, but the argument involves two howlers which cancel each other out, then the moral is that the path an argument takes from premisses to conclusion does matter to its logical evaluation. | |
From: Ian Rumfitt ("Yes" and "No" [2000], II) | |
A reaction: The drift of this is that our view of logic should be a little closer to the reasoning of ordinary language, and we should rely a little less on purely formal accounts. |
13427 | Either 'a = b' vacuously names the same thing, or absurdly names different things [Ramsey] |
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. | |
From: Frank P. Ramsey (The Foundations of Mathematics [1925], §1) | |
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. |
11212 | The sense of a connective comes from primitively obvious rules of inference [Rumfitt] |
Full Idea: A connective will possess the sense that it has by virtue of its competent users' finding certain rules of inference involving it to be primitively obvious. | |
From: Ian Rumfitt ("Yes" and "No" [2000], III) | |
A reaction: Rumfitt cites Peacocke as endorsing this view, which characterises the logical connectives by their rules of usage rather than by their pure semantic value. |
11210 | Standardly 'and' and 'but' are held to have the same sense by having the same truth table [Rumfitt] |
Full Idea: If 'and' and 'but' really are alike in sense, in what might that likeness consist? Some philosophers of classical logic will reply that they share a sense by virtue of sharing a truth table. | |
From: Ian Rumfitt ("Yes" and "No" [2000]) | |
A reaction: This is the standard view which Rumfitt sets out to challenge. |
13334 | Contradictions are either purely logical or mathematical, or they involved thought and language [Ramsey] |
Full Idea: Group A consists of contradictions which would occur in a logical or mathematical system, involving terms such as class or number. Group B contradictions are not purely logical, and contain some reference to thought, language or symbolism. | |
From: Frank P. Ramsey (The Foundations of Mathematics [1925], p.171), quoted by Graham Priest - The Structure of Paradoxes of Self-Reference 1 | |
A reaction: This has become the orthodox division of all paradoxes, but the division is challenged by Priest (Idea 13373). He suggests that we now realise (post-Tarski?) that language is more involved in logic and mathematics than we thought. |
13426 | Formalists neglect content, but the logicists have focused on generalizations, and neglected form [Ramsey] |
Full Idea: The formalists neglected the content altogether and made mathematics meaningless, but the logicians neglected the form and made mathematics consist of any true generalisations; only by taking account of both sides can we obtain an adequate theory. | |
From: Frank P. Ramsey (The Foundations of Mathematics [1925], §1) | |
A reaction: He says mathematics is 'tautological generalizations'. It is a criticism of modern structuralism that it overemphasises form, and fails to pay attention to the meaning of the concepts which stand at the 'nodes' of the structure. |
13425 | Formalism is hopeless, because it focuses on propositions and ignores concepts [Ramsey] |
Full Idea: The hopelessly inadequate formalist theory is, to some extent, the result of considering only the propositions of mathematics and neglecting the analysis of its concepts. | |
From: Frank P. Ramsey (The Foundations of Mathematics [1925], §1) | |
A reaction: You'll have to read Ramsey to see how this thought pans out, but it at least gives a pointer to how to go about addressing the question. |
17954 | Essence is a thing's necessities, but what about its possibilities (which may not be realised)? [Vetter] |
Full Idea: Essence is, as it were, necessity rooted in things, ...but how about possibility rooted in things? ...Having the potential to Φ, unlike being essentially Φ, does not entail being actually Φ. | |
From: Barbara Vetter (Essence and Potentiality [2010], §2) | |
A reaction: To me this invites the question 'what is it about the entity which endows it with its rooted possibilities?' A thing has possibilities because it has a certain nature (at a given time). |
17953 | Real definition fits abstracta, but not individual concrete objects like Socrates [Vetter] |
Full Idea: I can understand the notion of real definition as applying to (some) abstact entities, but I have no idea how to apply it to a concrete object such as Socrates or myself. | |
From: Barbara Vetter (Essence and Potentiality [2010], §1) | |
A reaction: She is objecting to Kit Fine's account of essence, which is meant to be clearer than the normal account of essences based on necessities. Aristotle implies that definitions get fuzzy when you reach the level of the individual. |
17952 | Modal accounts make essence less mysterious, by basing them on the clearer necessity [Vetter] |
Full Idea: The modal account was meant, I take it, to make the notion of essence less mysterious by basing it on the supposedly better understood notion of necessity. | |
From: Barbara Vetter (Essence and Potentiality [2010], §1) |
17959 | Metaphysical necessity is even more deeply empirical than Kripke has argued [Vetter] |
Full Idea: We support the views of metaphysical modality on which metaphysical necessity is an even more deeply empirical matter than Kripke has argued. | |
From: Barbara Vetter (Essence and Potentiality [2010], p.2) | |
A reaction: [co-author E. Viebahn] This seems to pinpoint the spirit of scientific essentialism. She cites Bird and Shoemaker. If it is empirical, doesn't that make it a matter of epistemology, and hence further from absolute necessity? |
17955 | Possible worlds allow us to talk about degrees of possibility [Vetter] |
Full Idea: The apparatus of possible worlds affords greater expressive power than mere talk of possibility and necessity. In particular, possible worlds talk allows us to introduce degrees of possibility. | |
From: Barbara Vetter (Essence and Potentiality [2010], §3) | |
A reaction: A nice feature, but I'm not sure that either the proportion of possible worlds or the closeness of possible worlds captures what we actually mean by a certain degree of possibility. There is 'accidental closeness', or absence of contingency. See Vetter. |
17957 | Maybe possibility is constituted by potentiality [Vetter] |
Full Idea: We should look at the claim that possibility is constituted by potentiality. | |
From: Barbara Vetter (Essence and Potentiality [2010], §4) | |
A reaction: A problem that comes to mind is possibilities arising from coincidence. The whole of reality must be described, to capture all the possibilities for a particular thing. So potentialities of what? Nice thought, though. |
17958 | The apparently metaphysically possible may only be epistemically possible [Vetter] |
Full Idea: Some of what metaphysicians take to be metaphysically possible turns out to be only epistemically possible. | |
From: Barbara Vetter (Essence and Potentiality [2010], §4) | |
A reaction: A nice clear expression of the increasingly common view that conceivability may be a limited way to grasp possibility. |
17956 | Closeness of worlds should be determined by the intrinsic nature of relevant objects [Vetter] |
Full Idea: The closeness of possible worlds should be determined by similarity in the intrinsic constitution of whatever object it is whose potentialities are at issue. | |
From: Barbara Vetter (Essence and Potentiality [2010], §3) | |
A reaction: Nice thought. This seems to be the essentialist approach to possible worlds, but it makes the natures of the objects more fundamental than the framework of the worlds. She demurs because there are also extrinsic potentialities. |
22328 | I just confront the evidence, and let it act on me [Ramsey] |
Full Idea: I can but put the evidence before me, and let it act on my mind. | |
From: Frank P. Ramsey (The Foundations of Mathematics [1925], p.202), quoted by Michael Potter - The Rise of Analytic Philosophy 1879-1930 70 'Deg' | |
A reaction: Potter calls this observation 'downbeat', but I am an enthusiastic fan. It is roughly my view of both concept formation and of knowledge. You soak up the world, and respond appropriately. The trick is in the selection of evidence to confront. |
22325 | A belief is knowledge if it is true, certain and obtained by a reliable process [Ramsey] |
Full Idea: I have always said that a belief was knowledge if it was 1) true, ii) certain, iii) obtained by a reliable process. | |
From: Frank P. Ramsey (The Foundations of Mathematics [1925], p.258), quoted by Michael Potter - The Rise of Analytic Philosophy 1879-1930 66 'Rel' | |
A reaction: Not sure why it has to be 'certain' as well as 'true'. It seems that 'true' is objective, and 'certain' subjective. I think I know lots of things of which I am not fully certain. Reliabilism long preceded Alvin Goldman. |
11214 | We learn 'not' along with affirmation, by learning to either affirm or deny a sentence [Rumfitt] |
Full Idea: The standard view is that affirming not-A is more complex than affirming the atomic sentence A itself, with the latter determining its sense. But we could learn 'not' directly, by learning at once how to either affirm A or reject A. | |
From: Ian Rumfitt ("Yes" and "No" [2000], IV) | |
A reaction: [compressed] This seems fairly anti-Fregean in spirit, because it looks at the psychology of how we learn 'not' as a way of clarifying what we mean by it, rather than just looking at its logical behaviour (and thus giving it a secondary role). |