Combining Texts

All the ideas for 'works', 'Model Theory' and 'Substance'

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


50 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 / H. Continental Philosophy / 3. Hermeneutics
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.
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.
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
2. Reason / D. Definition / 7. Contextual Definition
The idea that groups of concepts could be 'implicitly defined' was abandoned [Hodges,W]
     Full Idea: Late nineteenth century mathematicians said that, although plus, minus and 0 could not be precisely defined, they could be partially 'implicitly defined' as a group. This nonsense was rejected by Frege and others, as expressed in Russell 1903.
     From: Wilfrid Hodges (Model Theory [2005], 2)
     A reaction: [compressed] This is helpful in understanding what is going on in Frege's 'Grundlagen'. I won't challenge Hodges's claim that such definitions are nonsense, but there is a case for understanding groups of concepts together.
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]
5. Theory of Logic / A. Overview of Logic / 5. First-Order Logic
Since first-order languages are complete, |= and |- have the same meaning [Hodges,W]
     Full Idea: In first-order languages the completeness theorem tells us that T |= φ holds if and only if there is a proof of φ from T (T |- φ). Since the two symbols express the same relationship, theorist often just use |- (but only for first-order!).
     From: Wilfrid Hodges (Model Theory [2005], 3)
     A reaction: [actually no spaces in the symbols] If you are going to study this kind of theory of logic, the first thing you need to do is sort out these symbols, which isn't easy!
5. Theory of Logic / B. Logical Consequence / 4. Semantic Consequence |=
|= in model-theory means 'logical consequence' - it holds in all models [Hodges,W]
     Full Idea: If every structure which is a model of a set of sentences T is also a model of one of its sentences φ, then this is known as the model-theoretic consequence relation, and is written T |= φ. Not to be confused with |= meaning 'satisfies'.
     From: Wilfrid Hodges (Model Theory [2005], 3)
     A reaction: See also Idea 10474, which gives the other meaning of |=, as 'satisfies'. The symbol is ALSO used in propositional logical, to mean 'tautologically implies'! Sort your act out, logicians.
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 / 4. Satisfaction
|= should be read as 'is a model for' or 'satisfies' [Hodges,W]
     Full Idea: The symbol in 'I |= S' reads that if the interpretation I (about word meaning) happens to make the sentence S state something true, then I 'is a model for' S, or I 'satisfies' S.
     From: Wilfrid Hodges (Model Theory [2005], 1)
     A reaction: Unfortunately this is not the only reading of the symbol |= [no space between | and =!], so care and familiarity are needed, but this is how to read it when dealing with models. See also Idea 10477.
5. Theory of Logic / J. Model Theory in Logic / 1. Logical Models
Models in model theory are structures, not sets of descriptions [Hodges,W]
     Full Idea: The models in model-theory are structures, but there is also a common use of 'model' to mean a formal theory which describes and explains a phenomenon, or plans to build it.
     From: Wilfrid Hodges (Model Theory [2005], 5)
     A reaction: Hodges is not at all clear here, but the idea seems to be that model-theory offers a set of objects and rules, where the common usage offers a set of descriptions. Model-theory needs homomorphisms to connect models to things,
Model theory studies formal or natural language-interpretation using set-theory [Hodges,W]
     Full Idea: Model theory is the study of the interpretation of any language, formal or natural, by means of set-theoretic structures, with Tarski's truth definition as a paradigm.
     From: Wilfrid Hodges (Model Theory [2005], Intro)
     A reaction: My attention is caught by the fact that natural languages are included. Might we say that science is model theory for English? That sounds like Quine's persistent message.
A 'structure' is an interpretation specifying objects and classes of quantification [Hodges,W]
     Full Idea: A 'structure' in model theory is an interpretation which explains what objects some expressions refer to, and what classes some quantifiers range over.
     From: Wilfrid Hodges (Model Theory [2005], 1)
     A reaction: He cites as examples 'first-order structures' used in mathematical model theory, and 'Kripke structures' used in model theory for modal logic. A structure is also called a 'universe'.
6. Mathematics / A. Nature of Mathematics / 5. The Infinite / i. Cardinal infinity
First-order logic can't discriminate between one infinite cardinal and another [Hodges,W]
     Full Idea: First-order logic is hopeless for discriminating between one infinite cardinal and another.
     From: Wilfrid Hodges (Model Theory [2005], 4)
     A reaction: This seems rather significant, since mathematics largely relies on first-order logic for its metatheory. Personally I'm tempted to Ockham's Razor out all these super-infinities, but mathematicians seem to make use of them.
8. Modes of Existence / A. Relations / 4. Formal Relations / c. Ancestral relation
An ancestral relation is either direct or transitively indirect [Wiggins]
     Full Idea: x bears to y the 'ancestral' of the relation R just if either x bears R to y, or x bears R to some w that bears R to y, or x bears R to some w that bears R to some z that bears R to y, or.....
     From: David Wiggins (Substance [1995], 4.10.1)
     A reaction: A concept invented by Frege (1879).
8. Modes of Existence / C. Powers and Dispositions / 4. Powers as Essence
Substances contain a source of change or principle of activity [Wiggins]
     Full Idea: Substances are things that have a source of change or principle of activity within them.
     From: David Wiggins (Substance [1995], 4.4.1)
     A reaction: A vey significant concession. I think we can talk of 'essences' and 'powers', and drop talk of 'substances'. 'Powers' is a much better word, because it immediately pushes the active ingredient to the forefront.
9. Objects / A. Existence of Objects / 5. Individuation / e. Individuation by kind
We never single out just 'this', but always 'this something-or-other' [Wiggins]
     Full Idea: What is singled out is never a bare this or that, but this or that something or other.
     From: David Wiggins (Substance [1995], 4.5.1)
     A reaction: I like, in ontological speculation, to contemplate the problem of the baffling archaeological find. 'This thing I have dug up - what the hell IS it?'. Wiggins is contemptuous of the term 'thisness', and the idea of bare particulars.
Sortal predications are answers to the question 'what is x?' [Wiggins]
     Full Idea: Predications which answer the question 'what is x?' are often called 'sortal predications' in present-day philosophy.
     From: David Wiggins (Substance [1995], 4.10.1)
     A reaction: The word 'sortal' comes from Locke. Wiggins is the guru of 'sortal essentialism'. I just can't believe that in answer to the question 'what really is David Wiggins?' that he would be happy with a sequence of categorisations.
A river may change constantly, but not in respect of being a river [Wiggins]
     Full Idea: To say that the river is changing constantly in every respect is not to say that it is changing in respect of being a river.
     From: David Wiggins (Substance [1995], 4.11.2)
     A reaction: Can't a river become a lake, or a mere stream? Wiggins's proposal does not help with the problem of a river which sometimes dries up (as my local river sometimes does). At what point do we decide it is no longer a river?
Sortal classification becomes science, with cross reference clarifying individuals [Wiggins]
     Full Idea: The sense of the sortal term under which we pick out an individual expands into the scientific account of things of that kind, where the account clarifies what is at issue in questions of sameness and difference of specimens of that kind.
     From: David Wiggins (Substance [1995], 4.13.1)
     A reaction: This is how the sortal approach is supposed to deal with individuals. So the placid tiger reveals much by falling under 'tiger', and a crucial extra bit by falling under 'placid'. See Idea 12053 for problems with this proposal.
If the kinds are divided realistically, they fall into substances [Wiggins]
     Full Idea: Substance are what the world is articulated into when the segments of kinds corresponds to the real divisions in reality.
     From: David Wiggins (Substance [1995], 4.5.1)
     A reaction: This is very helpful in clarifying Wiggins's very obscurely expressed views. He appears to be saying that if we divide the sheep from the goats correctly, we reveal sheep-substance and goat-substance (one substance per species). Crazy!
'Human being' is a better answer to 'what is it?' than 'poet', as the latter comes in degrees [Wiggins]
     Full Idea: One person can be more or less of a poet than another, so 'poet' is not a conclusory answer to the question 'What is it that is singled out here?' 'Poet' rides on the back of the answer 'human being'.
     From: David Wiggins (Substance [1995], 4.5.1)
     A reaction: So apparently one must assign a natural kind, and not just a class. Wiggins lacks science fiction imagination. In the genetic salad of the far future, being a poet may be more definitive than being a human being. See Idea 12063.
Secondary substances correctly divide primary substances by activity-principles and relations [Wiggins]
     Full Idea: A system of secondary substances with a claim to separate reality into its genuine primary substances must arise from an understanding of a set of principles of activity on the basis of which identities can be glossed in terms of determinate relations.
     From: David Wiggins (Substance [1995], 4.5.1)
     A reaction: I translate this as saying that individual essences are categorised according to principles which explain behaviour and relations. I'm increasingly bewildered by the 'secondary substances' Wiggins got from 'Categories', and loves so much.
9. Objects / B. Unity of Objects / 2. Substance / d. Substance defined
We refer to persisting substances, in perception and in thought, and they aid understanding [Wiggins]
     Full Idea: A substance is a persisting and somehow basic object of reference that is there to be discovered in perception and thought, an object whose claim to be recognized as a real entity is a claim on our aspirations to understand the world.
     From: David Wiggins (Substance [1995], 4.1)
     A reaction: A lot of components are assigned by Wiggins to the concept, and the tricky job, inititiated by Aristotle, is to fit all the pieces together nicely. Personally I am wondering if the acceptance of 'essences' implies dropping 'substances'.
9. Objects / C. Structure of Objects / 3. Matter of an Object
Matter underlies things, composes things, and brings them to be [Wiggins]
     Full Idea: Matter ex hypothesi is what ultimately underlies (to huperkeimenon) a thing; it is that from which something comes to be and which remains as a non-coincidental component in the thing's make-up.
     From: David Wiggins (Substance [1995], 192a30)
     A reaction: This is an interesting prelude to the much more comprehensive discussion of matter in Metaphysics, where he crucially adds the notion of 'form', and gives it priority over the underlying matter.
14. Science / D. Explanation / 2. Types of Explanation / k. Explanations by essence
The category of substance is more important for epistemology than for ontology [Wiggins]
     Full Idea: For us the importance of the category of substance, if it has any importance, is not so much ontological as relative to our epistemological circumstances and the conditions under which we have to undertake inquiry.
     From: David Wiggins (Substance [1995], 4.13.2)
     A reaction: This seems to be a rather significant concession. Wiggins has revived the notion of substance in recent times, but he is not quite adding it to the furniture of the world. Personally I increasingly think we can dump it, in ontology and epistemology.
Naming the secondary substance provides a mass of general information [Wiggins]
     Full Idea: Answering 'what is it?' with the secondary substance identifies an object with a class of continuants which survive certain changes, come into being in certain ways, are qualified in certain ways, behave in certain ways, and cease to be in certain ways.
     From: David Wiggins (Substance [1995], 4.3.3)
     A reaction: Thus the priority of this sort of answer is that a huge range of explanations immediately flow from it. I take the explanation to be prior, and the primary substance to be prior, since secondary substance is inductively derived from it.
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
15. Nature of Minds / C. Capacities of Minds / 4. Objectification
Seeing a group of soldiers as an army is irresistible, in ontology and explanation [Wiggins]
     Full Idea: It seems mandatory to an observer of soldiers to give 'the final touch of unity' to their aggregate entity (the army). ...Similar claims arise with the ontological and explanatory claims of other corporate entities.
     From: David Wiggins (Substance [1995], 4.13.3)
     A reaction: Wiggins must say (following Leibniz Essays II.xxiv,1) that we add the unity, but I take the view that an army has powers, and hence offers explanations, which are lacking in a merely group of disparate soldiers. So an army has an essence and identity.
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.
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
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
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.