18 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. |
19323 | 'Snow is white' depends on meaning; whether snow is white depends on snow [Etchemendy] |
Full Idea: The difference between (a) snow is white, and (b) 'snow is white' true is that the first makes a claim that only depends on the colour of snow, while the second depends both on the colour of snow and the meaning of the sentence 'snow is white'. | |
From: John Etchemendy (Tarski on Truth and Logical Consequence [1988], p.61), quoted by Richard L. Kirkham - Theories of Truth: a Critical Introduction 5.7 | |
A reaction: This is a helpful first step for those who have reached screaming point by being continually offered this apparently vacuous equivalence. This sentence works well if that stuff is a particular colour. |
19137 | We can get a substantive account of Tarski's truth by adding primitive 'true' to the object language [Etchemendy] |
Full Idea: Getting from a Tarskian definition of truth to a substantive account of the semantic properties of the object language may involve as little as the reintroduction of a primitive notion of truth. | |
From: John Etchemendy (Tarski on Truth and Logical Consequence [1988], p.60), quoted by Donald Davidson - Truth and Predication 1 | |
A reaction: This is, I think, the first stage in modern developments of axiomatic truth theories. The first problem would be to make sure you haven't reintroduced the Liar Paradox. You need axioms to give behaviour to the 'true' predicate. |
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. |
19743 | A notebook counts as memory, if is available to consciousness and guides our actions [Clark/Chalmers] |
Full Idea: Beliefs are partly constituted by features of the environment. ....a notebook plays for one person the same role that memory plays for another. ...The information is reliably there, available to consciousness, and to guide action, just as belief is. | |
From: A Clark / D Chalmers (The Extended Mind [1998], §4) | |
A reaction: This is the modern externalist approach to beliefs (along with broad content and external cognition systems). Not quite what we used to mean by beliefs, but we'll get used to it. I believe Plato wrote what it said in his books. Is memory just a role? |
6176 | A mechanism can count as 'cognitive' whether it is in the brain or outside it [Clark/Chalmers, by Rowlands] |
Full Idea: If the operation of a brain implant inside the brain is a cognitive operation, why should it not count as a cognitive operation when it is outside the brain? There are many mechanisms which would count as cognitive if they were inside the subject. | |
From: report of A Clark / D Chalmers (The Extended Mind [1998]) by Mark Rowlands - Externalism Ch.9 | |
A reaction: This argues for externalism of the vehicle of thought, rather than its content. The idea is that there is no significant difference between remembering a phone number and writing it on a bit of paper. I find it hard to disagree. |
19741 | If something in the world could equally have been a mental process, it is part of our cognition [Clark/Chalmers] |
Full Idea: If, as we confront some task, a part of the world functions as a process which, were it done in the head, we would have no hesitation in recognising as part of the cognitive process, then that part of the world is part of the cognitive process. | |
From: A Clark / D Chalmers (The Extended Mind [1998], §2) | |
A reaction: In some sense they are obviously right that our cognitive activities spill out into books, calculators, record-keeping. It seems more like an invitation to shift the meaning of the word 'mind', than a proof that we have got it wrong. |
19742 | Consciousness may not extend beyond the head, but cognition need not be conscious [Clark/Chalmers] |
Full Idea: Many identify the cognitive with the conscious, and it seems far from plausible that consciousness extends outside the head in these cases. But not every cognitive process, at least on standard usage, is a conscious process. | |
From: A Clark / D Chalmers (The Extended Mind [1998], §3) | |
A reaction: This gives you two sorts of externalism about mind to consider. No, three, if you say there is extended conceptual content, then extended cognition processes, then extended consciousness. Depends what you mean by 'consciousness'. |
19744 | If a person relies on their notes, those notes are parted of the extended system which is the person [Clark/Chalmers] |
Full Idea: If Otto relies on his notebook, what this comes to is that Otto himself is best regarded as an extended system, a coupling of biological organism and external resources. | |
From: A Clark / D Chalmers (The Extended Mind [1998], §5) | |
A reaction: You start to get giddy as you read this stuff. If two people constantly share a notebook, they begin to blend into one another. It inclines me towards a more 'animalist' view of the nature of a person or a self. |