89 ideas
21887 | Derrida focuses on other philosophers, rather than on science [Derrida] |
21888 | Philosophy is just a linguistic display [Derrida] |
15357 | Philosophy is the most general intellectual discipline [Horsten] |
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] |
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] |
8210 | Deconstructing philosophy gives the history of concepts, and the repressions behind them [Derrida] |
8211 | The movement of 'différance' is the root of all the oppositional concepts in our language [Derrida] |
6840 | Derrida came to believe in the undeconstructability of justice, which cannot be relativised [Derrida, by Critchley] |
21934 | The idea of being as persistent presence, and meaning as conscious intelligibility, are self-destructive [Derrida, by Glendinning] |
8216 | Deconstruction is not neutral; it intervenes [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] |
21881 | We aim to explore the limits of expression (as in Mallarmé's poetry) [Derrida] |
8213 | I try to analyse certain verbal concepts which block and confuse the dialectical process [Derrida] |
15352 | A definition should allow the defined term to be eliminated [Horsten] |
10882 | Predicative definitions only refer to entities outside the defined collection [Horsten] |
15323 | Truth is a property, because the truth predicate has an extension [Horsten] |
15324 | Semantic theories of truth seek models; axiomatic (syntactic) theories seek logical principles [Horsten] |
15374 | Truth has no 'nature', but we should try to describe its behaviour in inferences [Horsten] |
15348 | Propositions have sentence-like structures, so it matters little which bears the truth [Horsten] |
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] |
15333 | Modern correspondence is said to be with the facts, not with true propositions [Horsten] |
15337 | The correspondence 'theory' is too vague - about both 'correspondence' and 'facts' [Horsten] |
15334 | The coherence theory allows multiple coherent wholes, which could contradict one another [Horsten] |
15336 | The pragmatic theory of truth is relative; useful for group A can be useless for group B [Horsten] |
15354 | Tarski's hierarchy lacks uniform truth, and depends on contingent factors [Horsten] |
15340 | Tarski Bi-conditional: if you'll assert φ you'll assert φ-is-true - and also vice versa [Horsten] |
15345 | Semantic theories have a regress problem in describing truth in the languages for the models [Horsten] |
15332 | 'Reflexive' truth theories allow iterations (it is T that it is T that p) [Horsten] |
15346 | Axiomatic approaches to truth avoid the regress problem of semantic theories [Horsten] |
15361 | A good theory of truth must be compositional (as well as deriving biconditionals) [Horsten] |
15371 | An axiomatic theory needs to be of maximal strength, while being natural and sound [Horsten] |
15350 | The Naïve Theory takes the bi-conditionals as axioms, but it is inconsistent, and allows the Liar [Horsten] |
15351 | Axiomatic theories take truth as primitive, and propose some laws of truth as axioms [Horsten] |
15367 | By adding truth to Peano Arithmetic we increase its power, so truth has mathematical content! [Horsten] |
15373 | Axiomatic approaches avoid limiting definitions to avoid the truth predicate, and limited sizes of models [Horsten] |
15330 | Friedman-Sheard theory keeps classical logic and aims for maximum strength [Horsten] |
15331 | Kripke-Feferman has truth gaps, instead of classical logic, and aims for maximum strength [Horsten] |
15325 | Inferential deflationism says truth has no essence because no unrestricted logic governs the concept [Horsten] |
15356 | Deflationism concerns the nature and role of truth, but not its laws [Horsten] |
15344 | Deflationism skips definitions and models, and offers just accounts of basic laws of truth [Horsten] |
15368 | This deflationary account says truth has a role in generality, and in inference [Horsten] |
15358 | Deflationism says truth isn't a topic on its own - it just concerns what is true [Horsten] |
15359 | Deflation: instead of asserting a sentence, we can treat it as an object with the truth-property [Horsten] |
15329 | Nonclassical may accept T/F but deny applicability, or it may deny just T or F as well [Horsten] |
15326 | Doubt is thrown on classical logic by the way it so easily produces the liar paradox [Horsten] |
15341 | Deduction Theorem: ψ only derivable from φ iff φ→ψ are axioms [Horsten] |
15328 | A theory is 'non-conservative' if it facilitates new mathematical proofs [Horsten] |
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] |
15349 | It is easier to imagine truth-value gaps (for the Liar, say) than for truth-value gluts (both T and F) [Horsten] |
15366 | Satisfaction is a primitive notion, and very liable to semantical paradoxes [Horsten] |
10884 | A theory is 'categorical' if it has just one model up to isomorphism [Horsten] |
15353 | The first incompleteness theorem means that consistency does not entail soundness [Horsten] |
15355 | Strengthened Liar: 'this sentence is not true in any context' - in no context can this be evaluated [Horsten] |
15364 | English expressions are denumerably infinite, but reals are nondenumerable, so many are unnameable [Horsten] |
10885 | Computer proofs don't provide explanations [Horsten] |
10881 | The concept of 'ordinal number' is set-theoretic, not arithmetical [Horsten] |
15360 | ZFC showed that the concept of set is mathematical, not logical, because of its existence claims [Horsten] |
15369 | Set theory is substantial over first-order arithmetic, because it enables new proofs [Horsten] |
15370 | Predicativism says mathematical definitions must not include the thing being defined [Horsten] |
15338 | We may believe in atomic facts, but surely not complex disjunctive ones? [Horsten] |
15363 | In the supervaluationist account, disjunctions are not determined by their disjuncts [Horsten] |
15362 | If 'Italy is large' lacks truth, so must 'Italy is not large'; but classical logic says it's large or it isn't [Horsten] |
15372 | Some claim that indicative conditionals are believed by people, even though they are not actually held true [Horsten] |
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] |
21884 | Capacity for repetitions is the hallmark of language [Derrida] |
21935 | The sign is only conceivable as a movement between elusive presences [Derrida] |
21932 | 'Différance' is the interwoven history of each sign [Derrida, by Glendinning] |
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] |
21886 | Meanings depend on differences and contrasts [Derrida] |
21894 | Madness and instability ('the demonic hyperbole') lurks in all language [Derrida] |
8212 | Everything that is experienced in consciousness is meaning [Derrida] |
9381 | If some inferences are needed to fix meaning, but we don't know which, they are all relevant [Fodor/Lepore, by Boghossian] |
21929 | Derrida focuses on ambiguity, but talks of 'dissemination', not traditional multiple meanings [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] |
15347 | A theory of syntax can be based on Peano arithmetic, thanks to the translation by Gödel coding [Horsten] |
21891 | The good is implicitly violent (against evil), so there is no pure good [Derrida] |
21936 | A community must consist of singular persons, with nothing in common [Derrida, by Glendinning] |
21937 | Can there be democratic friendship without us all becoming identical? [Derrida, by Glendinning] |