18 ideas
17082 | Paradox: why do you analyse if you know it, and how do you analyse if you don't? [Ruben] |
Full Idea: The alleged paradox of analysis asserts that if one knew what was involved in the concept, one would not need the analysis; if one did not know what was involved in the concept, no analysis could be forthcoming. | |
From: David-Hillel Ruben (Explaining Explanation [1990], Ch 1) | |
A reaction: This is the sort of problem that seemed to bug Plato a lot. You certainly can't analyse something if you don't understand it, but it seems obvious that you can illuminatingly analyse something of which you have a reasonable understanding. |
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. |
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. |
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. |
15391 | A substance is, roughly, a basic being or subject at the foundation of reality [Robb] |
Full Idea: A substance is a basic being, something at reality's foundation. What exactly this means is a matter of some controversy. Some philosophers think of substance as an ultimate subject, something that has properties but isn't a property. | |
From: David Robb (Substance [2009], 'Intro') | |
A reaction: This seems to capture the place of 'substance' in contemporary metaphysics. I think of 'substance' as a placeholder for some threatened account, even in Aristotle. |
15392 | If an object survives the loss of a part, complex objects can have autonomy over their parts [Robb] |
Full Idea: Sometimes a whole can survive a loss of parts: the chair would still exist if it lost one of its legs. This seems to give complex objects a sort of autonomy over their parts. | |
From: David Robb (Substance [2009], 'Ident') | |
A reaction: There is then a puzzle as to how much loss of parts the whole can survive, and why. The loss of a major part could be devastating, so why do all wholes not exhibit this relation to all their parts? I demand rules, now! |
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. |
17087 | The 'symmetry thesis' says explanation and prediction only differ pragmatically [Ruben] |
Full Idea: The 'symmetry thesis' holds that there is only a pragmatic, or epistemic, but no logical, difference between explaining and predicting. …The only difference is in what the producer of the deduction knows just before the deduction is produced. | |
From: David-Hillel Ruben (Explaining Explanation [1990], Ch 4) | |
A reaction: He cites Mill has holding this view. It seems elementary to me that I can explain something but not predict it, or predict it but not explain it. The latter case is just Humean habitual induction. |
17081 | Usually explanations just involve giving information, with no reference to the act of explanation [Ruben] |
Full Idea: Plato, Aristotle, Mill and Hempel believed that an explanatory product can be characterized solely in terms of the kind of information it conveys, no reference to the act of explaining being required. | |
From: David-Hillel Ruben (Explaining Explanation [1990], Ch 1) | |
A reaction: Achinstein says it's about acts, because the same information could be an explanation, or a critique, or some other act. Ruben disagrees, and so do I. |
17092 | An explanation needs the world to have an appropriate structure [Ruben] |
Full Idea: Objects or events in the world must really stand in some appropriate 'structural' relation before explanation is possible. | |
From: David-Hillel Ruben (Explaining Explanation [1990], Ch 7) | |
A reaction: An important point. These days people talk of 'dependence relations'. Some sort of structure to reality (mainly imposed by the direction of time and causation, I would have thought) is a prerequisite of finding a direction to explanation. |
17090 | Most explanations are just sentences, not arguments [Ruben] |
Full Idea: Typically, full explanations are not arguments, but singular sentences, or conjunctions thereof. | |
From: David-Hillel Ruben (Explaining Explanation [1990], Ch 6) | |
A reaction: This is mainly objecting to the claim that explanations are deductions from laws and facts. I agree with Ruben. Explanations are just information, I think. Of course, Aristotle's demonstrations are arguments. |
17094 | The causal theory of explanation neglects determinations which are not causal [Ruben] |
Full Idea: The fault of the causal theory of explanation was to overlook the fact that there are more ways of making something what it is or being responsible for it than by causing it. …Causation is a particular type of determinative relation. | |
From: David-Hillel Ruben (Explaining Explanation [1990], Ch 7) | |
A reaction: The only thing I can think of is that certain abstract facts are 'determined' by other abtract facts, without being 'caused' by them. A useful word. |
17088 | Reducing one science to another is often said to be the perfect explanation [Ruben] |
Full Idea: The reduction of one science to another has often been taken as paradigmatic of explanation. | |
From: David-Hillel Ruben (Explaining Explanation [1990], Ch 5) | |
A reaction: It seems fairly obvious that the total reduction of chemistry to physics would involve the elimination of all the current concepts of chemistry. Could this possibly enhance our understanding of chemistry? I would have thought not. |
17089 | Facts explain facts, but only if they are conceptualised or named appropriately [Ruben] |
Full Idea: Facts explain facts only when the features and the individuals the facts are about are appropriately conceptualized or named. | |
From: David-Hillel Ruben (Explaining Explanation [1990], Ch 5) | |
A reaction: He has a nice example that 'Cicero's speeches stop in 43 BCE' isn't explained by 'Tully died then', if you don't know that Cicero was Tully. Ruben is not defending pragmatic explanation, but to this extent he must be right. |