58 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] |
21892 | Interpretations can be interpreted, so there is no original 'meaning' available [Derrida] |
20934 | Hermeneutics is hostile, trying to overcome the other person's difference [Derrida, by Zimmermann,J] |
20925 | Hermeneutics blunts truth, by conforming it to the interpreter [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] |
21881 | We aim to explore the limits of expression (as in Mallarmé's poetry) [Derrida] |
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] |
16877 | A 'constructive' (as opposed to 'analytic') definition creates a new sign [Frege] |
11219 | Frege suggested that mathematics should only accept stipulative definitions [Frege, by Gupta] |
16878 | We must be clear about every premise and every law used in a proof [Frege] |
15647 | Truth definitions don't produce a good theory, because they go beyond your current language [Halbach] |
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] |
15649 | In semantic theories of truth, the predicate is in an object-language, and the definition in a metalanguage [Halbach] |
15655 | Should axiomatic truth be 'conservative' - not proving anything apart from implications of the axioms? [Halbach] |
15654 | If truth is defined it can be eliminated, whereas axiomatic truth has various commitments [Halbach] |
15648 | Instead of a truth definition, add a primitive truth predicate, and axioms for how it works [Halbach] |
15650 | Axiomatic theories of truth need a weak logical framework, and not a strong metatheory [Halbach] |
15656 | Deflationists say truth merely serves to express infinite conjunctions [Halbach] |
15657 | To prove the consistency of set theory, we must go beyond set theory [Halbach] |
16867 | Logic not only proves things, but also reveals logical relations between them [Frege] |
16863 | Does some mathematical reasoning (such as mathematical induction) not belong to logic? [Frege] |
16862 | The closest subject to logic is mathematics, which does little apart from drawing inferences [Frege] |
15652 | We can use truth instead of ontologically loaded second-order comprehension assumptions about properties [Halbach] |
15651 | Instead of saying x has a property, we can say a formula is true of x - as long as we have 'true' [Halbach] |
16865 | 'Theorems' are both proved, and used in proofs [Frege] |
21878 | Names have a subjective aspect, especially the role of our own name [Derrida] |
21889 | 'I' is the perfect name, because it denotes without description [Derrida] |
21879 | Even Kripke can't explain names; the word is the thing, and the thing is the word [Derrida] |
16866 | Tracing inference backwards closes in on a small set of axioms and postulates [Frege] |
16868 | The essence of mathematics is the kernel of primitive truths on which it rests [Frege] |
16870 | Axioms are truths which cannot be doubted, and for which no proof is needed [Frege] |
16871 | A truth can be an axiom in one system and not in another [Frege] |
16869 | To create order in mathematics we need a full system, guided by patterns of inference [Frege] |
16864 | If principles are provable, they are theorems; if not, they are axioms [Frege] |
9388 | Every concept must have a sharp boundary; we cannot allow an indeterminate third case [Frege] |
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] |
16876 | We need definitions to cram retrievable sense into a signed receptacle [Frege] |
16875 | We use signs to mark receptacles for complex senses [Frege] |
21884 | Capacity for repetitions is the hallmark of language [Derrida] |
21935 | The sign is only conceivable as a movement between elusive presences [Derrida] |
21930 | For Aristotle all proper nouns must have a single sense, which is the purpose of language [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] |
21886 | Meanings depend on differences and contrasts [Derrida] |
16879 | A sign won't gain sense just from being used in sentences with familiar components [Frege] |
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] |
16873 | Thoughts are not subjective or psychological, because some thoughts are the same for us all [Frege] |
16872 | A thought is the sense expressed by a sentence, and is what we prove [Frege] |
16874 | The parts of a thought map onto the parts of a sentence [Frege] |
21891 | The good is implicitly violent (against evil), so there is no pure good [Derrida] |