59 ideas
| 12249 | 'Animal' is a genus and 'rational' is a specific difference [Oderberg] |
| Full Idea: The standard classification holds that 'animal' is a genus and 'rational' is a specific difference. | |
| From: David S. Oderberg (Real Essentialism [2007], 3.5) | |
| A reaction: My understanding of 'difference' would take it down to the level of the individual, so the question is - which did Aristotle believe in. Not all commentators agree with Oderberg, and Wedin thinks the individual substance is paramount. |
| 12242 | Definition distinguishes one kind from another, and individuation picks out members of the kind [Oderberg] |
| Full Idea: To define something just means to set forth its limits in such a way that one can distinguish it from all other things of a different kind. To distinguish it from all other things of the same kind belongs to the theory of 'individuation'. | |
| From: David S. Oderberg (Real Essentialism [2007], 1.4) | |
| A reaction: I take Aristotle to have included individuation as part of his understanding of definition. Are tigers a kind, or are fierce tigers a kind, and is my tiger one-of-a-kind? |
| 18996 | A statement S is 'partly true' if it has some wholly true parts [Yablo] |
| Full Idea: A statement S is 'partly true' insofar as it has wholly true parts: wholly true implications whose subject matter is included in that of S. | |
| From: Stephen Yablo (Aboutness [2014], 01.6) | |
| A reaction: He suggests that if we have rival theories, we agree that it is one or the other. And 'we may have pork for dinner, or human flesh' is partly true. |
| 19006 | An 'enthymeme' is an argument with an indispensable unstated assumption [Yablo] |
| Full Idea: An 'enthymeme' is a deductive argument with an unstated assumption that must be true for the premises to lead to the conclusion. | |
| From: Stephen Yablo (Aboutness [2014], 11.1) |
| 8859 | The main modal logics disagree over three key formulae [Yablo] |
| Full Idea: Lewis's different systems of modal logic differed about such formulae as □P implies □□P; ◊□P implies □P; and ◊S implies □◊S | |
| From: Stephen Yablo (Apriority and Existence [2000], §06) | |
| A reaction: Yablo's point is that the various version don't seem to make much difference to our practices in logic, mathematics and science. The problem, says Yablo, is deciding exactly what you mean by 'necessarily' and 'possibly'. |
| 18999 | y is only a proper part of x if there is a z which 'makes up the difference' between them [Yablo] |
| Full Idea: The principle of Supplementation says that y is properly part of x, only if a z exists that 'makes up the difference' between them. [note: that is, z is disjoint from y and sums with y to form x] | |
| From: Stephen Yablo (Aboutness [2014], 03.2) |
| 19001 | 'Pegasus doesn't exist' is false without Pegasus, yet the absence of Pegasus is its truthmaker [Yablo] |
| Full Idea: 'Pegasus does not exist' has a paradoxical, self-undermining flavour. On the one hand, the empty name makes it untrue. But now, why is the name empty? Because Pegasus does not exist. 'Pegasus does not exist' is untrue because Pegasus does not exist. | |
| From: Stephen Yablo (Aboutness [2014], 05.7 n20) | |
| A reaction: Beautiful! This is Yablo's reward for continuing to ask 'why?' after everyone else has stopped in bewilderment at the tricky phenomenon. |
| 9138 | An infinite series of sentences asserting falsehood produces the paradox without self-reference [Yablo, by Sorensen] |
| Full Idea: Banning self-reference is too narrow to avoid the liar paradox. With 1) all the subsequent sentences are false, 2) all the subsequent sentences are false, 3) all the subsequent... the paradox still arises. Self-reference is a special case of this. | |
| From: report of Stephen Yablo (Paradox without Self-Reference [1993]) by Roy Sorensen - Vagueness and Contradiction 11.1 | |
| A reaction: [Idea 9137 pointed out that the ban was too narrow. Sorensen p.168 explains why this one is paradoxical] This is a nice example of progress in philosophy, since the Greeks would have been thrilled with this idea (unless they knew it, but it was lost). |
| 8865 | If 'the number of Democrats is on the rise', does that mean that 50 million is on the rise? [Yablo] |
| Full Idea: If someone says 'the number of Democrats is on the rise', he or she wants to focus on Democrats, not numbers. If the number is 50 million, is 50 million really on the rise? | |
| From: Stephen Yablo (Apriority and Existence [2000], §14) | |
| A reaction: This is a very nice warning from Yablo, against easy platonism, or any sort of platonism at all. We routinely say that numbers are 'increasing', but the real meaning needs entangling. Here it refers to people joining a party. |
| 12238 | The Aristotelian view is that numbers depend on (and are abstracted from) other things [Oderberg] |
| Full Idea: The Aristotelian account of numbers is that their existence depends on the existence of things that are not numbers, ..since numbers are abstractions from the existence of things. | |
| From: David S. Oderberg (Real Essentialism [2007], 1.2) | |
| A reaction: This is the deeply unfashionable view to which I am attached. The problem is the status of transfinite, complex etc numbers. They look like fictions to me. |
| 19002 | A nominalist can assert statements about mathematical objects, as being partly true [Yablo] |
| Full Idea: If I am a nominalist non-Platonist, I think it is false that 'there are primes over 10', but I want to be able to say it like everyone else. I argue that this because the statement has a part that I do believe, a part that remains interestingly true. | |
| From: Stephen Yablo (Aboutness [2014], 05.8) | |
| A reaction: This is obviously a key motivation for Yablo's book, as it reinforces his fictional view of abstract objects, but aims to capture the phenomena, by investigating what such sentences are 'about'. Admirable. |
| 8863 | We must treat numbers as existing in order to express ourselves about the arrangement of planets [Yablo] |
| Full Idea: It is only by making as if to countenance numbers that one can give expression in English to a fact having nothing to do with numbers, a fact about stars and planets and how they are numerically proportioned. | |
| From: Stephen Yablo (Apriority and Existence [2000], §13) | |
| A reaction: To avoid the phrase 'numerically proportioned', he might have alluded to the 'pattern' of the stars and planets. I'm not sure which -ism this is, but it seems to me a good approach. The application is likely to precede the theory. |
| 10580 | Mathematics is both necessary and a priori because it really consists of logical truths [Yablo] |
| Full Idea: Mathematics seems necessary because the real contents of mathematical statements are logical truths, which are necessary, and it seems a priori because logical truths really are a priori. | |
| From: Stephen Yablo (Abstract Objects: a Case Study [2002], 10) | |
| A reaction: Yablo says his logicism has a Kantian strain, because numbers and sets 'inscribed on our spectacles', but he takes a different view (in the present Idea) from Kant about where the necessity resides. Personally I am tempted by an a posteriori necessity. |
| 8862 | Platonic objects are really created as existential metaphors [Yablo] |
| Full Idea: The means by which platonic objects are simulated is existential metaphor. Numbers are conjured up as metaphorical measures of cardinality. | |
| From: Stephen Yablo (Apriority and Existence [2000], §12) | |
| A reaction: 'Fictional' might be a better word than 'metaphorical', since the latter usually implies some sort of comparison. |
| 10579 | Putting numbers in quantifiable position (rather than many quantifiers) makes expression easier [Yablo] |
| Full Idea: Saying 'the number of Fs is 5', instead of using five quantifiers, puts the numeral in quantifiable position, which brings expressive advantages. 'There are more sheep in the field than cows' is an infinite disjunction, expressible in finite compass. | |
| From: Stephen Yablo (Abstract Objects: a Case Study [2002], 08) | |
| A reaction: See Hofweber with similar thoughts. This idea I take to be a key one in explaining many metaphysical confusions. The human mind just has a strong tendency to objectify properties, relations, qualities, categories etc. - for expression and for reasoning. |
| 12254 | Being is substantial/accidental, complete/incomplete, necessary/contingent, possible, relative, intrinsic.. [Oderberg] |
| Full Idea: Being is heterogeneous: there is substantial being, accidental being, complete being, incomplete being, necessary being, contingent being, possible being, absolute being, relative being, intrinsic being, extrinsic being, and so on. | |
| From: David S. Oderberg (Real Essentialism [2007], 5.3) | |
| A reaction: Dependent being? Oderberg is giving the modern scholastic view. Personally I take 'being' to be univocal, even if it can be qualified in all sorts of ways. I don't believe we actually have any grasp at all of different ways to exist. |
| 16062 | A necessary relation between fact-levels seems to be a further irreducible fact [Lynch/Glasgow] |
| Full Idea: It seems unavoidable that the facts about logically necessary relations between levels of facts are themselves logically distinct further facts, irreducible to the microphysical facts. | |
| From: Lynch,MP/Glasgow,JM (The Impossibility of Superdupervenience [2003], C) | |
| A reaction: I'm beginning to think that rejecting every theory of reality that is proposed by carefully exposing some infinite regress hidden in it is a rather lazy way to do philosophy. Almost as bad as rejecting anything if it can't be defined. |
| 16061 | If some facts 'logically supervene' on some others, they just redescribe them, adding nothing [Lynch/Glasgow] |
| Full Idea: Logical supervenience, restricted to individuals, seems to imply strong reduction. It is said that where the B-facts logically supervene on the A-facts, the B-facts simply re-describe what the A-facts describe, and the B-facts come along 'for free'. | |
| From: Lynch,MP/Glasgow,JM (The Impossibility of Superdupervenience [2003], C) | |
| A reaction: This seems to be taking 'logically' to mean 'analytically'. Presumably an entailment is logically supervenient on its premisses, and may therefore be very revealing, even if some people think such things are analytic. |
| 10577 | Concrete objects have few essential properties, but properties of abstractions are mostly essential [Yablo] |
| Full Idea: Objects like me have a few essential properties, and numerous accidental ones. Abstract objects are a different story. The intrinsic properties of the empty set are mostly essential. The relations of numbers are also mostly essential. | |
| From: Stephen Yablo (Abstract Objects: a Case Study [2002], 01) |
| 10578 | We are thought to know concreta a posteriori, and many abstracta a priori [Yablo] |
| Full Idea: Our knowledge of concreta is a posteriori, but our knowledge of numbers, at least, has often been considered a priori. | |
| From: Stephen Yablo (Abstract Objects: a Case Study [2002], 02) |
| 16060 | Nonreductive materialism says upper 'levels' depend on lower, but don't 'reduce' [Lynch/Glasgow] |
| Full Idea: The root intuition behind nonreductive materialism is that reality is composed of ontologically distinct layers or levels. …The upper levels depend on the physical without reducing to it. | |
| From: Lynch,MP/Glasgow,JM (The Impossibility of Superdupervenience [2003], B) | |
| A reaction: A nice clear statement of a view which I take to be false. This relationship is the sort of thing that drives people fishing for an account of it to use the word 'supervenience', which just says two things seem to hang out together. Fluffy materialism. |
| 16064 | The hallmark of physicalism is that each causal power has a base causal power under it [Lynch/Glasgow] |
| Full Idea: Jessica Wilson (1999) says what makes physicalist accounts different from emergentism etc. is that each individual causal power associated with a supervenient property is numerically identical with a causal power associated with its base property. | |
| From: Lynch,MP/Glasgow,JM (The Impossibility of Superdupervenience [2003], n 11) | |
| A reaction: Hence the key thought in so-called (serious, rather than self-evident) 'emergentism' is so-called 'downward causation', which I take to be an idle daydream. |
| 19489 | For me, fictions are internally true, without a significant internal or external truth-value [Yablo] |
| Full Idea: A 'myth' or fiction for me is a true internal statement (a statement endorsed by the rules) whose external truth value is as may be, the point being that that truth value is from an internal standpoint quite irrelevant. | |
| From: Stephen Yablo (Does Ontology Rest on a Mistake? [1998], IX) | |
| A reaction: This contrasts with Carnap, for whom talk of 'ghosts' is false in an internal thing-framework. Yablo seems here to say a statement can be true while having no truth value. Presumably he is relaxing the internal rules. |
| 19490 | Make-believe can help us to reason about facts and scientific procedures [Yablo] |
| Full Idea: Make-believe games can make it easier to reason about facts, to systematize them, to visualize them, to spot connections with other facts, and to evaluate potential lines of research. | |
| From: Stephen Yablo (Does Ontology Rest on a Mistake? [1998], XI) | |
| A reaction: This is the key pragmatic defence of the fictionalist view of abstract objects. Fictions are devices to help us think better. I think a lot of ontology turns out that way. |
| 19491 | 'The clouds are angry' can only mean '...if one were attributing emotions to clouds' [Yablo] |
| Full Idea: It is an open question whether the clouds that we call 'angry' are literally F, for any F other than 'such that it would be natural and proper to regard them as angry if one were going to attribute emotions to clouds'. | |
| From: Stephen Yablo (Does Ontology Rest on a Mistake? [1998], XII) | |
| A reaction: His point is that it is TRUE, in those circumstances, that the clouds are angry. Thus fictions are a valid and useful part of ordinary sensible course, giving real information. I like it. |
| 8864 | We quantify over events, worlds, etc. in order to make logical possibilities clearer [Yablo] |
| Full Idea: It is not that the contents of sentences are inexpressible without quantifying over events, worlds, etc. (they aren't). But the logical relations become much more tractable if we represent them quantificationally. | |
| From: Stephen Yablo (Apriority and Existence [2000], §13) | |
| A reaction: Yablo is explaining why we find ourselves committed to abstract objects. It is essentially, as I am beginning to suspect, a conspiracy of logicians. What on earth is 'the empty set' when it is at home? What's it made of? |
| 19494 | Fictionalism allows that simulated beliefs may be tracking real facts [Yablo] |
| Full Idea: The fictionalist offers the option that your simulated beliefs and assertions may be tracking a realm of genuine facts, or a realm of what you take to be facts. | |
| From: Stephen Yablo (Go Figure: a Path through Fictionalism [2001], 13) | |
| A reaction: This means that fictionalism does not have to be an error theory. That is, we aren't mistakenly believing something that we actually made up. Instead we are sensibly believing something we know to be not literally true. Love it. |
| 12253 | If tropes are in space and time, in what sense are they abstract? [Oderberg] |
| Full Idea: If tropes are in space and time, in what sense are they abstract? | |
| From: David S. Oderberg (Real Essentialism [2007], 4.5) | |
| A reaction: I take this to be a conclusive objection to claims for any such thing to be abstract. See, for example, Dummett's claim that the Equator is an abstract object. |
| 12256 | We need to distinguish the essential from the non-essential powers [Oderberg] |
| Full Idea: We need a theory of essence to help us distinguish between the powers that do and do not belong to the essence of a thing. | |
| From: David S. Oderberg (Real Essentialism [2007], 6.3) | |
| A reaction: I take this to be a very good reason for searching for the essence of things, though the need to distinguish does not guarantee that there really is something to distinguish. Maybe powers just come and go. A power is essential in you but not in me? |
| 8858 | Philosophers keep finding unexpected objects, like models, worlds, functions, numbers, events, sets, properties [Yablo] |
| Full Idea: There's a tradition in philosophy of finding 'unexpected objects' in truth-conditions, such as countermodels, possible worlds, functions, numbers, events, sets and properties. | |
| From: Stephen Yablo (Apriority and Existence [2000], §02) | |
| A reaction: This is a very nice perspective on the whole matter of abstract objects. If we find ourselves reluctantly committed to the existence of something which is ontologically peculiar, we should go back to the philosophical drawing-board. |
| 12252 | Empiricists gave up 'substance', as unknowable substratum, or reducible to a bundle [Oderberg] |
| Full Idea: The demise of 'substance' was wholly due to mistaken notions, mainly from the empiricists, by which it was conceived either as an unknowable featureless substratum, or as dispensable in favour of some or other bundle theory. | |
| From: David S. Oderberg (Real Essentialism [2007], 4.4) | |
| A reaction: There seems to be a view that the notion of substance is essential to explaining how we understand the world. I am inclined to think that if we accept the notion of essence we can totally dispense with the notion of substance. |
| 14381 | A statue is essentially the statue, but its lump is not essentially a statue, so statue isn't lump [Yablo, by Rocca] |
| Full Idea: Yablo proposes the argument that Statue A is essentially a statue, and Lump 1 is not essentially a statue, so Statue A is not identical with Lump 1. | |
| From: report of Stephen Yablo (Identity, Essence and Indiscernibility [1987]) by Michael della Rocca - Essentialists and Essentialism I | |
| A reaction: Della Rocca and Yablo unashamedly elide necessary properties with essential properties, so this argument doesn't bother me too much. It concerns the statue and the clay having different modal properties. |
| 18998 | Parthood lacks the restriction of kind which most relations have [Yablo] |
| Full Idea: Most relations obtain only between certain kinds of thing. To learn that x is a part of y, however, tells you nothing about x and y taken individually. | |
| From: Stephen Yablo (Aboutness [2014], 03.2) | |
| A reaction: Too sweeping. To be a part of crowd you have to be a person. To be part of the sea you have to be wet. It might depend on whether composition is unrestricted. |
| 12241 | Essences are real, about being, knowable, definable and classifiable [Oderberg, by PG] |
| Full Idea: Real essences are objectively real, they concern being, they are knowable, they are definable, and they are classifiable. | |
| From: report of David S. Oderberg (Real Essentialism [2007], 1.4) by PG - Db (ideas) | |
| A reaction: This is a lovely summary (spread over two pages) of what essentialism is all about. It might be added that they are about unity and identity. The fact that they are intrinsically classifiable seems to mislead some people into a confused view. |
| 12244 | Nominalism is consistent with individual but not with universal essences [Oderberg] |
| Full Idea: Nominalism is consistent with belief in individual essences, but real essentialism postulates essences as universals (quiddities). Nominalists are nearly always empiricists, though the converse may not be the case. | |
| From: David S. Oderberg (Real Essentialism [2007], 2.1) | |
| A reaction: This is where I part company with Oderberg. I want to argue that the nominalist/individualist view is more in tune with what Aristotle believed (though he spotted a dilemma here). Only individual essences explain individual behaviour. |
| 12240 | Essentialism is the main account of the unity of objects [Oderberg] |
| Full Idea: Real essentialism, more than any other ontological theory, stresses and seeks to explain the unity of objects. | |
| From: David S. Oderberg (Real Essentialism [2007], 1.3) | |
| A reaction: A key piece in the jigsaw I am beginning to assemble. If explanation is the aim, and essence the key to explanation, then explaining unity is the part of it that connects with other metaphysics, about identity and so on. 'Units' breed numbers. |
| 12247 | Essence is not explanatory but constitutive [Oderberg] |
| Full Idea: Essence is not reducible to explanatory relations, ...and fundamentally the role of essence is not explanatory but constitutive. | |
| From: David S. Oderberg (Real Essentialism [2007], 3.1) | |
| A reaction: Effectively, this asserts essence as part of 'pure' metaphysics, but I like impure metaphysics, as the best explanation of the things we can know. Hence we can speculate about constitution only by means of explanation. Constitution is active. |
| 12258 | Properties are not part of an essence, but they flow from it [Oderberg] |
| Full Idea: A substance is constituted by its essence, and properties are a species of accident. No property of a thing is part of a thing's essence, though properties flow from the essence. | |
| From: David S. Oderberg (Real Essentialism [2007], 7.2) | |
| A reaction: I'm not sure I understand this. How can you know of something which has no properties? I'm wondering if the whole notion of a 'property' should be eliminated from good metaphysics. |
| 12257 | Could we replace essence with collections of powers? [Oderberg] |
| Full Idea: Why not do away with talk of essences and replace it with talk of powers pure and simple, or reduce essences to collections of powers? But then what unites the powers, and could a power be lost, and is there entailment between the powers? | |
| From: David S. Oderberg (Real Essentialism [2007], 6.3) | |
| A reaction: [He cites Bennett and Hacker 2003 for this view] The point would seem to be that in addition to the powers, there are also identity and unity and kind-membership to be explained. Oderberg says the powers flow from the essence. |
| 12236 | Leibniz's Law is an essentialist truth [Oderberg] |
| Full Idea: Leibniz's Law is an essentialist truth. | |
| From: David S. Oderberg (Real Essentialism [2007], 1.1) | |
| A reaction: That is, if two things must have identical properties because they are the same thing, this is because those properties are essential to the thing. Otherwise two things could be the same, even though one of them lacked a non-identifying property. |
| 12250 | Bodies have act and potency, the latter explaining new kinds of existence [Oderberg] |
| Full Idea: The fundamental thesis of real essentialism is that every finite material body has a twofold composition, being a compound of act and potency. ...Reality can take on new kinds of existence because there is a principle of potentiality inherent in reality. | |
| From: David S. Oderberg (Real Essentialism [2007], 4.1) | |
| A reaction: I take from this remark that the 'powers' discussed by Molnar and other scientific essentialists is roughly the same as 'potentiality' identified by Aristotle. |
| 12234 | Realism about possible worlds is circular, since it needs a criterion of 'possible' [Oderberg] |
| Full Idea: Any realist theory of possible worlds will be circular in its attempt to illuminate modality, for there has to be some criterion of what counts as a possible world. | |
| From: David S. Oderberg (Real Essentialism [2007], 1.1) | |
| A reaction: Seems right. At the very least, if we are going to rule out contradictory worlds as impossible (and is there a more obvious criterion?), we already need to understand 'impossible' in order to state that rule. |
| 19493 | Governing possible worlds theory is the fiction that if something is possible, it happens in a world [Yablo] |
| Full Idea: The governing fiction of possible worlds theory says that whenever something is possible, there is a world where it happens. | |
| From: Stephen Yablo (Go Figure: a Path through Fictionalism [2001], 05) | |
| A reaction: This sounds like the only sensible attitude to possible worlds I can think of. |
| 12235 | Necessity of identity seems trivial, because it leaves out the real essence [Oderberg] |
| Full Idea: The necessity of identity carries the appearance of triviality, because it is the eviscerated contemporary essentialist form of a foundational real essentialist truth to the effect that every object has its own nature. | |
| From: David S. Oderberg (Real Essentialism [2007], 1.1) | |
| A reaction: I like this. Writers like Mackie and Forbes have to put the 'trivial' aspects of essence to one side, without ever seeing why there is such a problem. Real substantial essences have necessity of identity as a side-effect. |
| 12237 | Rigid designation has at least three essentialist presuppositions [Oderberg] |
| Full Idea: The rigid designator approach to essentialism has essentialist assumptions. ..The necessity of identity is built into the very conception of a rigid designator,..and Leibniz's Law is presupposed...and necessity of origin presupposes sufficiency of origin. | |
| From: David S. Oderberg (Real Essentialism [2007], 1.1) | |
| A reaction: [compressed. He cites Salmon 1981:196 for the last point] This sounds right. You feel happy to 'rigidly designate' something precisely because you think there is something definite and stable which can be designated. |
| 19004 | Gettier says you don't know if you are confused about how it is true [Yablo] |
| Full Idea: We know from Gettier that if you are right to regard Q as true, but you are sufficiently confused about HOW it is true - about how things stand with respect to its subject matter - then you don't know that Q. | |
| From: Stephen Yablo (Aboutness [2014], 07.4) | |
| A reaction: I'm inclined to approach Gettier by focusing on the propositions being expressed, where his cases tend to focus on the literal wording of the sentences. What did the utterer mean by the sentences - not what did they appear to say. |
| 19007 | A theory need not be true to be good; it should just be true about its physical aspects [Yablo] |
| Full Idea: A physical theory need not be true to be good, Field has argued, and I agree. All we ask of it truth-wise is that its physical implications should be true, or, in my version, that it should be true about the physical. | |
| From: Stephen Yablo (Aboutness [2014], 12.5) | |
| A reaction: Yablo is, of course, writing a book here about the concept of 'about'. This seems persuasive. The internal terminology of the theory isn't committed to anything - it is only at its physical periphery (Quine) that the ontology matters. |
| 18993 | If sentences point to different evidence, they must have different subject-matter [Yablo] |
| Full Idea: 'All crows are black' cannot say quite the same as 'All non-black things are non-crows', for the two are confirmed by different evidence. Subject matter looks to be the distinguishing feature. One is about crows, the other not. | |
| From: Stephen Yablo (Aboutness [2014], Intro) | |
| A reaction: You might reply that they are confirmed by the same evidence (but only in its unobtainable totality). The point, I think, is that the sentences invite you to start your search in different places. |
| 19003 | Most people say nonblack nonravens do confirm 'all ravens are black', but only a tiny bit [Yablo] |
| Full Idea: The standard response to the raven paradox is to say that a nonblack nonraven does confirm that all ravens are black. But it confirms it just the teeniest little bit - not as much as a black raven does. | |
| From: Stephen Yablo (Aboutness [2014], 06.5) | |
| A reaction: It depends on the proportion between the relevant items. How do you confirm 'all the large animals in this zoo are mammals'? Check for size every animal which is obviously not a mammal? |
| 10805 | A sentence should be recarved to reveal its content or implication relations [Yablo] |
| Full Idea: A sentence invites recarving iff it will then do better justice to the internal structure of its content and/or its implication relations. | |
| From: Stephen Yablo (Carving Content at the Joints [2002], §11) | |
| A reaction: This invites human intervention in a logical process (by choosing which recarvings to do, instead of allowing all equivalences to generate them). He seems to think we should abstract in order to reveal logical form. |
| 18992 | Sentence-meaning is the truth-conditions - plus factors responsible for them [Yablo] |
| Full Idea: A sentence's meaning is to do with its truth-value in various possible scenarios, AND the factors responsible for that truth-value. | |
| From: Stephen Yablo (Aboutness [2014], Intro) | |
| A reaction: The thesis of his book, which I welcome. I'm increasingly struck by the way in which much modern philosophy settles for a theory being complete, when actually further explanation is possible. Exhibit A is functional explanations. Why that function? |
| 18994 | The content of an assertion can be quite different from compositional content [Yablo] |
| Full Idea: Assertive content - what a sentence is heard as saying - can be at quite a distance from compositional content. | |
| From: Stephen Yablo (Aboutness [2014], Intro) | |
| A reaction: This is the obvious reason why semantics cannot be entirely compositional, since there is nearly always a contextual component which then has to be added. In the case of irony, the compositional content is entirely reversed. |
| 18997 | Truth-conditions as subject-matter has problems of relevance, short cut, and reversal [Yablo] |
| Full Idea: If the subject-matter of S is how it is true, we get three unfortunate results: S has truth-value in worlds where its subject-matter draws a blank; learning what S is about tells you its truth-value; negating S changes what it's about. | |
| From: Stephen Yablo (Aboutness [2014], 02.8) | |
| A reaction: Together these make fairly devastating objections to the truth-conditions (in possible worlds) theory of meaning. The first-objection concerns when S is false |
| 19005 | Not-A is too strong to just erase an improper assertion, because it actually reverses A [Yablo] |
| Full Idea: The idea that negation is, or can be, a cancellation device raises an interesting question. What does one do to wipe the slate clean after an improper assertion? Not-A is too strong; it reverses our stand on A rather than nullifying it. | |
| From: Stephen Yablo (Aboutness [2014], 09.8) | |
| A reaction: [He is discussing a remark of Strawson 1952] It seems that 'not' has two meanings or uses: a weak use of 'nullifying' an assertion, and a strong use of 'reversing' an assertion. One could do both: 'that's not right; in fact, it's just the opposite'. |
| 8861 | Hardly a word in the language is devoid of metaphorical potential [Yablo] |
| Full Idea: There is hardly a word in the language - be it an adverb, preposition, conjunction, or what have you - that is devoid of metaphorical potential. | |
| From: Stephen Yablo (Apriority and Existence [2000], §12) | |
| A reaction: Yablo goes on to claim that metaphor is at the heart of all of our abstract thinking. 'Dead metaphors' (like the "mouth" of a river) sink totally into literal language. I think Yablo is on the right lines. |
| 12245 | Essence is the source of a thing's characteristic behaviour [Oderberg] |
| Full Idea: In the traditional terminology, function follows essence. Essence just is the principle from which flows the characteristic behaviour of a thing. | |
| From: David S. Oderberg (Real Essentialism [2007], 2.1) | |
| A reaction: Hence essence must be identified if the behaviour is to be explained, and a successful identification of essence is the terminus of our explanations. But the essences must go down to the micro-level. Explain non-characteristic behaviour? |
| 12246 | What makes Parmenidean reality a One rather than a Many? [Oderberg] |
| Full Idea: Even if there were no multiplicity in unity - only a Parmenidean 'block' - still the question would arise as to what gave the amorphous lump its unity; by virtue of what would it be one rather than many? | |
| From: David S. Oderberg (Real Essentialism [2007], 3.1) | |
| A reaction: Which is prior, division or unification? If it was divided, he would ask what divided it. One of them must be primitive, so why not unity? If one big Unity is primitive, why could not lots of unities be primitive? Etc. |
| 12239 | The real essentialist is not merely a scientist [Oderberg] |
| Full Idea: It is incorrect to hold that the job of the real essentialist just is the job of the scientist. | |
| From: David S. Oderberg (Real Essentialism [2007], 1.3) | |
| A reaction: Presumably scientific essentialism, while being firmly a branch of metaphysics, is meant to clarify the activities of science, and thereby be of some practical use. You can't beat knowing what it is you are trying to do. |
| 12243 | The reductionism found in scientific essentialism is mistaken [Oderberg] |
| Full Idea: The reductionism found in scientific essentialism is mistaken. | |
| From: David S. Oderberg (Real Essentialism [2007], 1.4) | |
| A reaction: Oderberg's point is that essence doesn't just occur at the bottom of the hierarchy of kinds, but can exist on a macro-level, and need not be a concealed structure, as we see in the essence of a pile of stones. |