Combining Texts

All the ideas for 'Frege's Theory of Numbers', 'works' and 'Formal and Material Consequence'

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


36 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
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]
5. Theory of Logic / A. Overview of Logic / 4. Pure Logic
If logic is topic-neutral that means it delves into all subjects, rather than having a pure subject matter [Read]
     Full Idea: The topic-neutrality of logic need not mean there is a pure subject matter for logic; rather, that the logician may need to go everywhere, into mathematics and even into metaphysics.
     From: Stephen Read (Formal and Material Consequence [1994], 'Logic')
5. Theory of Logic / B. Logical Consequence / 1. Logical Consequence
Not all arguments are valid because of form; validity is just true premises and false conclusion being impossible [Read]
     Full Idea: Belief that every valid argument is valid in virtue of form is a myth. ..Validity is a question of the impossibility of true premises and false conclusion for whatever reason, and some arguments are materially valid and the reason is not purely logical.
     From: Stephen Read (Formal and Material Consequence [1994], 'Logic')
     A reaction: An example of a non-logical reason is the transitive nature of 'taller than'. Conceptual connections are the usual example, as in 'it's red so it is coloured'. This seems to be a defence of the priority of semantic consequence in logic.
If the logic of 'taller of' rests just on meaning, then logic may be the study of merely formal consequence [Read]
     Full Idea: In 'A is taller than B, and B is taller than C, so A is taller than C' this can been seen as a matter of meaning - it is part of the meaning of 'taller' that it is transitive, but not of logic. Logic is now seen as the study of formal consequence.
     From: Stephen Read (Formal and Material Consequence [1994], 'Reduct')
     A reaction: I think I find this approach quite appealing. Obviously you can reason about taller-than relations, by putting the concepts together like jigsaw pieces, but I tend to think of logic as something which is necessarily implementable on a machine.
Maybe arguments are only valid when suppressed premises are all stated - but why? [Read]
     Full Idea: Maybe some arguments are really only valid when a suppressed premise is made explicit, as when we say that 'taller than' is a transitive concept. ...But what is added by making the hidden premise explicit? It cannot alter the soundness of the argument.
     From: Stephen Read (Formal and Material Consequence [1994], 'Suppress')
5. Theory of Logic / B. Logical Consequence / 5. Modus Ponens
In modus ponens the 'if-then' premise contributes nothing if the conclusion follows anyway [Read]
     Full Idea: A puzzle about modus ponens is that the major premise is either false or unnecessary: A, If A then B / so B. If the major premise is true, then B follows from A, so the major premise is redundant. So it is false or not needed, and contributes nothing.
     From: Stephen Read (Formal and Material Consequence [1994], 'Repres')
     A reaction: Not sure which is the 'major premise' here, but it seems to be saying that the 'if A then B' is redundant. If I say 'it's raining so the grass is wet', it seems pointless to slip in the middle the remark that rain implies wet grass. Good point.
5. Theory of Logic / E. Structures of Logic / 2. Logical Connectives / a. Logical connectives
Logical connectives contain no information, but just record combination relations between facts [Read]
     Full Idea: The logical connectives are useful for bundling information, that B follows from A, or that one of A or B is true. ..They import no information of their own, but serve to record combinations of other facts.
     From: Stephen Read (Formal and Material Consequence [1994], 'Repres')
     A reaction: Anyone who suggests a link between logic and 'facts' gets my vote, so this sounds a promising idea. However, logical truths have a high degree of generality, which seems somehow above the 'facts'.
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
6. Mathematics / A. Nature of Mathematics / 4. Using Numbers / c. Counting procedure
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'.
10. Modality / B. Possibility / 8. Conditionals / d. Non-truthfunction conditionals
Conditionals are just a shorthand for some proof, leaving out the details [Read]
     Full Idea: Truth enables us to carry various reports around under certain descriptions ('what Iain said') without all the bothersome detail. Similarly, conditionals enable us to transmit a record of proof without its detail.
     From: Stephen Read (Formal and Material Consequence [1994], 'Repres')
     A reaction: This is his proposed Redundancy Theory of conditionals. It grows out of the problem with Modus Ponens mentioned in Idea 14184. To say that there is always an implied 'proof' seems a large claim.
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
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