Combining Texts

All the ideas for 'works', 'Causal Relations' and 'Introduction to the Theory of Logic'

unexpand these ideas     |    start again     |     specify just one area for these texts


53 ideas

1. Philosophy / D. Nature of Philosophy / 1. Philosophy
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
1. Philosophy / D. Nature of Philosophy / 3. Philosophy Defined
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
1. Philosophy / D. Nature of Philosophy / 5. Aims of Philosophy / e. Philosophy as reason
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.
1. Philosophy / D. Nature of Philosophy / 7. Despair over Philosophy
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
1. Philosophy / F. Analytic Philosophy / 5. Linguistic Analysis
The best way to do ontology is to make sense of our normal talk [Davidson]
     Full Idea: I do not know any better way of showing what there is than looking at the assumptions needed to make sense of our normal talk.
     From: Donald Davidson (Causal Relations [1967], §4)
     A reaction: Davidson was a pupil of Quine. This I take to be the last flowering of twentieth century linguistic philosophy. The ontology we deduce from talk in a children's playground might be very bizarre, but we are unlikely to endorse it. 'Honest, it's true!'
1. Philosophy / H. Continental Philosophy / 3. Hermeneutics
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.
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
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.
1. Philosophy / H. Continental Philosophy / 4. Linguistic Structuralism
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
1. Philosophy / H. Continental Philosophy / 6. Deconstruction
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.
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
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
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
3. Truth / A. Truth Problems / 9. Rejecting Truth
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.
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]
4. Formal Logic / F. Set Theory ST / 1. Set Theory
Sets can be defined by 'enumeration', or by 'abstraction' (based on a property) [Zalabardo]
     Full Idea: We can define a set by 'enumeration' (by listing the items, within curly brackets), or by 'abstraction' (by specifying the elements as instances of a property), pretending that they form a determinate totality. The latter is written {x | x is P}.
     From: José L. Zalabardo (Introduction to the Theory of Logic [2000], §1.3)
4. Formal Logic / F. Set Theory ST / 2. Mechanics of Set Theory / b. Terminology of ST
The 'Cartesian Product' of two sets relates them by pairing every element with every element [Zalabardo]
     Full Idea: The 'Cartesian Product' of two sets, written A x B, is the relation which pairs every element of A with every element of B. So A x B = { | x ∈ A and y ∈ B}.
     From: José L. Zalabardo (Introduction to the Theory of Logic [2000], §1.6)
A 'partial ordering' is reflexive, antisymmetric and transitive [Zalabardo]
     Full Idea: A binary relation in a set is a 'partial ordering' just in case it is reflexive, antisymmetric and transitive.
     From: José L. Zalabardo (Introduction to the Theory of Logic [2000], §1.6)
4. Formal Logic / F. Set Theory ST / 4. Axioms for Sets / a. Axioms for sets
Determinacy: an object is either in a set, or it isn't [Zalabardo]
     Full Idea: Principle of Determinacy: For every object a and every set S, either a is an element of S or a is not an element of S.
     From: José L. Zalabardo (Introduction to the Theory of Logic [2000], §1.2)
4. Formal Logic / F. Set Theory ST / 4. Axioms for Sets / l. Axiom of Specification
Specification: Determinate totals of objects always make a set [Zalabardo]
     Full Idea: Principle of Specification: Whenever we can specify a determinate totality of objects, we shall say that there is a set whose elements are precisely the objects that we have specified.
     From: José L. Zalabardo (Introduction to the Theory of Logic [2000], §1.3)
     A reaction: Compare the Axiom of Specification. Zalabardo says we may wish to consider sets of which we cannot specify the members.
5. Theory of Logic / A. Overview of Logic / 5. First-Order Logic
A first-order 'sentence' is a formula with no free variables [Zalabardo]
     Full Idea: A formula of a first-order language is a 'sentence' just in case it has no free variables.
     From: José L. Zalabardo (Introduction to the Theory of Logic [2000], §3.2)
5. Theory of Logic / B. Logical Consequence / 4. Semantic Consequence |=
Γ |= φ if φ is true when all of Γ is true, for all structures and interpretations [Zalabardo]
     Full Idea: A formula is the 'logical consequence' of a set of formulas (Γ |= φ) if for every structure in the language and every variable interpretation of the structure, if all the formulas within the set are true and the formula itself is true.
     From: José L. Zalabardo (Introduction to the Theory of Logic [2000], §3.5)
Γ |= φ for sentences if φ is true when all of Γ is true [Zalabardo]
     Full Idea: A propositional logic sentence is a 'logical consequence' of a set of sentences (written Γ |= φ) if for every admissible truth-assignment all the sentences in the set Γ are true, then φ is true.
     From: José L. Zalabardo (Introduction to the Theory of Logic [2000], §2.4)
     A reaction: The definition is similar for predicate logic.
5. Theory of Logic / E. Structures of Logic / 2. Logical Connectives / b. Basic connectives
Propositional logic just needs ¬, and one of ∧, ∨ and → [Zalabardo]
     Full Idea: In propositional logic, any set containing ¬ and at least one of ∧, ∨ and → is expressively complete.
     From: José L. Zalabardo (Introduction to the Theory of Logic [2000], §2.8)
5. Theory of Logic / F. Referring in Logic / 1. Naming / b. Names as descriptive
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
'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
5. Theory of Logic / F. Referring in Logic / 1. Naming / c. Names as referential
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
5. Theory of Logic / I. Semantics of Logic / 1. Semantics of Logic
The semantics shows how truth values depend on instantiations of properties and relations [Zalabardo]
     Full Idea: The semantic pattern of a first-order language is the ways in which truth values depend on which individuals instantiate the properties and relations which figure in them. ..So we pair a truth value with each combination of individuals, sets etc.
     From: José L. Zalabardo (Introduction to the Theory of Logic [2000], §3.3)
     A reaction: So truth reduces to a combination of 'instantiations', which is rather like 'satisfaction'.
We can do semantics by looking at given propositions, or by building new ones [Zalabardo]
     Full Idea: We can look at semantics from the point of view of how truth values are determined by instantiations of properties and relations, or by asking how we can build, using the resources of the language, a proposition corresponding to a given semantic pattern.
     From: José L. Zalabardo (Introduction to the Theory of Logic [2000], §3.6)
     A reaction: The second version of semantics is model theory.
5. Theory of Logic / I. Semantics of Logic / 2. Formal Truth
We make a truth assignment to T and F, which may be true and false, but merely differ from one another [Zalabardo]
     Full Idea: A truth assignment is a function from propositions to the set {T,F}. We will think of T and F as the truth values true and false, but for our purposes all we need to assume about the identity of these objects is that they are different from each other.
     From: José L. Zalabardo (Introduction to the Theory of Logic [2000], §2.4)
     A reaction: Note that T and F are 'objects'. This remark is important in understanding modern logical semantics. T and F can be equated to 1 and 0 in the language of a computer. They just mean as much as you want them to mean.
5. Theory of Logic / I. Semantics of Logic / 3. Logical Truth
Logically true sentences are true in all structures [Zalabardo]
     Full Idea: In first-order languages, logically true sentences are true in all structures.
     From: José L. Zalabardo (Introduction to the Theory of Logic [2000], §3.5)
'Logically true' (|= φ) is true for every truth-assignment [Zalabardo]
     Full Idea: A propositional logic sentence is 'logically true', written |= φ, if it is true for every admissible truth-assignment.
     From: José L. Zalabardo (Introduction to the Theory of Logic [2000], §2.4)
5. Theory of Logic / I. Semantics of Logic / 4. Satisfaction
Some formulas are 'satisfiable' if there is a structure and interpretation that makes them true [Zalabardo]
     Full Idea: A set of formulas of a first-order language is 'satisfiable' if there is a structure and a variable interpretation in that structure such that all the formulas of the set are true.
     From: José L. Zalabardo (Introduction to the Theory of Logic [2000], §3.5)
A sentence-set is 'satisfiable' if at least one truth-assignment makes them all true [Zalabardo]
     Full Idea: A propositional logic set of sentences Γ is 'satisfiable' if there is at least one admissible truth-assignment that makes all of its sentences true.
     From: José L. Zalabardo (Introduction to the Theory of Logic [2000], §2.4)
5. Theory of Logic / J. Model Theory in Logic / 1. Logical Models
A structure models a sentence if it is true in the model, and a set of sentences if they are all true in the model [Zalabardo]
     Full Idea: A structure is a model of a sentence if the sentence is true in the model; a structure is a model of a set of sentences if they are all true in the structure.
     From: José L. Zalabardo (Introduction to the Theory of Logic [2000], §3.6)
6. Mathematics / B. Foundations for Mathematics / 4. Axioms for Number / f. Mathematical induction
If a set is defined by induction, then proof by induction can be applied to it [Zalabardo]
     Full Idea: Defining a set by induction enables us to use the method of proof by induction to establish that all the elements of the set have a certain property.
     From: José L. Zalabardo (Introduction to the Theory of Logic [2000], §2.3)
7. Existence / B. Change in Existence / 4. Events / b. Events as primitive
If we don't assume that events exist, we cannot make sense of our common talk [Davidson]
     Full Idea: The assumption, ontological and metaphysical, that there are events, is one without which we cannot make sense of much of our most common talk.
     From: Donald Davidson (Causal Relations [1967], §4)
     A reaction: He considers events to be unanalysable basics. Explanation of normal talk also needs ghosts, premonitions, telepathy and Father Christmas. It is extremely hard to individuate events, unless they are subatomic, and rather numerous.
14. Science / D. Explanation / 1. Explanation / a. Explanation
Explanations typically relate statements, not events [Davidson]
     Full Idea: Explanations typically relate statements, not events.
     From: Donald Davidson (Causal Relations [1967], §4)
     A reaction: An oddly linguistic way of putting our attempts to understand the world. Presumably the statements are supposed to be about the events (or whatever), and they are supposed to be true, so we are trying to relate features of the world.
15. Nature of Minds / B. Features of Minds / 1. Consciousness / b. Essence of consciousness
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
18. Thought / A. Modes of Thought / 1. Thought
'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.
19. Language / A. Nature of Meaning / 1. Meaning
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
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).
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].
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.
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
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
19. Language / A. Nature of Meaning / 9. Ambiguity
'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.
19. Language / A. Nature of Meaning / 10. Denial of Meanings
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
22. Metaethics / C. The Good / 1. Goodness / a. Form of the Good
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.
26. Natural Theory / C. Causation / 1. Causation
Distinguish causation, which is in the world, from explanations, which depend on descriptions [Davidson, by Schaffer,J]
     Full Idea: Davidson distinguishes between causation, an extensional relation that holds between coarse events, and explanation, which is an intensional relation that holds between the coarse events under a description.
     From: report of Donald Davidson (Causal Relations [1967]) by Jonathan Schaffer - The Metaphysics of Causation 1.2
     A reaction: I'm unclear why everything has to be so coarse, when reality and causal events seem to fine-grained, but the distinction strikes me as good. Explanations relate to human understanding and human interests. Cf. Anscombe's view.
26. Natural Theory / C. Causation / 8. Particular Causation / b. Causal relata
Either facts, or highly unspecific events, serve better as causes than concrete events [Field,H on Davidson]
     Full Idea: It is best to avoid Davidson's view that only quite concrete events can serve as causes; we should either say that facts as well as events can serve as causes; or that the events can be highly unspecific, including 'omissions'.
     From: comment on Donald Davidson (Causal Relations [1967]) by Hartry Field - Causation in a Physical World 1
     A reaction: Something NOT happening might be the main cause of an effect (drought), or an effect may mainly result from a situation rather than an event (famine).
26. Natural Theory / C. Causation / 8. Particular Causation / c. Conditions of causation
Full descriptions can demonstrate sufficiency of cause, but not necessity [Davidson]
     Full Idea: The fuller we make the description of a cause, the better our chances of demonstrating that it was sufficient (as described) to produce the effect, and the worse our chances of demonstrating that it was necessary. (For the effect, it is the opposite).
     From: Donald Davidson (Causal Relations [1967], §3)
     A reaction: If the fullness of description is relevant, this suggests that Davidson is focusing on human explanations, rather than on the ontology of causation. If the cause IS necessary, why wouldn't a better description make that clearer?
26. Natural Theory / C. Causation / 9. General Causation / b. Nomological causation
A singular causal statement is true if it is held to fall under a law [Davidson, by Psillos]
     Full Idea: For Davidson, what makes singular causal statements true is the existence of some regularities or laws. All causal is nomological: c causes e iff there is a law that connects events like c with events like e.
     From: report of Donald Davidson (Causal Relations [1967]) by Stathis Psillos - Causation and Explanation §2.6
     A reaction: I wonder if the cart is before the horse here. Scriven says this is just a claim that there are "phantom laws". It is the Humean view of causation, but surely the laws come after the causation, so can't be used to explain it?