Combining Texts

All the ideas for 'works', 'The Development of Logic' and 'Philosophy of Logic'

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


43 ideas

1. Philosophy / D. Nature of Philosophy / 1. Philosophy
Derrida focuses on other philosophers, rather than on science [Derrida]
1. Philosophy / D. Nature of Philosophy / 3. Philosophy Defined
Philosophy is just a linguistic display [Derrida]
1. Philosophy / D. Nature of Philosophy / 5. Aims of Philosophy / e. Philosophy as reason
Philosophy aims to build foundations for thought [Derrida, by May]
1. Philosophy / D. Nature of Philosophy / 7. Despair over Philosophy
Philosophy is necessarily metaphorical, and its writing is aesthetic [Derrida]
1. Philosophy / H. Continental Philosophy / 3. Hermeneutics
Interpretations can be interpreted, so there is no original 'meaning' available [Derrida]
Hermeneutics blunts truth, by conforming it to the interpreter [Derrida, by Zimmermann,J]
Hermeneutics is hostile, trying to overcome the other person's difference [Derrida, by Zimmermann,J]
1. Philosophy / H. Continental Philosophy / 4. Linguistic Structuralism
Structuralism destroys awareness of dynamic meaning [Derrida]
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]
Sincerity can't be verified, so fiction infuses speech, and hence reality also [Derrida]
Sentences are contradictory, as they have opposite meanings in some contexts [Derrida]
We aim to explore the limits of expression (as in Mallarmé's poetry) [Derrida]
3. Truth / A. Truth Problems / 9. Rejecting Truth
Derrida says that all truth-talk is merely metaphor [Derrida, by Engel]
True thoughts are inaccessible, in the subconscious, prior to speech or writing [Derrida]
3. Truth / F. Semantic Truth / 1. Tarski's Truth / a. Tarski's truth definition
For scientific purposes there is a precise concept of 'true-in-L', using set theory [Putnam]
4. Formal Logic / A. Syllogistic Logic / 1. Aristotelian Logic
Modern notation frees us from Aristotle's restriction of only using two class-names in premises [Putnam]
4. Formal Logic / A. Syllogistic Logic / 2. Syllogistic Logic
The universal syllogism is now expressed as the transitivity of subclasses [Putnam]
4. Formal Logic / C. Predicate Calculus PC / 2. Tools of Predicate Calculus / a. Symbols of PC
'⊃' ('if...then') is used with the definition 'Px ⊃ Qx' is short for '¬(Px & ¬Qx)' [Putnam]
4. Formal Logic / F. Set Theory ST / 3. Types of Set / a. Types of set
In type theory, 'x ∈ y' is well defined only if x and y are of the appropriate type [Putnam]
4. Formal Logic / F. Set Theory ST / 4. Axioms for Sets / f. Axiom of Infinity V
The axiom of infinity is not a truth of logic, and its adoption is an abandonment of logicism [Kneale,W and M]
5. Theory of Logic / A. Overview of Logic / 2. History of Logic
Before the late 19th century logic was trivialised by not dealing with relations [Putnam]
5. Theory of Logic / A. Overview of Logic / 5. First-Order Logic
Asserting first-order validity implicitly involves second-order reference to classes [Putnam]
5. Theory of Logic / C. Ontology of Logic / 1. Ontology of Logic
Unfashionably, I think logic has an empirical foundation [Putnam]
5. Theory of Logic / E. Structures of Logic / 5. Functions in Logic
We can identify functions with certain sets - or identify sets with certain functions [Putnam]
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]
'I' is the perfect name, because it denotes without description [Derrida]
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]
5. Theory of Logic / I. Semantics of Logic / 3. Logical Truth
Having a valid form doesn't ensure truth, as it may be meaningless [Putnam]
6. Mathematics / A. Nature of Mathematics / 5. The Infinite / f. Uncountable infinities
Sets larger than the continuum should be studied in an 'if-then' spirit [Putnam]
8. Modes of Existence / E. Nominalism / 1. Nominalism / a. Nominalism
Nominalism only makes sense if it is materialist [Putnam]
9. Objects / A. Existence of Objects / 2. Abstract Objects / b. Need for abstracta
Physics is full of non-physical entities, such as space-vectors [Putnam]
14. Science / A. Basis of Science / 4. Prediction
Most predictions are uninteresting, and are only sought in order to confirm a theory [Putnam]
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]
18. Thought / A. Modes of Thought / 1. Thought
'Tacit theory' controls our thinking (which is why Freud is important) [Derrida]
19. Language / A. Nature of Meaning / 1. Meaning
Meanings depend on differences and contrasts [Derrida]
For Aristotle all proper nouns must have a single sense, which is the purpose of language [Derrida]
Capacity for repetitions is the hallmark of language [Derrida]
The sign is only conceivable as a movement between elusive presences [Derrida]
Writing functions even if the sender or the receiver are absent [Derrida, by Glendinning]
Madness and instability ('the demonic hyperbole') lurks in all language [Derrida]
19. Language / A. Nature of Meaning / 9. Ambiguity
'Dissemination' is opposed to polysemia, since that is irreducible, because of multiple understandings [Derrida, by Glendinning]
19. Language / A. Nature of Meaning / 10. Denial of Meanings
Words exist in 'spacing', so meanings are never synchronic except in writing [Derrida]
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]