55 ideas
| 21887 | Derrida focuses on other philosophers, rather than on science [Derrida] |
| 21888 | Philosophy is just a linguistic display [Derrida] |
| 21896 | Philosophy aims to build foundations for thought [Derrida, by May] |
| 21893 | Philosophy is necessarily metaphorical, and its writing is aesthetic [Derrida] |
| 18859 | Metaphysics is a quest for truthmakers [Tallant] |
| 21892 | Interpretations can be interpreted, so there is no original 'meaning' available [Derrida] |
| 20925 | Hermeneutics blunts truth, by conforming it to the interpreter [Derrida, by Zimmermann,J] |
| 20934 | Hermeneutics is hostile, trying to overcome the other person's difference [Derrida, by Zimmermann,J] |
| 21895 | Structuralism destroys awareness of dynamic meaning [Derrida] |
| 21934 | The idea of being as persistent presence, and meaning as conscious intelligibility, are self-destructive [Derrida, by Glendinning] |
| 21883 | Sincerity can't be verified, so fiction infuses speech, and hence reality also [Derrida] |
| 21882 | Sentences are contradictory, as they have opposite meanings in some contexts [Derrida] |
| 21881 | We aim to explore the limits of expression (as in Mallarmé's poetry) [Derrida] |
| 18861 | Maybe number statements can be paraphrased into quantifications plus identities [Tallant] |
| 4756 | Derrida says that all truth-talk is merely metaphor [Derrida, by Engel] |
| 21877 | True thoughts are inaccessible, in the subconscious, prior to speech or writing [Derrida] |
| 18866 | Maybe only 'positive' truths need truth-makers [Tallant] |
| 18860 | A truthmaker is the minimal portion of reality that will do the job [Tallant] |
| 18863 | What is the truthmaker for a possible new power? [Tallant] |
| 13520 | A 'tautology' must include connectives [Wolf,RS] |
| 13524 | Deduction Theorem: T∪{P}|-Q, then T|-(P→Q), which justifies Conditional Proof [Wolf,RS] |
| 13522 | Universal Generalization: If we prove P(x) with no special assumptions, we can conclude ∀xP(x) [Wolf,RS] |
| 13521 | Universal Specification: ∀xP(x) implies P(t). True for all? Then true for an instance [Wolf,RS] |
| 13523 | Existential Generalization (or 'proof by example'): if we can say P(t), then we can say something is P [Wolf,RS] |
| 13529 | Empty Set: ∃x∀y ¬(y∈x). The unique empty set exists [Wolf,RS] |
| 13526 | Comprehension Axiom: if a collection is clearly specified, it is a set [Wolf,RS] |
| 13534 | In first-order logic syntactic and semantic consequence (|- and |=) nicely coincide [Wolf,RS] |
| 13535 | First-order logic is weakly complete (valid sentences are provable); we can't prove every sentence or its negation [Wolf,RS] |
| 21889 | 'I' is the perfect name, because it denotes without description [Derrida] |
| 21878 | Names have a subjective aspect, especially the role of our own name [Derrida] |
| 21879 | Even Kripke can't explain names; the word is the thing, and the thing is the word [Derrida] |
| 13532 | Model theory 'structures' have a 'universe', some 'relations', some 'functions', and some 'constants' [Wolf,RS] |
| 13519 | Model theory uses sets to show that mathematical deduction fits mathematical truth [Wolf,RS] |
| 13533 | First-order model theory rests on completeness, compactness, and the Löwenheim-Skolem-Tarski theorem [Wolf,RS] |
| 13531 | Model theory reveals the structures of mathematics [Wolf,RS] |
| 13537 | An 'isomorphism' is a bijection that preserves all structural components [Wolf,RS] |
| 13539 | The LST Theorem is a serious limitation of first-order logic [Wolf,RS] |
| 13538 | If a theory is complete, only a more powerful language can strengthen it [Wolf,RS] |
| 13525 | Most deductive logic (unlike ordinary reasoning) is 'monotonic' - we don't retract after new givens [Wolf,RS] |
| 13530 | An ordinal is an equivalence class of well-orderings, or a transitive set whose members are transitive [Wolf,RS] |
| 13518 | Modern mathematics has unified all of its objects within set theory [Wolf,RS] |
| 18864 | The wisdom of Plato and of Socrates are not the same property [Tallant] |
| 18865 | Substance must have two properties: individuation, and property-bearing [Tallant] |
| 21890 | Heidegger showed that passing time is the key to consciousness [Derrida] |
| 21880 | 'Tacit theory' controls our thinking (which is why Freud is important) [Derrida] |
| 21886 | Meanings depend on differences and contrasts [Derrida] |
| 21930 | For Aristotle all proper nouns must have a single sense, which is the purpose of language [Derrida] |
| 21884 | Capacity for repetitions is the hallmark of language [Derrida] |
| 21935 | The sign is only conceivable as a movement between elusive presences [Derrida] |
| 21933 | Writing functions even if the sender or the receiver are absent [Derrida, by Glendinning] |
| 21894 | Madness and instability ('the demonic hyperbole') lurks in all language [Derrida] |
| 21931 | 'Dissemination' is opposed to polysemia, since that is irreducible, because of multiple understandings [Derrida, by Glendinning] |
| 21885 | Words exist in 'spacing', so meanings are never synchronic except in writing [Derrida] |
| 18862 | Are propositions all the thoughts and sentences that are possible? [Tallant] |
| 21891 | The good is implicitly violent (against evil), so there is no pure good [Derrida] |