Combining Texts

All the ideas for 'What is Logic?st1=Ian Hacking', 'works' and 'Problems in the Explanation of Action'

unexpand these ideas     |    start again     |     specify just one area for these texts


40 ideas

1. Philosophy / D. Nature of Philosophy / 1. Philosophy
Derrida focuses on other philosophers, rather than on science [Derrida]
     Full Idea: We should focus on other philosophers, and not on science.
     From: Jacques Derrida (works [1990]), quoted by Barry Stocker - Derrida on Deconstruction
1. Philosophy / D. Nature of Philosophy / 3. Philosophy Defined
Philosophy is just a linguistic display [Derrida]
     Full Idea: Philosophy is entirely linguistic, and is a display.
     From: Jacques Derrida (works [1990]), quoted by Barry Stocker - Derrida on Deconstruction
1. Philosophy / D. Nature of Philosophy / 5. Aims of Philosophy / e. Philosophy as reason
Philosophy aims to build foundations for thought [Derrida, by May]
     Full Idea: Derrida points out that the project of philosophy consists largely in attempting to build foundations for thought.
     From: report of Jacques Derrida (works [1990]) by Todd May - Gilles Deleuze 1.04
     A reaction: You would first need to be convinced that there could be such a thing as foundations for thinking. Derrida thinks the project is hopeless. I think of it more as building an ideal framework for thought.
1. Philosophy / D. Nature of Philosophy / 7. Despair over Philosophy
Philosophy is necessarily metaphorical, and its writing is aesthetic [Derrida]
     Full Idea: All of philosophy is necessarily metaphorical, and hence aesthetic.
     From: Jacques Derrida (works [1990]), quoted by Barry Stocker - Derrida on Deconstruction
1. Philosophy / H. Continental Philosophy / 3. Hermeneutics
Interpretations can be interpreted, so there is no original 'meaning' available [Derrida]
     Full Idea: Because interpretations of texts can be interpreted, they can therefore have no 'original meaning'.
     From: Jacques Derrida (works [1990]), quoted by Barry Stocker - Derrida on Deconstruction
Hermeneutics blunts truth, by conforming it to the interpreter [Derrida, by Zimmermann,J]
     Full Idea: Derrida worried that hermeneutics blunts the disruptive power of truth by forcing it conform to the interpreter's mental horizon.
     From: report of Jacques Derrida (works [1990]) by Jens Zimmermann - Hermeneutics: a very short introduction 3 'The heart'
     A reaction: Good heavens - I agree with Derrida. Very French, though, to see the value of truth in its disruptiveness. I tend to find the truth reassuring, but then I'm English.
Hermeneutics is hostile, trying to overcome the other person's difference [Derrida, by Zimmermann,J]
     Full Idea: Derrida described the hermeneutic impulse to understand another as a form of violence that seeks to overcome the other's particularity and unique difference.
     From: report of Jacques Derrida (works [1990]) by Jens Zimmermann - Hermeneutics: a very short introduction App 'Derrida'
     A reaction: I'm not sure about 'violence', but Derrida was on to somethng here. The 'hermeneutic circle' sounds like a creepy process of absorption, where the original writer disappears in a whirlpool of interpretation.
1. Philosophy / H. Continental Philosophy / 4. Linguistic Structuralism
Structuralism destroys awareness of dynamic meaning [Derrida]
     Full Idea: Structuralism destroys awareness of dynamic meaning.
     From: Jacques Derrida (works [1990]), quoted by Barry Stocker - Derrida on Deconstruction
1. Philosophy / H. Continental Philosophy / 6. Deconstruction
The idea of being as persistent presence, and meaning as conscious intelligibility, are self-destructive [Derrida, by Glendinning]
     Full Idea: The tradition of conceiving being in terms of persisting presence, and meaning in terms of pure intelligibility or logos potentially present to the mind, finds itself dismantled by resources internal to its own construction.
     From: report of Jacques Derrida (works [1990]) by Simon Glendinning - Derrida: A Very Short Introduction 6
     A reaction: [compressed] Glendinning says this is the basic meaning of de-construction. My personal reading of this is that Aristotle is right, and grand talk of Being is hopeless, so we should just aim to understand objects. I also believe in propositions.
Sincerity can't be verified, so fiction infuses speech, and hence reality also [Derrida]
     Full Idea: Sincerity can never be verified, so fiction infuses all speech, which means that reality is also fictional.
     From: Jacques Derrida (works [1990]), quoted by Barry Stocker - Derrida on Deconstruction
Sentences are contradictory, as they have opposite meanings in some contexts [Derrida]
     Full Idea: Sentences are implicitly contradictory, because they can be used differently in different contexts (most obviously in 'I am ill').
     From: Jacques Derrida (works [1990]), quoted by Barry Stocker - Derrida on Deconstruction
We aim to explore the limits of expression (as in Mallarmé's poetry) [Derrida]
     Full Idea: The aim is to explore the limits of expression (which is what makes the poetry of Mallarmé so important).
     From: Jacques Derrida (works [1990]), quoted by Barry Stocker - Derrida on Deconstruction
2. Reason / D. Definition / 3. Types of Definition
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.
3. Truth / A. Truth Problems / 9. Rejecting Truth
Derrida says that all truth-talk is merely metaphor [Derrida, by Engel]
     Full Idea: Derrida's view is that every discourse is metaphorical, and there is no difference between truth-talk and metaphor.
     From: report of Jacques Derrida (works [1990]) by Pascal Engel - Truth §2.5
     A reaction: Right. Note that this is a Frenchman's summary. How would one define metaphor, without mentioning that it is parasitic on truth? Certainly some language tries to be metaphor, and other language tries not to be.
True thoughts are inaccessible, in the subconscious, prior to speech or writing [Derrida]
     Full Idea: 'True' thoughts are inaccessible, buried in the subconscious, long before they get to speech or writing.
     From: Jacques Derrida (works [1990]), quoted by Barry Stocker - Derrida on Deconstruction
     A reaction: [My reading of some Derrida produced no quotations. I've read two commentaries, which were obscure. The Derrida ideas in this db are my simplistic tertiary summaries. Experts can chuckle over my failure]
4. Formal Logic / B. Propositional Logic PL / 2. Tools of Propositional Logic / d. Basic theorems of PL
'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.
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).
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)
5. Theory of Logic / A. Overview of Logic / 4. Pure Logic
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?
5. Theory of Logic / A. Overview of Logic / 5. First-Order Logic
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)
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.
5. Theory of Logic / A. Overview of Logic / 7. Second-Order Logic
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)
5. Theory of Logic / E. Structures of Logic / 2. Logical Connectives / a. Logical connectives
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.
5. Theory of Logic / E. Structures of Logic / 4. Variables in Logic
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...
5. Theory of Logic / F. Referring in Logic / 1. Naming / b. Names as descriptive
Names have a subjective aspect, especially the role of our own name [Derrida]
     Full Idea: We can give a subjective account of names, by considering our own name.
     From: Jacques Derrida (works [1990]), quoted by Barry Stocker - Derrida on Deconstruction
'I' is the perfect name, because it denotes without description [Derrida]
     Full Idea: 'I' is the perfect name, because it denotes without description.
     From: Jacques Derrida (works [1990]), quoted by Barry Stocker - Derrida on Deconstruction
5. Theory of Logic / F. Referring in Logic / 1. Naming / c. Names as referential
Even Kripke can't explain names; the word is the thing, and the thing is the word [Derrida]
     Full Idea: Even Kripke can't explain names, because the word is the thing, and also the thing is the word.
     From: Jacques Derrida (works [1990]), quoted by Barry Stocker - Derrida on Deconstruction
5. Theory of Logic / J. Model Theory in Logic / 3. Löwenheim-Skolem Theorems
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.
15. Nature of Minds / B. Features of Minds / 1. Consciousness / b. Essence of consciousness
Heidegger showed that passing time is the key to consciousness [Derrida]
     Full Idea: Heidegger showed us the importance of transient time for consciousness.
     From: Jacques Derrida (works [1990]), quoted by Barry Stocker - Derrida on Deconstruction
18. Thought / A. Modes of Thought / 1. Thought
'Tacit theory' controls our thinking (which is why Freud is important) [Derrida]
     Full Idea: All thought is controlled by tacit theory (which is why Freud is so important).
     From: Jacques Derrida (works [1990]), quoted by Barry Stocker - Derrida on Deconstruction
     A reaction: This idea is said to be the essential thought of Derrida's Deconstruction. The aim is liberation of thought, by identifying and bypassing these tacit metaphysical schemas.
19. Language / A. Nature of Meaning / 1. Meaning
Meanings depend on differences and contrasts [Derrida]
     Full Idea: Meaning depends on 'differences' (contrasts).
     From: Jacques Derrida (works [1990]), quoted by Barry Stocker - Derrida on Deconstruction
For Aristotle all proper nouns must have a single sense, which is the purpose of language [Derrida]
     Full Idea: A noun [for Aristotle] is proper when it has but a single sense. Better, it is only in this case that it is properly a noun. Univocity is the essence, or better, the telos of language.
     From: Jacques Derrida (works [1990]), quoted by Simon Glendinning - Derrida: A Very Short Introduction 5
     A reaction: [no ref given] His target seem to be Aristotelian definition, and also formal logic, which usually needs unambiguous meanings. {I'm puzzled that he thinks 'telos' is simply better than 'essence', since it is quite different].
Capacity for repetitions is the hallmark of language [Derrida]
     Full Idea: The capacity for repetitions is the hallmark of language.
     From: Jacques Derrida (works [1990]), quoted by Barry Stocker - Derrida on Deconstruction
The sign is only conceivable as a movement between elusive presences [Derrida]
     Full Idea: The sign is conceivable only on the basis of the presence that it defers, and moving toward the deferred presence that it aims to reappropriate.
     From: Jacques Derrida (works [1990]), quoted by Simon Glendinning - Derrida: A Very Short Introduction 6
     A reaction: [Glendinning gives no source for this] I take the fundamental idea to be that meanings are dynamic, when they are traditionally understood as static (and specifiable in dictionaries).
Writing functions even if the sender or the receiver are absent [Derrida, by Glendinning]
     Full Idea: Writing can and must be able to do without the presence of the sender. ...Also writing can and must he able to do without the presence of the receiver.
     From: report of Jacques Derrida (works [1990]) by Simon Glendinning - Derrida: A Very Short Introduction 6
     A reaction: In simple terms, one of them could die during the transmission. This is the grounds for the assertion of the primacy of writing. It opposes orthodox views which define language in terms of sender and receiver.
Madness and instability ('the demonic hyperbole') lurks in all language [Derrida]
     Full Idea: Madness and instability ('the demonic hyperbole') lurks behind all language.
     From: Jacques Derrida (works [1990]), quoted by Barry Stocker - Derrida on Deconstruction
19. Language / A. Nature of Meaning / 9. Ambiguity
'Dissemination' is opposed to polysemia, since that is irreducible, because of multiple understandings [Derrida, by Glendinning]
     Full Idea: The intention to oppose polysemia with dissemination does not aim to affirm that everything we say is ambiguous, but that polysemia is irreducible in the sense that each and every 'meaning' is itself subject to more than one understanding.
     From: report of Jacques Derrida (works [1990]) by Simon Glendinning - Derrida: A Very Short Introduction 5
     A reaction: The key point, I think, is that ambiguity and polysemia are not failures of language (which is the way most logicians see it), but part of the essential and irreducible nature of language. Nietzsche started this line of thought.
19. Language / A. Nature of Meaning / 10. Denial of Meanings
Words exist in 'spacing', so meanings are never synchronic except in writing [Derrida]
     Full Idea: Words only exist is 'spacings' (of time and space), so there are no synchronic meanings (except perhaps in writing).
     From: Jacques Derrida (works [1990]), quoted by Barry Stocker - Derrida on Deconstruction
20. Action / B. Preliminaries of Action / 1. Intention to Act / b. Types of intention
We can keep Davidson's account of intentions in action, by further explaining prior intentions [Davidson, by Stout,R]
     Full Idea: Davidson's original account of intentions might still stand if we could accept that prior intentions are different in kind from intentions with which one acts.
     From: report of Donald Davidson (Problems in the Explanation of Action [1987]) by Rowland Stout - Action 8 'Davidson's'
     A reaction: Davidson says prior intention is all-out judgement of desirability. Prior intentions are more deliberate, with the other intentions as a presumed background to action. Compare Sartre's dual account of the self.
22. Metaethics / C. The Good / 1. Goodness / a. Form of the Good
The good is implicitly violent (against evil), so there is no pure good [Derrida]
     Full Idea: Even the good is implicitly violent (against evil), so there can be no 'pure' good.
     From: Jacques Derrida (works [1990]), quoted by Barry Stocker - Derrida on Deconstruction