17 ideas
| 8368 | A correct definition is what can be substituted without loss of meaning [Ducasse] |
| Full Idea: A definition of a word is correct if the definition can be substituted for the word being defined in an assertion without in the least changing the meaning which the assertion is felt to have. | |
| From: Curt Ducasse (Nature and Observability of Causal Relations [1926], §1) | |
| A reaction: This sounds good, but a very bland and uninformative rephrasing would fit this account, without offering anything very helpful. The word 'this' could be substituted for a lot of object words. A 'blade' is 'a thing always attached to a knife handle'. |
| 9470 | Modal logic is not an extensional language [Parsons,C] |
| Full Idea: Modal logic is not an extensional language. | |
| From: Charles Parsons (A Plea for Substitutional Quantification [1971], p.159 n8) | |
| A reaction: [I record this for investigation. Possible worlds seem to contain objects] |
| 13418 | The old problems with the axiom of choice are probably better ascribed to the law of excluded middle [Parsons,C] |
| Full Idea: The difficulties historically attributed to the axiom of choice are probably better ascribed to the law of excluded middle. | |
| From: Charles Parsons (Review of Tait 'Provenance of Pure Reason' [2009], §2) | |
| A reaction: The law of excluded middle was a target for the intuitionists, so presumably the debate went off in that direction. |
| 9469 | Substitutional existential quantifier may explain the existence of linguistic entities [Parsons,C] |
| Full Idea: I argue (against Quine) that the existential quantifier substitutionally interpreted has a genuine claim to express a concept of existence, which may give the best account of linguistic abstract entities such as propositions, attributes, and classes. | |
| From: Charles Parsons (A Plea for Substitutional Quantification [1971], p.156) | |
| A reaction: Intuitively I have my doubts about this, since the whole thing sounds like a verbal and conventional game, rather than anything with a proper ontology. Ruth Marcus and Quine disagree over this one. |
| 9468 | On the substitutional interpretation, '(∃x) Fx' is true iff a closed term 't' makes Ft true [Parsons,C] |
| Full Idea: For the substitutional interpretation of quantifiers, a sentence of the form '(∃x) Fx' is true iff there is some closed term 't' of the language such that 'Ft' is true. For the objectual interpretation some object x must exist such that Fx is true. | |
| From: Charles Parsons (A Plea for Substitutional Quantification [1971], p.156) | |
| A reaction: How could you decide if it was true for 't' if you didn't know what object 't' referred to? |
| 17447 | Parsons says counting is tagging as first, second, third..., and converting the last to a cardinal [Parsons,C, by Heck] |
| Full Idea: In Parsons's demonstrative model of counting, '1' means the first, and counting says 'the first, the second, the third', where one is supposed to 'tag' each object exactly once, and report how many by converting the last ordinal into a cardinal. | |
| From: report of Charles Parsons (Frege's Theory of Numbers [1965]) by Richard G. Heck - Cardinality, Counting and Equinumerosity 3 | |
| A reaction: This sounds good. Counting seems to rely on that fact that numbers can be both ordinals and cardinals. You don't 'convert' at the end, though, because all the way you mean 'this cardinality in this order'. |
| 18201 | General principles can be obvious in mathematics, but bold speculations in empirical science [Parsons,C] |
| Full Idea: The existence of very general principles in mathematics are universally regarded as obvious, where on an empiricist view one would expect them to be bold hypotheses, about which a prudent scientist would maintain reserve. | |
| From: Charles Parsons (Mathematical Intuition [1980], p.152), quoted by Penelope Maddy - Naturalism in Mathematics | |
| A reaction: This is mainly aimed at Quine's and Putnam's indispensability (to science) argument about mathematics. |
| 13419 | If functions are transfinite objects, finitists can have no conception of them [Parsons,C] |
| Full Idea: The finitist may have no conception of function, because functions are transfinite objects. | |
| From: Charles Parsons (Review of Tait 'Provenance of Pure Reason' [2009], §4) | |
| A reaction: He is offering a view of Tait's. Above my pay scale, but it sounds like a powerful objection to the finitist view. Maybe there is a finitist account of functions that could be given? |
| 13417 | If a mathematical structure is rejected from a physical theory, it retains its mathematical status [Parsons,C] |
| Full Idea: If experience shows that some aspect of the physical world fails to instantiate a certain mathematical structure, one will modify the theory by sustituting a different structure, while the original structure doesn't lose its status as part of mathematics. | |
| From: Charles Parsons (Review of Tait 'Provenance of Pure Reason' [2009], §2) | |
| A reaction: This seems to be a beautifully simple and powerful objection to the Quinean idea that mathematics somehow only gets its authority from physics. It looked like a daft view to begin with, of course. |
| 8367 | Causation is defined in terms of a single sequence, and constant conjunction is no part of it [Ducasse] |
| Full Idea: The correct definition of the causal relation is to be framed in terms of one single case of sequence, and constancy of conjunction is therefore no part of it. | |
| From: Curt Ducasse (Nature and Observability of Causal Relations [1926], Intro) | |
| A reaction: This is the thesis of Ducasse's paper. I immediately warm to it. I take constant conjunction to be a consequence and symptom of causation, not its nature. There is a classic ontology/epistemology confusion to be avoided here. |
| 8372 | We see what is in common between causes to assign names to them, not to perceive them [Ducasse] |
| Full Idea: The part of a generalization concerning what is common to one individual concrete event and the causes of certain other events of the same kind is involved in the mere assigning of a name to the cause and its effect, but not in the perceiving them. | |
| From: Curt Ducasse (Nature and Observability of Causal Relations [1926], §5) | |
| A reaction: A nice point, that we should keep distinct the recognition of a cause, and the assigning of a general name to it. Ducasse is claiming that we can directly perceive singular causation. |
| 8369 | Causes are either sufficient, or necessary, or necessitated, or contingent upon [Ducasse] |
| Full Idea: There are four causal connections: an event is sufficient for another if it is its cause; an event is necessary for another if it is a condition for it; it is necessitated by another if it is an effect; it is contingent upon another if it is a resultant. | |
| From: Curt Ducasse (Nature and Observability of Causal Relations [1926], §2) | |
| A reaction: An event could be a condition for another without being necessary. He seems to have missed the indispensable aspect of a necessary condition. |
| 8373 | When a brick and a canary-song hit a window, we ignore the canary if we are interested in the breakage [Ducasse] |
| Full Idea: If a brick and the song of a canary strike a window, which breaks....we can truly say that the song of the canary had nothing to do with it, that is, in so far as what occurred is viewed merely as a case of breakage of window. | |
| From: Curt Ducasse (Nature and Observability of Causal Relations [1926], §5) | |
| A reaction: This is the germ of Davidson's view, that causation is entirely dependent on the mode of description, rather than being an actual feature of reality. If one was interested in the sound of the breakage, the canary would become relevant. |
| 8370 | A cause is a change which occurs close to the effect and just before it [Ducasse] |
| Full Idea: The cause of the particular change K was such particular change C as alone occurred in the immediate environment of K immediately before. | |
| From: Curt Ducasse (Nature and Observability of Causal Relations [1926], §3) | |
| A reaction: The obvious immediately difficulty would be overdetermination, as when it rains while I am watering my garden. The other problem would coincidence, as when I clap my hands just before a bomb goes off. |
| 8371 | Recurrence is only relevant to the meaning of law, not to the meaning of cause [Ducasse] |
| Full Idea: The supposition of recurrence is wholly irrelevant to the meaning of cause: that supposition is relevant only to the meaning of law. | |
| From: Curt Ducasse (Nature and Observability of Causal Relations [1926], §4) | |
| A reaction: This sounds plausible, especially if our notion of laws of nature is built up from a series of caused events. But we could just have an ontology of 'similar events', out of which we build laws, and 'causation' could drop out (á la Russell). |
| 8374 | We are interested in generalising about causes and effects purely for practical purposes [Ducasse] |
| Full Idea: We are interested in causes and effects primarily for practical purposes, which needs generalizations; so the interest of concrete individual facts of causation is chiefly an indirect one, as raw material for generalizations. | |
| From: Curt Ducasse (Nature and Observability of Causal Relations [1926], §6) | |
| A reaction: A nice explanation of why, if causation is fundamentally about single instances, people seem so interested in generalisations and laws. We want to predict, and we want to explain, and we want to intervene. |
| 1513 | The Egyptians were the first to say the soul is immortal and reincarnated [Herodotus] |
| Full Idea: The Egyptians were the first to claim that the soul of a human being is immortal, and that each time the body dies the soul enters another creature just as it is being born. | |
| From: Herodotus (The Histories [c.435 BCE], 2.123.2) |