43 ideas
| 21887 | Derrida focuses on other philosophers, rather than on science [Derrida] |
| Full Idea: We should focus on other philosophers, and not on science. | |
| From: Jacques Derrida (works [1990]), quoted by Barry Stocker - Derrida on Deconstruction |
| 21888 | Philosophy is just a linguistic display [Derrida] |
| Full Idea: Philosophy is entirely linguistic, and is a display. | |
| From: Jacques Derrida (works [1990]), quoted by Barry Stocker - Derrida on Deconstruction |
| 21896 | Philosophy aims to build foundations for thought [Derrida, by May] |
| Full Idea: Derrida points out that the project of philosophy consists largely in attempting to build foundations for thought. | |
| From: report of Jacques Derrida (works [1990]) by Todd May - Gilles Deleuze 1.04 | |
| A reaction: You would first need to be convinced that there could be such a thing as foundations for thinking. Derrida thinks the project is hopeless. I think of it more as building an ideal framework for thought. |
| 21893 | Philosophy is necessarily metaphorical, and its writing is aesthetic [Derrida] |
| Full Idea: All of philosophy is necessarily metaphorical, and hence aesthetic. | |
| From: Jacques Derrida (works [1990]), quoted by Barry Stocker - Derrida on Deconstruction |
| 21892 | Interpretations can be interpreted, so there is no original 'meaning' available [Derrida] |
| Full Idea: Because interpretations of texts can be interpreted, they can therefore have no 'original meaning'. | |
| From: Jacques Derrida (works [1990]), quoted by Barry Stocker - Derrida on Deconstruction |
| 20925 | Hermeneutics blunts truth, by conforming it to the interpreter [Derrida, by Zimmermann,J] |
| Full Idea: Derrida worried that hermeneutics blunts the disruptive power of truth by forcing it conform to the interpreter's mental horizon. | |
| From: report of Jacques Derrida (works [1990]) by Jens Zimmermann - Hermeneutics: a very short introduction 3 'The heart' | |
| A reaction: Good heavens - I agree with Derrida. Very French, though, to see the value of truth in its disruptiveness. I tend to find the truth reassuring, but then I'm English. |
| 20934 | Hermeneutics is hostile, trying to overcome the other person's difference [Derrida, by Zimmermann,J] |
| Full Idea: Derrida described the hermeneutic impulse to understand another as a form of violence that seeks to overcome the other's particularity and unique difference. | |
| From: report of Jacques Derrida (works [1990]) by Jens Zimmermann - Hermeneutics: a very short introduction App 'Derrida' | |
| A reaction: I'm not sure about 'violence', but Derrida was on to somethng here. The 'hermeneutic circle' sounds like a creepy process of absorption, where the original writer disappears in a whirlpool of interpretation. |
| 21895 | Structuralism destroys awareness of dynamic meaning [Derrida] |
| Full Idea: Structuralism destroys awareness of dynamic meaning. | |
| From: Jacques Derrida (works [1990]), quoted by Barry Stocker - Derrida on Deconstruction |
| 21934 | The idea of being as persistent presence, and meaning as conscious intelligibility, are self-destructive [Derrida, by Glendinning] |
| Full Idea: The tradition of conceiving being in terms of persisting presence, and meaning in terms of pure intelligibility or logos potentially present to the mind, finds itself dismantled by resources internal to its own construction. | |
| From: report of Jacques Derrida (works [1990]) by Simon Glendinning - Derrida: A Very Short Introduction 6 | |
| A reaction: [compressed] Glendinning says this is the basic meaning of de-construction. My personal reading of this is that Aristotle is right, and grand talk of Being is hopeless, so we should just aim to understand objects. I also believe in propositions. |
| 21883 | Sincerity can't be verified, so fiction infuses speech, and hence reality also [Derrida] |
| Full Idea: Sincerity can never be verified, so fiction infuses all speech, which means that reality is also fictional. | |
| From: Jacques Derrida (works [1990]), quoted by Barry Stocker - Derrida on Deconstruction |
| 21882 | Sentences are contradictory, as they have opposite meanings in some contexts [Derrida] |
| Full Idea: Sentences are implicitly contradictory, because they can be used differently in different contexts (most obviously in 'I am ill'). | |
| From: Jacques Derrida (works [1990]), quoted by Barry Stocker - Derrida on Deconstruction |
| 21881 | We aim to explore the limits of expression (as in Mallarmé's poetry) [Derrida] |
| Full Idea: The aim is to explore the limits of expression (which is what makes the poetry of Mallarmé so important). | |
| From: Jacques Derrida (works [1990]), quoted by Barry Stocker - Derrida on Deconstruction |
| 7807 | The laws of thought are true, but they are not the axioms of logic [Bolzano, by George/Van Evra] |
| Full Idea: Bolzano said the 'laws of thought' (identity, contradiction, excluded middle) are true, but nothing of interest follows from them. Logic obeys them, but they are not logic's first principles or axioms. | |
| From: report of Bernard Bolzano (Theory of Science (Wissenschaftslehre, 4 vols) [1837], §3) by George / Van Evra - The Rise of Modern Logic | |
| A reaction: An interesting and crucial distinction. For samples of proposed axioms of logic, see Ideas 6408, 7798 and 7797. |
| 10153 | In everyday language, truth seems indefinable, inconsistent, and illogical [Tarski] |
| Full Idea: In everyday language it seems impossible to define the notion of truth or even to use this notion in a consistent manner and in agreement with the laws of logic. | |
| From: Alfred Tarski (works [1936]), quoted by Feferman / Feferman - Alfred Tarski: life and logic Int III | |
| A reaction: [1935] See Logic|Theory of Logic|Semantics of Logic for Tarski's approach to truth. |
| 4756 | Derrida says that all truth-talk is merely metaphor [Derrida, by Engel] |
| Full Idea: Derrida's view is that every discourse is metaphorical, and there is no difference between truth-talk and metaphor. | |
| From: report of Jacques Derrida (works [1990]) by Pascal Engel - Truth §2.5 | |
| A reaction: Right. Note that this is a Frenchman's summary. How would one define metaphor, without mentioning that it is parasitic on truth? Certainly some language tries to be metaphor, and other language tries not to be. |
| 21877 | True thoughts are inaccessible, in the subconscious, prior to speech or writing [Derrida] |
| Full Idea: 'True' thoughts are inaccessible, buried in the subconscious, long before they get to speech or writing. | |
| From: Jacques Derrida (works [1990]), quoted by Barry Stocker - Derrida on Deconstruction | |
| A reaction: [My reading of some Derrida produced no quotations. I've read two commentaries, which were obscure. The Derrida ideas in this db are my simplistic tertiary summaries. Experts can chuckle over my failure] |
| 19141 | Tarski thought axiomatic truth was too contingent, and in danger of inconsistencies [Tarski, by Davidson] |
| Full Idea: Tarski preferred an explicit definition of truth to axioms. He says axioms have a rather accidental character, only a definition can guarantee the continued consistency of the system, and it keeps truth in harmony with physical science and physicalism. | |
| From: report of Alfred Tarski (works [1936]) by Donald Davidson - Truth and Predication 2 n2 | |
| A reaction: Davidson's summary, gleaned from various sources in Tarski. A big challenge for modern axiom systems is to avoid inconsistency, which is extremely hard to do (given that set theory is not sure of having achieved it). |
| 10048 | There is no clear boundary between the logical and the non-logical [Tarski] |
| Full Idea: No objective grounds are known to me which permit us to draw a sharp boundary between the two groups of terms, the logical and the non-logical. | |
| From: Alfred Tarski (works [1936]), quoted by Alan Musgrave - Logicism Revisited §3 | |
| A reaction: Musgrave is pointing out that this is bad news if you want to 'reduce' something like arithmetic to logic. 'Logic' is a vague object. |
| 10479 | Logical consequence: true premises give true conclusions under all interpretations [Tarski, by Hodges,W] |
| Full Idea: Tarski's definition of logical consequence (1936) is that in a fully interpreted formal language an argument is valid iff under any allowed interpretation of its nonlogical symbols, if the premises are true then so is the conclusion. | |
| From: report of Alfred Tarski (works [1936]) by Wilfrid Hodges - Model Theory 3 | |
| A reaction: The idea that you can only make these claims 'under an interpretation' seems to have had a huge influence on later philosophical thinking. |
| 10694 | Logical consequence is when in any model in which the premises are true, the conclusion is true [Tarski, by Beall/Restall] |
| Full Idea: Tarski's 1936 definition of logical consequence is that in any model in which the premises are true, the conclusion is true too (so that no model can make the conclusion false). | |
| From: report of Alfred Tarski (works [1936]) by JC Beall / G Restall - Logical Consequence 3 | |
| A reaction: So the general idea is that a logical consequence is distinguished by being unstoppable. Sounds good. But then we have monotonic and non-monotonic logics, which (I'm guessing) embody different notions of consequence. |
| 21878 | Names have a subjective aspect, especially the role of our own name [Derrida] |
| Full Idea: We can give a subjective account of names, by considering our own name. | |
| From: Jacques Derrida (works [1990]), quoted by Barry Stocker - Derrida on Deconstruction |
| 21889 | 'I' is the perfect name, because it denotes without description [Derrida] |
| Full Idea: 'I' is the perfect name, because it denotes without description. | |
| From: Jacques Derrida (works [1990]), quoted by Barry Stocker - Derrida on Deconstruction |
| 21879 | Even Kripke can't explain names; the word is the thing, and the thing is the word [Derrida] |
| Full Idea: Even Kripke can't explain names, because the word is the thing, and also the thing is the word. | |
| From: Jacques Derrida (works [1990]), quoted by Barry Stocker - Derrida on Deconstruction |
| 9618 | Bolzano wanted to reduce all of geometry to arithmetic [Bolzano, by Brown,JR] |
| Full Idea: Bolzano if the father of 'arithmetization', which sought to found all of analysis on the concepts of arithmetic and to eliminate geometrical notions entirely (with logicism taking it a step further, by reducing arithmetic to logic). | |
| From: report of Bernard Bolzano (Theory of Science (Wissenschaftslehre, 4 vols) [1837]) by James Robert Brown - Philosophy of Mathematics Ch. 3 | |
| A reaction: Brown's book is a defence of geometrical diagrams against Bolzano's approach. Bolzano sounds like the modern heir of Pythagoras, if he thinks that space is essentially numerical. |
| 10157 | Tarski improved Hilbert's geometry axioms, and without set-theory [Tarski, by Feferman/Feferman] |
| Full Idea: Tarski found an elegant new axiom system for Euclidean geometry that improved Hilbert's earlier version - and he formulated it without the use of set-theoretical notions. | |
| From: report of Alfred Tarski (works [1936]) by Feferman / Feferman - Alfred Tarski: life and logic Ch.9 |
| 9830 | Bolzano began the elimination of intuition, by proving something which seemed obvious [Bolzano, by Dummett] |
| Full Idea: Bolzano began the process of eliminating intuition from analysis, by proving something apparently obvious (that as continuous function must be zero at some point). Proof reveals on what a theorem rests, and that it is not intuition. | |
| From: report of Bernard Bolzano (Theory of Science (Wissenschaftslehre, 4 vols) [1837]) by Michael Dummett - Frege philosophy of mathematics Ch.6 | |
| A reaction: Kant was the target of Bolzano's attack. Two responses might be to say that many other basic ideas are intuited but impossible to prove, or to say that proof itself depends on intuition, if you dig deep enough. |
| 17265 | Philosophical proofs in mathematics establish truths, and also show their grounds [Bolzano, by Correia/Schnieder] |
| Full Idea: Mathematical proofs are philosophical in method if they do not only demonstrate that a certain mathematical truth holds but if they also disclose why it holds, that is, if they uncover its grounds. | |
| From: report of Bernard Bolzano (Theory of Science (Wissenschaftslehre, 4 vols) [1837]) by Correia,F/Schnieder,B - Grounding: an opinionated introduction 2.3 | |
| A reaction: I aim to defend the role of explanation in mathematics, but this says that this is only if the proofs are 'philosophical', which may be of no interest to mathematicians. Oh well, that's their loss. |
| 9185 | Bolzano wanted to avoid Kantian intuitions, and prove everything that could be proved [Bolzano, by Dummett] |
| Full Idea: Bolzano was determined to expel Kantian intuition from analysis, and to prove from first principles anything that could be proved, no matter how obvious it might seem when thought of in geometrical terms. | |
| From: report of Bernard Bolzano (Theory of Science (Wissenschaftslehre, 4 vols) [1837]) by Michael Dummett - The Philosophy of Mathematics 2.3 | |
| A reaction: This is characteristic of the Enlightenment Project, well after the Enlightenment. It is a step towards Frege's attack on 'psychologism' in mathematics. The problem is that it led us into a spurious platonism. We live in troubled times. |
| 21890 | Heidegger showed that passing time is the key to consciousness [Derrida] |
| Full Idea: Heidegger showed us the importance of transient time for consciousness. | |
| From: Jacques Derrida (works [1990]), quoted by Barry Stocker - Derrida on Deconstruction |
| 21880 | 'Tacit theory' controls our thinking (which is why Freud is important) [Derrida] |
| Full Idea: All thought is controlled by tacit theory (which is why Freud is so important). | |
| From: Jacques Derrida (works [1990]), quoted by Barry Stocker - Derrida on Deconstruction | |
| A reaction: This idea is said to be the essential thought of Derrida's Deconstruction. The aim is liberation of thought, by identifying and bypassing these tacit metaphysical schemas. |
| 21884 | Capacity for repetitions is the hallmark of language [Derrida] |
| Full Idea: The capacity for repetitions is the hallmark of language. | |
| From: Jacques Derrida (works [1990]), quoted by Barry Stocker - Derrida on Deconstruction |
| 21935 | The sign is only conceivable as a movement between elusive presences [Derrida] |
| Full Idea: The sign is conceivable only on the basis of the presence that it defers, and moving toward the deferred presence that it aims to reappropriate. | |
| From: Jacques Derrida (works [1990]), quoted by Simon Glendinning - Derrida: A Very Short Introduction 6 | |
| A reaction: [Glendinning gives no source for this] I take the fundamental idea to be that meanings are dynamic, when they are traditionally understood as static (and specifiable in dictionaries). |
| 21930 | For Aristotle all proper nouns must have a single sense, which is the purpose of language [Derrida] |
| Full Idea: A noun [for Aristotle] is proper when it has but a single sense. Better, it is only in this case that it is properly a noun. Univocity is the essence, or better, the telos of language. | |
| From: Jacques Derrida (works [1990]), quoted by Simon Glendinning - Derrida: A Very Short Introduction 5 | |
| A reaction: [no ref given] His target seem to be Aristotelian definition, and also formal logic, which usually needs unambiguous meanings. {I'm puzzled that he thinks 'telos' is simply better than 'essence', since it is quite different]. |
| 21933 | Writing functions even if the sender or the receiver are absent [Derrida, by Glendinning] |
| Full Idea: Writing can and must be able to do without the presence of the sender. ...Also writing can and must he able to do without the presence of the receiver. | |
| From: report of Jacques Derrida (works [1990]) by Simon Glendinning - Derrida: A Very Short Introduction 6 | |
| A reaction: In simple terms, one of them could die during the transmission. This is the grounds for the assertion of the primacy of writing. It opposes orthodox views which define language in terms of sender and receiver. |
| 21886 | Meanings depend on differences and contrasts [Derrida] |
| Full Idea: Meaning depends on 'differences' (contrasts). | |
| From: Jacques Derrida (works [1990]), quoted by Barry Stocker - Derrida on Deconstruction |
| 21894 | Madness and instability ('the demonic hyperbole') lurks in all language [Derrida] |
| Full Idea: Madness and instability ('the demonic hyperbole') lurks behind all language. | |
| From: Jacques Derrida (works [1990]), quoted by Barry Stocker - Derrida on Deconstruction |
| 21931 | 'Dissemination' is opposed to polysemia, since that is irreducible, because of multiple understandings [Derrida, by Glendinning] |
| Full Idea: The intention to oppose polysemia with dissemination does not aim to affirm that everything we say is ambiguous, but that polysemia is irreducible in the sense that each and every 'meaning' is itself subject to more than one understanding. | |
| From: report of Jacques Derrida (works [1990]) by Simon Glendinning - Derrida: A Very Short Introduction 5 | |
| A reaction: The key point, I think, is that ambiguity and polysemia are not failures of language (which is the way most logicians see it), but part of the essential and irreducible nature of language. Nietzsche started this line of thought. |
| 21885 | Words exist in 'spacing', so meanings are never synchronic except in writing [Derrida] |
| Full Idea: Words only exist is 'spacings' (of time and space), so there are no synchronic meanings (except perhaps in writing). | |
| From: Jacques Derrida (works [1990]), quoted by Barry Stocker - Derrida on Deconstruction |
| 22276 | Bolzano saw propositions as objective entities, existing independently of us [Bolzano, by Potter] |
| Full Idea: Bolzano took the entities of which truth is predicated to be not propositions in the subjective sense but 'propositions-in-themselves' - objective entities existing independent of our apprehension. | |
| From: report of Bernard Bolzano (Theory of Science (Wissenschaftslehre, 4 vols) [1837]) by Michael Potter - The Rise of Analytic Philosophy 1879-1930 02 'Emp' | |
| A reaction: A serious mistake. Presumably the objective propositions are all true (or there would be endless infinities of them). So what is assessed in the case of error? Something other than the objective propositions! We assess these other things! |
| 17264 | Propositions are abstract structures of concepts, ready for judgement or assertion [Bolzano, by Correia/Schnieder] |
| Full Idea: Bolzano conceived of propositions as abstract objects which are structured compounds of concepts and potential contents of judgements and assertions. | |
| From: report of Bernard Bolzano (Theory of Science (Wissenschaftslehre, 4 vols) [1837]) by Correia,F/Schnieder,B - Grounding: an opinionated introduction 2.3 | |
| A reaction: Personally I think of propositions as brain events, the constituents of thought about the world, but that needn't contradict the view of them as 'abstract'. |
| 12232 | A 'proposition' is the sense of a linguistic expression, and can be true or false [Bolzano] |
| Full Idea: What I mean by 'propositions' is not what the grammarians call a proposition, namely the linguistic expression, but the mere sense of this expression, is what is meant by proposition in itself or object proposition. This sense can be true or false. | |
| From: Bernard Bolzano (Theory of Science (Wissenschaftslehre, 4 vols) [1837], Pref?) | |
| A reaction: This seems to be the origin of what we understand by 'proposition'. The disputes are over whether such things exists, and whether they are features of minds or features of the world (resembling facts). |
| 12233 | The ground of a pure conceptual truth is only in other conceptual truths [Bolzano] |
| Full Idea: We can find the ground of a pure conceptual truth only in other conceptual truths. | |
| From: Bernard Bolzano (Theory of Science (Wissenschaftslehre, 4 vols) [1837], Pref) | |
| A reaction: Elsewhere he insists that these grounds must be in 'truths', and not just in the attributes of the concepts of involved. This conflicts with Kit Fine's view, that the concepts themselves are the source of conceptual truth and necessity. |
| 21891 | The good is implicitly violent (against evil), so there is no pure good [Derrida] |
| Full Idea: Even the good is implicitly violent (against evil), so there can be no 'pure' good. | |
| From: Jacques Derrida (works [1990]), quoted by Barry Stocker - Derrida on Deconstruction | |
| A reaction: Is good implicitly non-violent? Appropriate anger seems to be good behaviour, and I can't see why it is impure. Maybe anger and violence lack the control needed for pure goodness. |