80 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 |
| 8558 | One system has properties, powers, events, similarity and substance [Shoemaker] |
| Full Idea: There is a system of internally related concepts containing the notion of a property, the notion of a causal power, the concept of an event, the concept of similarity, and the concept of a persisting substance. | |
| From: Sydney Shoemaker (Causality and Properties [1980], §07) | |
| A reaction: A nice example of a modern metaphysical system, one which I find fairly congenial. His notion of events is Kim's, which involves his properties. The persisting substance is the one I am least clear about. |
| 8559 | Analysis aims at internal relationships, not reduction [Shoemaker] |
| Full Idea: The goal of philosophical analysis should not be reductive analysis but rather the charting of internal relationships. | |
| From: Sydney Shoemaker (Causality and Properties [1980], §07) | |
| A reaction: See Idea 8558 for an attempt by Shoemaker himself. The idea that there has never been a successful analysis has become a truism among pessimistic analytic philosophers. But there are wonderful relationship maps (Quine, Davidson, Lewis, Lowe). |
| 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 |
| 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] |
| 13520 | A 'tautology' must include connectives [Wolf,RS] |
| Full Idea: 'For every number x, x = x' is not a tautology, because it includes no connectives. | |
| From: Robert S. Wolf (A Tour through Mathematical Logic [2005], 1.2) |
| 13524 | Deduction Theorem: T∪{P}|-Q, then T|-(P→Q), which justifies Conditional Proof [Wolf,RS] |
| Full Idea: Deduction Theorem: If T ∪ {P} |- Q, then T |- (P → Q). This is the formal justification of the method of conditional proof (CPP). Its converse holds, and is essentially modus ponens. | |
| From: Robert S. Wolf (A Tour through Mathematical Logic [2005], 1.3) |
| 13522 | Universal Generalization: If we prove P(x) with no special assumptions, we can conclude ∀xP(x) [Wolf,RS] |
| Full Idea: Universal Generalization: If we can prove P(x), only assuming what sort of object x is, we may conclude ∀xP(x) for the same x. | |
| From: Robert S. Wolf (A Tour through Mathematical Logic [2005], 1.3) | |
| A reaction: This principle needs watching closely. If you pick one person in London, with no presuppositions, and it happens to be a woman, can you conclude that all the people in London are women? Fine in logic and mathematics, suspect in life. |
| 13521 | Universal Specification: ∀xP(x) implies P(t). True for all? Then true for an instance [Wolf,RS] |
| Full Idea: Universal Specification: from ∀xP(x) we may conclude P(t), where t is an appropriate term. If something is true for all members of a domain, then it is true for some particular one that we specify. | |
| From: Robert S. Wolf (A Tour through Mathematical Logic [2005], 1.3) |
| 13523 | Existential Generalization (or 'proof by example'): if we can say P(t), then we can say something is P [Wolf,RS] |
| Full Idea: Existential Generalization (or 'proof by example'): From P(t), where t is an appropriate term, we may conclude ∃xP(x). | |
| From: Robert S. Wolf (A Tour through Mathematical Logic [2005], 1.3) | |
| A reaction: It is amazing how often this vacuous-sounding principles finds itself being employed in discussions of ontology, but I don't quite understand why. |
| 13529 | Empty Set: ∃x∀y ¬(y∈x). The unique empty set exists [Wolf,RS] |
| Full Idea: Empty Set Axiom: ∃x ∀y ¬ (y ∈ x). There is a set x which has no members (no y's). The empty set exists. There is a set with no members, and by extensionality this set is unique. | |
| From: Robert S. Wolf (A Tour through Mathematical Logic [2005], 2.3) | |
| A reaction: A bit bewildering for novices. It says there is a box with nothing in it, or a pair of curly brackets with nothing between them. It seems to be the key idea in set theory, because it asserts the idea of a set over and above any possible members. |
| 13526 | Comprehension Axiom: if a collection is clearly specified, it is a set [Wolf,RS] |
| Full Idea: The comprehension axiom says that any collection of objects that can be clearly specified can be considered to be a set. | |
| From: Robert S. Wolf (A Tour through Mathematical Logic [2005], 2.2) | |
| A reaction: This is virtually tautological, since I presume that 'clearly specified' means pinning down exact which items are the members, which is what a set is (by extensionality). The naïve version is, of course, not so hot. |
| 13534 | In first-order logic syntactic and semantic consequence (|- and |=) nicely coincide [Wolf,RS] |
| Full Idea: One of the most appealing features of first-order logic is that the two 'turnstiles' (the syntactic single |-, and the semantic double |=), which are the two reasonable notions of logical consequence, actually coincide. | |
| From: Robert S. Wolf (A Tour through Mathematical Logic [2005], 5.3) | |
| A reaction: In the excitement about the possibility of second-order logic, plural quantification etc., it seems easy to forget the virtues of the basic system that is the target of the rebellion. The issue is how much can be 'expressed' in first-order logic. |
| 13535 | First-order logic is weakly complete (valid sentences are provable); we can't prove every sentence or its negation [Wolf,RS] |
| Full Idea: The 'completeness' of first order-logic does not mean that every sentence or its negation is provable in first-order logic. We have instead the weaker result that every valid sentence is provable. | |
| From: Robert S. Wolf (A Tour through Mathematical Logic [2005], 5.3) | |
| A reaction: Peter Smith calls the stronger version 'negation completeness'. |
| 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 |
| 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 |
| 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 |
| 13532 | Model theory 'structures' have a 'universe', some 'relations', some 'functions', and some 'constants' [Wolf,RS] |
| Full Idea: A 'structure' in model theory has a non-empty set, the 'universe', as domain of variables, a subset for each 'relation', some 'functions', and 'constants'. | |
| From: Robert S. Wolf (A Tour through Mathematical Logic [2005], 5.2) |
| 13519 | Model theory uses sets to show that mathematical deduction fits mathematical truth [Wolf,RS] |
| Full Idea: Model theory uses set theory to show that the theorem-proving power of the usual methods of deduction in mathematics corresponds perfectly to what must be true in actual mathematical structures. | |
| From: Robert S. Wolf (A Tour through Mathematical Logic [2005], Pref) | |
| A reaction: That more or less says that model theory demonstrates the 'soundness' of mathematics (though normal arithmetic is famously not 'complete'). Of course, he says they 'correspond' to the truths, rather than entailing them. |
| 13533 | First-order model theory rests on completeness, compactness, and the Löwenheim-Skolem-Tarski theorem [Wolf,RS] |
| Full Idea: The three foundations of first-order model theory are the Completeness theorem, the Compactness theorem, and the Löwenheim-Skolem-Tarski theorem. | |
| From: Robert S. Wolf (A Tour through Mathematical Logic [2005], 5.3) | |
| A reaction: On p.180 he notes that Compactness and LST make no mention of |- and are purely semantic, where Completeness shows the equivalence of |- and |=. All three fail for second-order logic (p.223). |
| 13531 | Model theory reveals the structures of mathematics [Wolf,RS] |
| Full Idea: Model theory helps one to understand what it takes to specify a mathematical structure uniquely. | |
| From: Robert S. Wolf (A Tour through Mathematical Logic [2005], 5.1) | |
| A reaction: Thus it is the development of model theory which has led to the 'structuralist' view of mathematics. |
| 13537 | An 'isomorphism' is a bijection that preserves all structural components [Wolf,RS] |
| Full Idea: An 'isomorphism' is a bijection between two sets that preserves all structural components. The interpretations of each constant symbol are mapped across, and functions map the relation and function symbols. | |
| From: Robert S. Wolf (A Tour through Mathematical Logic [2005], 5.4) |
| 13539 | The LST Theorem is a serious limitation of first-order logic [Wolf,RS] |
| Full Idea: The Löwenheim-Skolem-Tarski theorem demonstrates a serious limitation of first-order logic, and is one of primary reasons for considering stronger logics. | |
| From: Robert S. Wolf (A Tour through Mathematical Logic [2005], 5.7) |
| 13538 | If a theory is complete, only a more powerful language can strengthen it [Wolf,RS] |
| Full Idea: It is valuable to know that a theory is complete, because then we know it cannot be strengthened without passing to a more powerful language. | |
| From: Robert S. Wolf (A Tour through Mathematical Logic [2005], 5.5) |
| 13525 | Most deductive logic (unlike ordinary reasoning) is 'monotonic' - we don't retract after new givens [Wolf,RS] |
| Full Idea: Deductive logic, including first-order logic and other types of logic used in mathematics, is 'monotonic'. This means that we never retract a theorem on the basis of new givens. If T|-φ and T⊆SW, then S|-φ. Ordinary reasoning is nonmonotonic. | |
| From: Robert S. Wolf (A Tour through Mathematical Logic [2005], 1.7) | |
| A reaction: The classic example of nonmonotonic reasoning is the induction that 'all birds can fly', which is retracted when the bird turns out to be a penguin. He says nonmonotonic logic is a rich field in computer science. |
| 13530 | An ordinal is an equivalence class of well-orderings, or a transitive set whose members are transitive [Wolf,RS] |
| Full Idea: Less theoretically, an ordinal is an equivalence class of well-orderings. Formally, we say a set is 'transitive' if every member of it is a subset of it, and an ordinal is a transitive set, all of whose members are transitive. | |
| From: Robert S. Wolf (A Tour through Mathematical Logic [2005], 2.4) | |
| A reaction: He glosses 'transitive' as 'every member of a member of it is a member of it'. So it's membership all the way down. This is the von Neumann rather than the Zermelo approach (which is based on singletons). |
| 13518 | Modern mathematics has unified all of its objects within set theory [Wolf,RS] |
| Full Idea: One of the great achievements of modern mathematics has been the unification of its many types of objects. It began with showing geometric objects numerically or algebraically, and culminated with set theory representing all the normal objects. | |
| From: Robert S. Wolf (A Tour through Mathematical Logic [2005], Pref) | |
| A reaction: His use of the word 'object' begs all sorts of questions, if you are arriving from the street, where an object is something which can cause a bruise - but get used to it, because the word 'object' has been borrowed for new uses. |
| 15092 | Formerly I said properties are individuated by essential causal powers and causing instantiation [Shoemaker, by Shoemaker] |
| Full Idea: My 1980 paper said properties are individuated by causal features - the contribution they make to the causal powers of things, and also how their instantiation can be caused. Collectively, these causal features are the essence of a property. | |
| From: report of Sydney Shoemaker (Causality and Properties [1980], I) by Sydney Shoemaker - Causal and Metaphysical Necessity | |
| A reaction: The later paper worries about uncertainty over individuation. The view I favour is that 'powers' is a much better term for what is basic, and this allows 'properties' to be the complex notion we use in real life, as innumberable power-combinations. |
| 8543 | Genuine properties are closely related to genuine changes [Shoemaker] |
| Full Idea: Our intuitions as to what are, and what are not, genuine properties are closely related to our intuitions as to what are, and what are not, genuine changes. | |
| From: Sydney Shoemaker (Causality and Properties [1980], §02) | |
| A reaction: A simple but brilliant insight. Somehow we must hack through the plethora of bogus properties and get to the real ones, cutting nature at the joints. Here we have the principle needed for the task. |
| 8551 | Properties must be essentially causal if we can know and speak about them [Shoemaker] |
| Full Idea: Only if some causal theory of properties is true can it be explained how properties are capable of engaging our knowledge, and our language, in the way they do. | |
| From: Sydney Shoemaker (Causality and Properties [1980], §05) | |
| A reaction: Exactly. This also the reason why epiphenomenalism doesn't make sense about consciousness (Idea 7379). The fact that something has causal powers doesn't mean that it just IS a causal power. A bomb isn't an explosion. |
| 8557 | To ascertain genuine properties, examine the object directly [Shoemaker] |
| Full Idea: There is a plausible way of distinguishing genuine and mere-Cambridge properties. To decide whether an emerald is green the thing to do is to examine it, but a mere-Cambridge property is settled by observations at a remote time and place. | |
| From: Sydney Shoemaker (Causality and Properties [1980], §06) | |
| A reaction: Scientific essentialism is beautifully simple! Schoemaker is good at connecting the epistemology to the ontology. If you examined a mirror, you might think it contained reflections. |
| 15761 | We should abandon the idea that properties are the meanings of predicate expressions [Shoemaker] |
| Full Idea: I think we should abandon the idea that properties are the meanings of predicate expressions. | |
| From: Sydney Shoemaker (Causality and Properties [1980], §04) | |
| A reaction: Right. I have Shoemaker on my side, and he is a distinguished and senior member of the philosophical community. I don't just prefer not to use 'predicate' and 'property' indistinguishably - philosophers should really really give it up! |
| 15756 | Some truths are not because of a thing's properties, but because of the properties of related things [Shoemaker] |
| Full Idea: Sometimes a predicate is true of a thing, not because (or only because) of any properties it has, but because something else, perhaps something related to it in certain ways, has certain properties. | |
| From: Sydney Shoemaker (Causality and Properties [1980], §02) | |
| A reaction: I'm on mission to prize predicates and properties apart, and the strategy is to focus on what is true of something, given that this may not ascribe a property to the thing. |
| 15758 | Things have powers in virtue of (which are entailed by) their properties [Shoemaker] |
| Full Idea: There is a distinction between powers, and the properties in virtue of which things have they powers they have (n8: 'in virtue of' means that there is a lawlike truth, which turns out to be the properties entailing the powers). | |
| From: Sydney Shoemaker (Causality and Properties [1980], §03) | |
| A reaction: To me this is an ontology which rests something very clear (a power) on something very indeterminate (a 'property'). |
| 8547 | One power can come from different properties; a thing's powers come from its properties [Shoemaker] |
| Full Idea: It is possible to have the same power (e.g. being poisonous) in virtue of having very different properties. ..So it is in virtue of a thing's properties that the thing has the powers that it has. | |
| From: Sydney Shoemaker (Causality and Properties [1980], §03) | |
| A reaction: This strikes me as an accurate and helpful picture. It means that true properties give rise to powers, and categorial or relational or whimsical properties must have their ontological status judged by that standard. |
| 8549 | Properties are functions producing powers, and powers are functions producing effects [Shoemaker] |
| Full Idea: Powers are functions from circumstances to causal effects, and properties (on which powers depend) can be thought of as functions from sets of properties to sets of powers. Maybe we should call properties 'second-order powers', as they produce powers. | |
| From: Sydney Shoemaker (Causality and Properties [1980], §04) | |
| A reaction: He presents property as both a function, and a component of the function. This is the core picture on which modern scientific essentialism is built. See under Natural Theory|Laws of Nature. |
| 12678 | Shoemaker says all genuine properties are dispositional [Shoemaker, by Ellis] |
| Full Idea: I am against Shoemaker's strong dispositionalism, according to which all genuine properties are dispositional. | |
| From: report of Sydney Shoemaker (Causality and Properties [1980]) by Brian Ellis - The Metaphysics of Scientific Realism 3 | |
| A reaction: This is because Ellis argues that some properties are categorical, and are needed to underly the active dispositional ones. I think I side with Shoemaker, but this needs more thought. |
| 8545 | A causal theory of properties focuses on change, not (say) on abstract properties of numbers [Shoemaker] |
| Full Idea: My account of properties concerns those with respect to which change is possible; it is not intended to apply to such properties of numbers as being even and being prime. | |
| From: Sydney Shoemaker (Causality and Properties [1980], §02) | |
| A reaction: You could argue that while these properties may not cause change, they are abstract powers. Being even allows division by 2, and being prime blocks it. I say patterns are the basis, and dividing groups of physical objects is involved. |
| 15757 | 'Square', 'round' and 'made of copper' show that not all properties are dispositional [Shoemaker] |
| Full Idea: Surely we make a distinction beween dispositional and nondispositional properties, and can mention paradigms of both sorts. ....It seems plain that predicates like 'square', 'round' and 'made of copper' are not dispositional. | |
| From: Sydney Shoemaker (Causality and Properties [1980], §03) | |
| A reaction: It might be possible to account for squareness and roundness in dispositional ways, and it is certainly plausible to say that 'made of copper' is not a property (even when it is a true predicate). |
| 15759 | The identity of a property concerns its causal powers [Shoemaker] |
| Full Idea: What makes a property the property it is, what determines its identity, is its potential for contributing to the causal powers of the things that have it. | |
| From: Sydney Shoemaker (Causality and Properties [1980], §04) | |
| A reaction: Does this mean that the 'potential' to act is the essence of the property, or is a property of the property, or is wholly identical with the property? Or is this just epistemological - whatever individuates the property for observers? |
| 15760 | Properties are clusters of conditional powers [Shoemaker] |
| Full Idea: A thing has a 'conditional power' when it has a power conditionally upon the possession of certain properties. ...We can then express my view by saying that properties are clusters of conditional powers. | |
| From: Sydney Shoemaker (Causality and Properties [1980], §04) | |
| A reaction: His example is a knife-shaped thing, which conditionally cuts wood if it is made of steel. Shoemaker rejected this in 1998. Mumford/Anjum prefer the earlier view. Which is fundamental? Powers are simple and primitive. Properties are complex. |
| 15762 | Could properties change without the powers changing, or powers change without the properties changing? [Shoemaker] |
| Full Idea: Could a thing undergo radical change with respect to its properties without undergoing any change in its causal powers, or undergo radical change in its causal powers without undergoing any change in the properties that underlie these powers? | |
| From: Sydney Shoemaker (Causality and Properties [1980], §05) | |
| A reaction: I don't accept properties underlying powers, but these two questions at least force us to see how closely the two are linked. |
| 8552 | If properties are separated from causal powers, this invites total elimination [Shoemaker] |
| Full Idea: The disassociation of property identity from causal potentiality is an invitation to eliminate reference to properties from our explanatory hypotheses altogether. | |
| From: Sydney Shoemaker (Causality and Properties [1980], §05) | |
| A reaction: Just as epiphenomenalism about consciousness is a step towards eliminativism. This seems to describe Quine's reaction to Goodman, in moving from predicate nominalism to elimination of properties. I agree with Shoemaker. |
| 4040 | The notions of property and of causal power are parts of a single system of related concepts [Shoemaker] |
| Full Idea: The notion of a property and the notion of a causal power belong to a system of internally related concepts, no one of which can be explicated without the use of the other. | |
| From: Sydney Shoemaker (Causality and Properties [1980], §07) | |
| A reaction: Sounds good. It is hard to conceive of a property which has no causal powers, or a causal power that doesn't arise from a property. |
| 15765 | Actually, properties are individuated by causes as well as effects [Shoemaker] |
| Full Idea: I should probably modify my view, and say that properties are individuated by their possible causes as well as by their possible effects. | |
| From: Sydney Shoemaker (Causality and Properties [1980], §11) | |
| A reaction: (This is in an afterword responding to criticism by Richard Boyd) He doesn't use the word 'individuate' in the essay. That term always strikes me as smacking too much of epistemology, and not enough of ontology. Who cares how you individuate something? |
| 8548 | Dispositional predicates ascribe powers, and the rest ascribe properties [Shoemaker] |
| Full Idea: By and large, dispositional predicates ascribe powers while nondispositional monadic predicates ascribe properties that are not powers in the same sense. | |
| From: Sydney Shoemaker (Causality and Properties [1980], §03) | |
| A reaction: The powers are where the properties come into contact with the rest of the world, so you would expect dispositions to be found at that level, rather than at the deeper level of properties. Sounds good to me. |
| 9485 | Universals concern how things are, and how they could be [Shoemaker, by Bird] |
| Full Idea: Shoemaker contends that universals concern the way things could be, not merely the way any things actually are. | |
| From: report of Sydney Shoemaker (Causality and Properties [1980]) by Alexander Bird - Nature's Metaphysics 3.2.2 | |
| A reaction: If you want to retain universals within a scientific essentialist view (and I would rather not), then this seems like the only way to go. |
| 8550 | Triangular and trilateral are coextensive, but different concepts; but powers and properties are the same [Shoemaker] |
| Full Idea: It is natural to say that 'being triangular' and 'being trilateral', though necessarily coextensive, are different properties. But what are distinct are the concepts and meanings. If properties are not meanings of predicates, these are identical. | |
| From: Sydney Shoemaker (Causality and Properties [1980], §04) | |
| A reaction: A good test example. Being renate (kidney) and being cordate (heart) are different, because being cordate produces a thumping noise. Shoemaker's example is pretty much Phosphorus/Hesperus. |
| 8555 | There is no subset of properties which guarantee a thing's identity [Shoemaker] |
| Full Idea: There is, putting aside historical properties and 'identity properties', no subset of the properties of a thing which constitutes an individual essence, so that having those properties is necessary and sufficient for being that particular thing. | |
| From: Sydney Shoemaker (Causality and Properties [1980], §05) | |
| A reaction: He asserts this rather dogmatically. If he says a thing can lose its essence, I agree, but it seems to me that there must be a group of features which will guarantee that (if they are present) it has that identity. |
| 8554 | Possible difference across worlds depends on difference across time in the actual world [Shoemaker] |
| Full Idea: The ways in which a given thing can be different in different possible worlds depend on the ways in which such a thing can be different at different times in the actual world. | |
| From: Sydney Shoemaker (Causality and Properties [1980], §05) | |
| A reaction: Where change in a thing is possible across time in the actual world seems to require a combination of experiment and imagination. Unimaginability does not entail necessity, but it may be the best guide we have got. |
| 15764 | 'Conceivable' is either not-provably-false, or compatible with what we know? [Shoemaker] |
| Full Idea: We could use 'conceivable' to say it is not provable that it is not the case, or we could use it to say that it is compatible with what we know. | |
| From: Sydney Shoemaker (Causality and Properties [1980], §10) | |
| A reaction: Rather significant, since the first one would seem to allow in a great deal that the second one would rule out. Any disproof of some natural possibility founders on the remark that 'you never know'. |
| 8562 | It is possible to conceive what is not possible [Shoemaker] |
| Full Idea: It is possible to conceive what is not possible. | |
| From: Sydney Shoemaker (Causality and Properties [1980], §10) | |
| A reaction: The point here is that, while we cannot clearly conceive the impossible in a world like mathematics, we can conceive of impossible perceptions in the physical world, such as a bonfire burning under water. |
| 8556 | Grueness is not, unlike green and blue, associated with causal potential [Shoemaker] |
| Full Idea: Grueness, as defined by Goodman, is not associated in the way greenness and blueness are with causal potentialities. | |
| From: Sydney Shoemaker (Causality and Properties [1980], §06) | |
| A reaction: Expressed rather more simply in Idea 7296. 'Grue' is a characteristic production of a predicate nominalist (i.e. Goodman), and that theory is just wrong. The account of properties must mesh with the account of induction. |
| 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. |
| 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 |
| 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]. |
| 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). |
| 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. |
| 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 |
| 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 |
| 8542 | If causality is between events, there must be reference to the properties involved [Shoemaker] |
| Full Idea: Any account of causality as a relation between events should involve, in a central way, reference to the properties of the constituent objects of the events. | |
| From: Sydney Shoemaker (Causality and Properties [1980], §01) | |
| A reaction: This remark, with which I wholeheartedly agree, is aimed at Davidson, who seems to think you need know no more about an event than the way in which someone chooses to describe it. Metaphysics must dig deeper, even if science can't. |
| 8560 | If causal laws describe causal potentialities, the same laws govern properties in all possible worlds [Shoemaker] |
| Full Idea: To the extent that causal laws can be viewed as propositions describing the causal potentialities of properties, it is impossible that the same properties should be governed by different causal laws in different possible worlds. | |
| From: Sydney Shoemaker (Causality and Properties [1980], §08) | |
| A reaction: [He has just asserted that causal potentialities are essential to properties] This is the dramatic basic claim of scientific essentialism, which grows out of Shoemaker's causal account of properties. Note that the laws are just descriptions. |
| 15763 | If properties are causal, then causal necessity is a species of logical necessity [Shoemaker] |
| Full Idea: My theory of properties as causal appears to have the consequence that causal laws are logically necessary, and that causal necessity is just a species of logical necessity. | |
| From: Sydney Shoemaker (Causality and Properties [1980], §09) | |
| A reaction: Where he writes 'logical' necessity I would claim that he really means 'metaphysical' necessity. The point, I take it, is that given the existence of those properties, certain causal efforts must always follow from them. I agree. |
| 8561 | If a world has different causal laws, it must have different properties [Shoemaker] |
| Full Idea: If there are worlds in which the causal laws are different from those that prevail in this world, ..then the properties will have to be different as well. | |
| From: Sydney Shoemaker (Causality and Properties [1980], §09) | |
| A reaction: The next question is whether the same stuff (e.g. gold or water) could have different properties, and I take the the scientific essentialism answer to be 'no'. So the actual stuff (substances?) would have to be different. |
| 8553 | It looks as if the immutability of the powers of a property imply essentiality [Shoemaker] |
| Full Idea: There is a prima facie case for saying that the immutability of the causal potentialities of a property implies their essentiality. ...If they cannot vary across time, they also cannot vary across possible worlds. | |
| From: Sydney Shoemaker (Causality and Properties [1980], §05) | |
| A reaction: This is only the beginning of scientific essentialism, but one of the targets is to save the phenomena. It is also involves unimaginability (of different powers from a given property) implying necessity. |