103 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] |
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] |
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] |
8216 | Deconstruction is not neutral; it intervenes [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] |
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] |
10365 | We might use 'facta' to refer to the truth-makers for facts [Mellor, by Schaffer,J] |
18194 | 'Forcing' can produce new models of ZFC from old models [Maddy] |
18195 | A Large Cardinal Axiom would assert ever-increasing stages in the hierarchy [Maddy] |
13011 | New axioms are being sought, to determine the size of the continuum [Maddy] |
13013 | The Axiom of Extensionality seems to be analytic [Maddy] |
13014 | Extensional sets are clearer, simpler, unique and expressive [Maddy] |
13021 | The Axiom of Infinity states Cantor's breakthrough that launched modern mathematics [Maddy] |
13022 | Infinite sets are essential for giving an account of the real numbers [Maddy] |
18191 | Axiom of Infinity: completed infinite collections can be treated mathematically [Maddy] |
13023 | The Power Set Axiom is needed for, and supported by, accounts of the continuum [Maddy] |
18193 | The Axiom of Foundation says every set exists at a level in the set hierarchy [Maddy] |
13024 | Efforts to prove the Axiom of Choice have failed [Maddy] |
13025 | Modern views say the Choice set exists, even if it can't be constructed [Maddy] |
13026 | A large array of theorems depend on the Axiom of Choice [Maddy] |
17610 | The Axiom of Choice paradoxically allows decomposing a sphere into two identical spheres [Maddy] |
18169 | Axiom of Reducibility: propositional functions are extensionally predicative [Maddy] |
13019 | The Iterative Conception says everything appears at a stage, derived from the preceding appearances [Maddy] |
13018 | Limitation of Size is a vague intuition that over-large sets may generate paradoxes [Maddy] |
17824 | The master science is physical objects divided into sets [Maddy] |
8755 | Maddy replaces pure sets with just objects and perceived sets of objects [Maddy, by Shapiro] |
10594 | Henkin semantics is more plausible for plural logic than for second-order logic [Maddy] |
17620 | Critics of if-thenism say that not all starting points, even consistent ones, are worth studying [Maddy] |
18168 | 'Propositional functions' are propositions with a variable as subject or predicate [Maddy] |
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] |
17605 | Hilbert's geometry and Dedekind's real numbers were role models for axiomatization [Maddy] |
17625 | If two mathematical themes coincide, that suggest a single deep truth [Maddy] |
18190 | Completed infinities resulted from giving foundations to calculus [Maddy] |
18171 | Cantor and Dedekind brought completed infinities into mathematics [Maddy] |
17615 | Every infinite set of reals is either countable or of the same size as the full set of reals [Maddy] |
18172 | Infinity has degrees, and large cardinals are the heart of set theory [Maddy] |
18175 | For any cardinal there is always a larger one (so there is no set of all sets) [Maddy] |
18196 | An 'inaccessible' cardinal cannot be reached by union sets or power sets [Maddy] |
18187 | Theorems about limits could only be proved once the real numbers were understood [Maddy] |
18182 | The extension of concepts is not important to me [Maddy] |
18177 | In the ZFC hierarchy it is impossible to form Frege's set of all three-element sets [Maddy] |
18164 | Frege solves the Caesar problem by explicitly defining each number [Maddy] |
17825 | Set theory (unlike the Peano postulates) can explain why multiplication is commutative [Maddy] |
17826 | Standardly, numbers are said to be sets, which is neat ontology and epistemology [Maddy] |
17828 | Numbers are properties of sets, just as lengths are properties of physical objects [Maddy] |
10718 | A natural number is a property of sets [Maddy, by Oliver] |
18184 | Making set theory foundational to mathematics leads to very fruitful axioms [Maddy] |
18185 | Unified set theory gives a final court of appeal for mathematics [Maddy] |
18183 | Set theory brings mathematics into one arena, where interrelations become clearer [Maddy] |
18186 | Identifying geometric points with real numbers revealed the power of set theory [Maddy] |
18188 | The line of rationals has gaps, but set theory provided an ordered continuum [Maddy] |
17618 | Set-theory tracks the contours of mathematical depth and fruitfulness [Maddy] |
18163 | Mathematics rests on the logic of proofs, and on the set theoretic axioms [Maddy] |
17830 | Number theory doesn't 'reduce' to set theory, because sets have number properties [Maddy] |
17827 | Sets exist where their elements are, but numbers are more like universals [Maddy] |
17823 | If mathematical objects exist, how can we know them, and which objects are they? [Maddy] |
8756 | Intuition doesn't support much mathematics, and we should question its reliability [Maddy, by Shapiro] |
17733 | We know mind-independent mathematical truths through sets, which rest on experience [Maddy, by Jenkins] |
18204 | Scientists posit as few entities as possible, but set theorist posit as many as possible [Maddy] |
18207 | Maybe applications of continuum mathematics are all idealisations [Maddy] |
17614 | The connection of arithmetic to perception has been idealised away in modern infinitary mathematics [Maddy] |
17829 | Number words are unusual as adjectives; we don't say 'is five', and numbers always come first [Maddy] |
18167 | We can get arithmetic directly from HP; Law V was used to get HP from the definition of number [Maddy] |
18205 | The theoretical indispensability of atoms did not at first convince scientists that they were real [Maddy] |
8568 | A property is merely a constituent of laws of nature; temperature is just part of thermodynamics [Mellor] |
8564 | There is obviously a possible predicate for every property [Mellor] |
8566 | We need universals for causation and laws of nature; the latter give them their identity [Mellor] |
8565 | If properties were just the meanings of predicates, they couldn't give predicates their meaning [Mellor] |
21890 | Heidegger showed that passing time is the key to consciousness [Derrida] |
18206 | Science idealises the earth's surface, the oceans, continuities, and liquids [Maddy] |
21880 | 'Tacit theory' controls our thinking (which is why Freud is important) [Derrida] |
21894 | Madness and instability ('the demonic hyperbole') lurks in all language [Derrida] |
21932 | 'Différance' is the interwoven history of each sign [Derrida, by Glendinning] |
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] |
8212 | Everything that is experienced in consciousness is meaning [Derrida] |
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] |
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] |
4785 | Causal statements relate facts (which are whatever true propositions express) [Mellor, by Psillos] |
8567 | Singular causation requires causes to raise the physical probability of their effects [Mellor] |
8408 | Probabilistic causation says C is a cause of E if it increases the chances of E occurring [Mellor, by Tooley] |