20 ideas
| 13838 | A decent modern definition should always imply a semantics [Hacking] |
| Full Idea: Today we expect that anything worth calling a definition should imply a semantics. | |
| From: Ian Hacking (What is Logic? [1979], §10) | |
| A reaction: He compares this with Gentzen 1935, who was attempting purely syntactic definitions of the logical connectives. |
| 13833 | 'Thinning' ('dilution') is the key difference between deduction (which allows it) and induction [Hacking] |
| Full Idea: 'Dilution' (or 'Thinning') provides an essential contrast between deductive and inductive reasoning; for the introduction of new premises may spoil an inductive inference. | |
| From: Ian Hacking (What is Logic? [1979], §06.2) | |
| A reaction: That is, inductive logic (if there is such a thing) is clearly non-monotonic, whereas classical inductive logic is monotonic. |
| 13834 | Gentzen's Cut Rule (or transitivity of deduction) is 'If A |- B and B |- C, then A |- C' [Hacking] |
| Full Idea: If A |- B and B |- C, then A |- C. This generalises to: If Γ|-A,Θ and Γ,A |- Θ, then Γ |- Θ. Gentzen called this 'cut'. It is the transitivity of a deduction. | |
| From: Ian Hacking (What is Logic? [1979], §06.3) | |
| A reaction: I read the generalisation as 'If A can be either a premise or a conclusion, you can bypass it'. The first version is just transitivity (which by-passes the middle step). |
| 13835 | Only Cut reduces complexity, so logic is constructive without it, and it can be dispensed with [Hacking] |
| Full Idea: Only the cut rule can have a conclusion that is less complex than its premises. Hence when cut is not used, a derivation is quite literally constructive, building up from components. Any theorem obtained by cut can be obtained without it. | |
| From: Ian Hacking (What is Logic? [1979], §08) |
| 13845 | The various logics are abstractions made from terms like 'if...then' in English [Hacking] |
| Full Idea: I don't believe English is by nature classical or intuitionistic etc. These are abstractions made by logicians. Logicians attend to numerous different objects that might be served by 'If...then', like material conditional, strict or relevant implication. | |
| From: Ian Hacking (What is Logic? [1979], §15) | |
| A reaction: The idea that they are 'abstractions' is close to my heart. Abstractions from what? Surely 'if...then' has a standard character when employed in normal conversation? |
| 13840 | First-order logic is the strongest complete compact theory with Löwenheim-Skolem [Hacking] |
| Full Idea: First-order logic is the strongest complete compact theory with a Löwenheim-Skolem theorem. | |
| From: Ian Hacking (What is Logic? [1979], §13) |
| 13844 | A limitation of first-order logic is that it cannot handle branching quantifiers [Hacking] |
| Full Idea: Henkin proved that there is no first-order treatment of branching quantifiers, which do not seem to involve any idea that is fundamentally different from ordinary quantification. | |
| From: Ian Hacking (What is Logic? [1979], §13) | |
| A reaction: See Hacking for an example of branching quantifiers. Hacking is impressed by this as a real limitation of the first-order logic which he generally favours. |
| 13842 | Second-order completeness seems to need intensional entities and possible worlds [Hacking] |
| Full Idea: Second-order logic has no chance of a completeness theorem unless one ventures into intensional entities and possible worlds. | |
| From: Ian Hacking (What is Logic? [1979], §13) |
| 13837 | With a pure notion of truth and consequence, the meanings of connectives are fixed syntactically [Hacking] |
| Full Idea: My doctrine is that the peculiarity of the logical constants resides precisely in that given a certain pure notion of truth and consequence, all the desirable semantic properties of the constants are determined by their syntactic properties. | |
| From: Ian Hacking (What is Logic? [1979], §09) | |
| A reaction: He opposes this to Peacocke 1976, who claims that the logical connectives are essentially semantic in character, concerned with the preservation of truth. |
| 13839 | Perhaps variables could be dispensed with, by arrows joining places in the scope of quantifiers [Hacking] |
| Full Idea: For some purposes the variables of first-order logic can be regarded as prepositions and place-holders that could in principle be dispensed with, say by a system of arrows indicating what places fall in the scope of which quantifier. | |
| From: Ian Hacking (What is Logic? [1979], §11) | |
| A reaction: I tend to think of variables as either pronouns, or as definite descriptions, or as temporary names, but not as prepositions. Must address this new idea... |
| 13843 | If it is a logic, the Löwenheim-Skolem theorem holds for it [Hacking] |
| Full Idea: A Löwenheim-Skolem theorem holds for anything which, on my delineation, is a logic. | |
| From: Ian Hacking (What is Logic? [1979], §13) | |
| A reaction: I take this to be an unusually conservative view. Shapiro is the chap who can give you an alternative view of these things, or Boolos. |
| 3509 | Externalism may be the key idea in philosophical naturalism [Papineau] |
| Full Idea: Some people view an externalist approach to epistemology as the essence of philosophical naturalism. | |
| From: David Papineau (Philosophical Naturalism [1993], Intro) | |
| A reaction: I suspect philosophers avoid psychology and mental events, simply because they are elusive. Externalism is a theory about justification, and independent of naturalism as a metaphysic. |
| 23218 | The brain has no responsibility for sensations, which occur in the heart [Aristotle] |
| Full Idea: And of course, the brain is not responsible for any of the sensations at all. The correct view is that the seat and source of sensation is the region of the heart. | |
| From: Aristotle (The Parts of Animals [c.345 BCE]), quoted by Matthew Cobb - The Idea of the Brain 1 | |
| A reaction: [Need a reference] Hippocrates's assertion a century earlier made no impression on the great man. I wish he had been a little more circumspect with his own view. |
| 3513 | How does a dualist mind represent, exist outside space, and be transparent to itself? [Papineau] |
| Full Idea: Even dualists must explain how the mind represents things, but then their mind-stuff has so many special powers already (being outside space but in time, being transparent to itself etc.) that one more scarcely seems worth worrying about. | |
| From: David Papineau (Philosophical Naturalism [1993], 3.1 n1) | |
| A reaction: I share the exasperation. It is hard to see how a dualist could even begin to formulate a theory about HOW the mind does so many different things. Could Descartes get a research grant for it? Would we understand God if he tried to explain it to us? |
| 3514 | Functionalism needs causation and intentionality to explain actions [Papineau] |
| Full Idea: The functionalist approach to the mind needs to invoke assumptions about what desires are for and beliefs are about, in order to infer what agents will do. | |
| From: David Papineau (Philosophical Naturalism [1993], 3.2) | |
| A reaction: Isn't the idea that you discover what desires are for and what beliefs are about by examining their function, and what the agent does? Which end should we start? |
| 3510 | Epiphenomenalism is supervenience without physicalism [Papineau] |
| Full Idea: Supervenience is a necessary condition for physicalism, but it is not sufficient. Epiphenomenalism rules out mental variation without physical variation, but says mental properties are quite distinct from physical properties. | |
| From: David Papineau (Philosophical Naturalism [1993], 1.2) | |
| A reaction: I take full epiphenomenalism about mind to be incoherent, and not worth even mentioning (see Idea 7379). Papineau seems to be thinking of so-called property dualism (which may also be incoherent!). |
| 3511 | Supervenience requires all mental events to have physical effects [Papineau] |
| Full Idea: The argument for supervenience rests on the principle that any mental difference must be capable of showing itself in differential physical consequences. | |
| From: David Papineau (Philosophical Naturalism [1993], 1.8) | |
| A reaction: With our current knowledge of the brain, to assume anything less than this sort of correlation would be crazy. |
| 3515 | Knowing what it is like to be something only involves being (physically) that thing [Papineau] |
| Full Idea: Physicalism does not deny that there are conscious experiences, nor that 'it is like something to have them'. The claim is only that this is nothing different from what it is to be a physical system of the relevant kind. | |
| From: David Papineau (Philosophical Naturalism [1993], 4.2) | |
| A reaction: The implication is that no physicalist is an extreme eliminativist about consciousness, which seems to be correct. We all concede that weather exists, but have a reductive view of it. The key question is whether mind is reducible to physics. |
| 3512 | If a mental state is multiply realisable, why does it lead to similar behaviour? [Papineau] |
| Full Idea: If functionalism implies that there is nothing physically in common among the realisations of a given mental state, then there is no possibility of any uniform explanation of why they all give rise to a common physical result. | |
| From: David Papineau (Philosophical Naturalism [1993], 2.2) | |
| A reaction: This is the well known interaction problem for dualism. The standard reply is to accept interaction as a given (with no apparent explanation). A miracle, if you like. |
| 3516 | The Private Language argument only means people may misjudge their experiences [Papineau] |
| Full Idea: I take the moral of the Private Language argument to be that there must be room for error in people's judgements about their experiences, not that those judgements must necessarily be expressed in a language used by a community. | |
| From: David Papineau (Philosophical Naturalism [1993], 4.4 n10) | |
| A reaction: These two readings don't seem to be in conflict, and the argument must have something to say about the communal nature of thought expressed in language. Language imposes introspection on us? |