19 ideas
| 14249 | Boolos reinterprets second-order logic as plural logic [Boolos, by Oliver/Smiley] |
| Full Idea: Boolos's conception of plural logic is as a reinterpretation of second-order logic. | |
| From: report of George Boolos (On Second-Order Logic [1975]) by Oliver,A/Smiley,T - What are Sets and What are they For? n5 | |
| A reaction: Oliver and Smiley don't accept this view, and champion plural reference differently (as, I think, some kind of metalinguistic device?). |
| 10830 | Second-order logic metatheory is set-theoretic, and second-order validity has set-theoretic problems [Boolos] |
| Full Idea: The metatheory of second-order logic is hopelessly set-theoretic, and the notion of second-order validity possesses many if not all of the epistemic debilities of the notion of set-theoretic truth. | |
| From: George Boolos (On Second-Order Logic [1975], p.45) | |
| A reaction: Epistemic problems arise when a logic is incomplete, because some of the so-called truths cannot be proved, and hence may be unreachable. This idea indicates Boolos's motivation for developing a theory of plural quantification. |
| 10829 | A sentence can't be a truth of logic if it asserts the existence of certain sets [Boolos] |
| Full Idea: One may be of the opinion that no sentence ought to be considered as a truth of logic if, no matter how it is interpreted, it asserts that there are sets of certain sorts. | |
| From: George Boolos (On Second-Order Logic [1975], p.44) | |
| A reaction: My intuition is that in no way should any proper logic assert the existence of anything at all. Presumably interpretations can assert the existence of numbers or sets, but we should be able to identify something which is 'pure' logic. Natural deduction? |
| 10832 | '∀x x=x' only means 'everything is identical to itself' if the range of 'everything' is fixed [Boolos] |
| Full Idea: One may say that '∀x x=x' means 'everything is identical to itself', but one must realise that one's answer has a determinate sense only if the reference (range) of 'everything' is fixed. | |
| From: George Boolos (On Second-Order Logic [1975], p.46) | |
| A reaction: This is the problem now discussed in the recent book 'Absolute Generality', of whether one can quantify without specifying a fixed or limited domain. |
| 10834 | Weak completeness: if it is valid, it is provable. Strong: it is provable from a set of sentences [Boolos] |
| Full Idea: A weak completeness theorem shows that a sentence is provable whenever it is valid; a strong theorem, that a sentence is provable from a set of sentences whenever it is a logical consequence of the set. | |
| From: George Boolos (On Second-Order Logic [1975], p.52) | |
| A reaction: So the weak version says |- φ → |= φ, and the strong versions says Γ |- φ → Γ |= φ. Presumably it is stronger if it can specify the source of the inference. |
| 13841 | Why should compactness be definitive of logic? [Boolos, by Hacking] |
| Full Idea: Boolos asks why on earth compactness, whatever its virtues, should be definitive of logic itself. | |
| From: report of George Boolos (On Second-Order Logic [1975]) by Ian Hacking - What is Logic? §13 |
| 10833 | Many concepts can only be expressed by second-order logic [Boolos] |
| Full Idea: The notions of infinity and countability can be characterized by second-order sentences, though not by first-order sentences (as compactness and Skolem-Löwenheim theorems show), .. as well as well-ordering, progression, ancestral and identity. | |
| From: George Boolos (On Second-Order Logic [1975], p.48) |
| 12270 | Being is one [Melissus, by Aristotle] |
| Full Idea: Being is one. | |
| From: report of Melissus (fragments/reports [c.443 BCE]) by Aristotle - Topics 104b23 | |
| A reaction: I can only really understand this in terms of physics, as the belief that ultimately there is one simple theory which explains everything. That project doesn't look terribly promising, despite the lovely simplifications of modern physics. |
| 2590 | Dispositions need mental terms to define them [Putnam] |
| Full Idea: The chief difficulty with the behaviour-disposition account is the virtual impossibility of specifying a disposition except as a 'disposition of x to behave as though x were in pain'. | |
| From: Hilary Putnam (The Nature of Mental States [1968], p.57) | |
| A reaction: This has become the best-known objection to behaviourism - that you can't specify a piece of behaviour clearly unless you mention the mental state which it is expressing. The defence is to go on endlessly mentioning further behaviour. |
| 2591 | Total paralysis would mean that there were mental states but no behaviour at all [Putnam] |
| Full Idea: Two animals with all motor nerves cut will have the same actual and potential behaviour (i.e. none), but if only one has uncut pain fibres, it will feel pain where the other won't. | |
| From: Hilary Putnam (The Nature of Mental States [1968], p.57) | |
| A reaction: This is a splendidly literal and practical argument against behaviourism - if you prevent all the behaviour, you don't thereby prevent the experience. Clearly we have to say something about what is inside the 'black box' of the mind. |
| 2588 | Is pain a functional state of a complete organism? [Putnam] |
| Full Idea: I propose the hypothesis that pain, or the state of being in pain, is a functional state of a whole organism. | |
| From: Hilary Putnam (The Nature of Mental States [1968], p.54) | |
| A reaction: This sounds wrong right from the start. Pain hurts. The fact that it leads to avoidance behaviour etc. seems much more like a by-product of pain than its essence. |
| 2589 | Functionalism is compatible with dualism, as pure mind could perform the functions [Putnam] |
| Full Idea: The functional-state hypothesis is not incompatible with dualism, as a system consisting of a body and a soul could meet the required conditions. | |
| From: Hilary Putnam (The Nature of Mental States [1968], p.55) | |
| A reaction: He doesn't really believe this, of course. This claim led to all the weak objections to functionalism involving silly implementations of minds. A brain is the only plausible way to implement our mental functions. |
| 2592 | Functional states correlate with AND explain pain behaviour [Putnam] |
| Full Idea: The presence of a certain functional state is not merely 'correlated with' but actually explains the pain behaviour on the part of the organism. | |
| From: Hilary Putnam (The Nature of Mental States [1968], p.58) | |
| A reaction: Does it offer any further explanation beyond saying that it is the brain state that causes the behaviour? The pain is just a link between damage and avoidance. I wish that is all that pain was. |
| 2587 | Temperature is mean molecular kinetic energy, but they are two different concepts [Putnam] |
| Full Idea: The concept of temperature is not the same as the concept of mean molecular kinetic energy. But temperature is mean molecular kinetic energy. | |
| From: Hilary Putnam (The Nature of Mental States [1968], p.52) | |
| A reaction: This is the standard analogy for mind-brain identity, and it seems fair enough to me. The mind is the activity of the brain. It is rather unhelpful to think of weather in terms of chemistry, but it is actions of chemicals. |
| 6376 | Neuroscience does not support multiple realisability, and tends to support identity [Polger on Putnam] |
| Full Idea: Putnam was too quick to assert neuroscientific support for multiple realizability; current evidence does not reveal it, and there is some reason to think the enterprises of neuroscience are premised on the hypothesis of brain-state identity. | |
| From: comment on Hilary Putnam (The Nature of Mental States [1968]) by Thomas W. Polger - Natural Minds Ch.1.4 | |
| A reaction: I have always been suspicious of the glib claim that mental states were multiply realisable. I see no reason to think that octupi see colours as we do, or experience fear as we do, even though their behaviour has to be similar, for survival. |
| 2330 | If humans and molluscs both feel pain, it can't be a single biological state [Putnam, by Kim] |
| Full Idea: Mental states have vastly diverse physical/biological realizations in different species and structures (e.g. pain in humans and in molluscs), so no mental state can be identified with any single physical/biological state. | |
| From: report of Hilary Putnam (The Nature of Mental States [1968]) by Jaegwon Kim - Mind in a Physical World n p.120 | |
| A reaction: But maybe mollusc and human nervous systems ARE the same in the respects that matter. We don't know enough about pain to deny that possibility. |
| 3059 | There is no real motion, only the appearance of it [Melissus, by Diog. Laertius] |
| Full Idea: There is no such thing as real motion, but there only appears to be such. | |
| From: report of Melissus (fragments/reports [c.443 BCE]) by Diogenes Laertius - Lives of Eminent Philosophers 09.4.3 |
| 5100 | The void is not required for change, because a plenum can alter in quality [Aristotle on Melissus] |
| Full Idea: There is no need for void to be the cause of all change, because it is perfectly possible for a plenum to alter qualitatively (which is something Melissus overlooked). | |
| From: comment on Melissus (fragments/reports [c.443 BCE]) by Aristotle - Physics 214a27 | |
| A reaction: In modern physics this presumably gives us fluctuations in a force field. Motion is like a cat being digested by a python. The atomist claim that emptiness is needed if anything is to move still has intuitive appeal. |
| 456 | Nothing could come out of nothing [Melissus] |
| Full Idea: If Nothing existed, in no way could anything come into being out of nothing. | |
| From: Melissus (fragments/reports [c.443 BCE], B1), quoted by (who?) - where? |