24 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. |
| 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. |
| 4568 | If 'Queen of England' does not refer if there is no queen, its meaning can't refer if there is one [Cooper,DE] |
| Full Idea: If 'the Queen of England' is not a referring expression when there is no queen, nor can it be one when there is a queen - since the meaning of the expression is the same in either case. | |
| From: David E. Cooper (Philosophy and the Nature of Language [1973], §4.1) | |
| A reaction: I'm not convinced. Does this mean that since I can point with my finger at nothing, I therefore do not indicate anything when there is an object at which I am pointing. Sounds silly to me. |
| 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. |
| 4574 | If some peoples do not have categories like time or cause, they can't be essential features of rationality [Cooper,DE] |
| Full Idea: If our most basic concepts, like time, space, substance or causality, are not shared by some peoples, it puts paid to the cherished ideal of philosophers to discover a set of concepts or categories which any rational human must employ in his thinking. | |
| From: David E. Cooper (Philosophy and the Nature of Language [1973], §5.2) | |
| A reaction: This seems to be a place where a priori philosophy (Aristotle,Kant,Hegel) meets empirical research (Whorf). However, interpreting the research is so fraught with problems it drives you back to the a priori… |
| 9216 | Each area of enquiry, and its source, has its own distinctive type of necessity [Fine,K] |
| Full Idea: The three sources of necessity - the identity of things, the natural order, and the normative order - have their own peculiar forms of necessity. The three main areas of human enquiry - metaphysics, science and ethics - each has its own necessity. | |
| From: Kit Fine (The Varieties of Necessity [2002], 6) | |
| A reaction: I would treat necessity in ethics with caution, if it is not reducible to natural or metaphysical necessity. Fine's proposal is interesting, but I did not find it convincing, especially in its view that metaphysical necessity doesn't intrude into nature. |
| 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. |
| 9214 | Unsupported testimony may still be believable [Fine,K] |
| Full Idea: I may have good reason to believe some testimony, for example, even though the person providing the testimony has no good reason for saying what he does. | |
| From: Kit Fine (The Varieties of Necessity [2002], 5) | |
| A reaction: Thus small children, madmen and dreamers may occasionally get things right without realising it. I take testimony to be merely one more batch of evidence which has to be assessed in building the most coherent picture possible. |
| 4573 | If it is claimed that language correlates with culture, we must be able to identify the two independently [Cooper,DE] |
| Full Idea: If it is claimed that linguistic differences significantly correlate with cultural differences, it must therefore be possible to identify the linguistic differences independently from the cultural ones. | |
| From: David E. Cooper (Philosophy and the Nature of Language [1973], §5.1) | |
| A reaction: This is a basic objection to any extreme relativist version of the S-P hypothesis. They are part of the conspiracy to overemphasise language in philosophy, and they are wrong. |
| 4575 | A person's language doesn't prove their concepts, but how are concepts deduced apart from language? [Cooper,DE] |
| Full Idea: It would be absurd to say the Hopi lack the concept of time because they lack tensed verbs, ..but how do we find out what a man's concepts are except in terms of his language? | |
| From: David E. Cooper (Philosophy and the Nature of Language [1973], §5.2) | |
| A reaction: Presumably we should look at animals, where concepts must be inferred in order to explain behaviour. I don't see why introspection (scientifically wicked) should not also be employed to detect our own non-verbal concepts. How are new words invented? |
| 4561 | Many sentences set up dispositions which are irrelevant to the meanings of the sentences [Cooper,DE] |
| Full Idea: Many sentences set up dispositions which are irrelevant to the meanings of the sentences. | |
| From: David E. Cooper (Philosophy and the Nature of Language [1973], §2.3) | |
| A reaction: Yet another telling objection to behaviourism. When I look at broccoli I may have a disposition to be sick, but that isn't part of the concept of broccoli. |
| 4564 | I can meaningfully speculate that humans may have experiences currently impossible for us [Cooper,DE] |
| Full Idea: It is not meaningless for me to postulate the potential for humans to sense in a manner which is at present unimaginable and indescribable. There is no reason to believe me, but I might be right. | |
| From: David E. Cooper (Philosophy and the Nature of Language [1973], §3.1) | |
| A reaction: The key counterexample to verificationist theories of meaning is wild speculations, which are clearly meaningful, though frequently far beyond any likely human experience. Logical positivists are allergic to imagination. |
| 4565 | The verification principle itself seems neither analytic nor verifiable [Cooper,DE] |
| Full Idea: It seems that the positivists must admit that there is at least one statement which is meaningful, but which is neither verifiable nor analytic - namely, the statement of the principle of verification itself. | |
| From: David E. Cooper (Philosophy and the Nature of Language [1973], §3.1) | |
| A reaction: Some people think this objection is decisive, but I think any theory must be permitted a few metatheoretic assertions or axioms which are beyond discussion. Ayer thought the VP might be treated as analytic. Everyone has to start somewhere. |
| 4563 | 'How now brown cow?' is used for elocution, but this says nothing about its meaning [Cooper,DE] |
| Full Idea: The sentence 'How now brown cow?' has its use in elocutions classes, yet this aspect of its use tells us nothing about its meaning. | |
| From: David E. Cooper (Philosophy and the Nature of Language [1973], §2.4) | |
| A reaction: Indeed, and also there are weird sentence of which we can assemble a meaning, but cannot think of any conceivable use ('rats swim in purple marmalade'). |
| 4562 | Most people know how to use the word "Amen", but they do not know what it means [Cooper,DE] |
| Full Idea: Most people know how to use the word "Amen", but they do not know what it means. | |
| From: David E. Cooper (Philosophy and the Nature of Language [1973], §2.4) | |
| A reaction: Personally I find examples like this decisive against the 'use' theory of meaning. Maybe the defence is that the theory works for sentences, and individual words (like passwords) are peripheral. |
| 4571 | Reference need not be a hit-or-miss affair [Cooper,DE] |
| Full Idea: Reference need not be a hit-or-miss affair. | |
| From: David E. Cooper (Philosophy and the Nature of Language [1973], §4.2) | |
| A reaction: Sounds right. If the basic scenario is picking someone out in a crowd, your listener may think they know which person you are talking about, with a high degree of probability. |
| 4566 | Any thesis about reference is also a thesis about what exists to be referred to [Cooper,DE] |
| Full Idea: Any thesis about reference is also going to be a thesis about what there is in existence to refer to. | |
| From: David E. Cooper (Philosophy and the Nature of Language [1973], §4) | |
| A reaction: I see the point, but we must not put the cart before the horse. I may have an intuition that something exists, but not know how to refer to it (because of my small vocabulary). |
| 4572 | If predicates name things, that reduces every sentence to a mere list of names [Cooper,DE] |
| Full Idea: If predicates are names of entities, then subject/predicate sentences are pairs of names, since subjects are names (or referring expressions). But a pair of names is not a sentence at all, it is a mere list. | |
| From: David E. Cooper (Philosophy and the Nature of Language [1973], §4.4) | |
| A reaction: If that is meant to demolish universals it is too quick. Concatenating names is not the same as listing them. A relationship is asserted. There is a (mysterious) Platonic 'partaking' between form and particular. Perhaps. |
| 4576 | An analytic truth is one which becomes a logical truth when some synonyms have been replaced [Cooper,DE] |
| Full Idea: The definition of analytic truth which has, I believe, the most chance of success is one in terms of synonymy; ..an analytic truth is one which can be transformed into a logical truth once synonyms are replaced by synonyms. | |
| From: David E. Cooper (Philosophy and the Nature of Language [1973], §7.1) | |
| A reaction: Sounds promising, though there is Quine's notorious problem of circularity in all these concepts. If synonymy is conventional, then so is analyticity. I personally feel that the circle can be broken. |
| 9215 | Causation is easier to disrupt than logic, so metaphysics is part of nature, not vice versa [Fine,K] |
| Full Idea: It would be harder to break P-and-Q implying P than the connection between cause and effect. This difference in strictness means it is more plausible that natural necessities include metaphysical necessities, than vice versa. | |
| From: Kit Fine (The Varieties of Necessity [2002], 6) | |
| A reaction: I cannot see any a priori grounds for the claim that causation is more easily disrupted than logic. It seems to be based on the strategy of inferring possibilities from what can be imagined, which seems to me to lead to wild misunderstandings. |