Monthly Archives: November 2012

Thoughts on David Charles and Aristotle regarding Scientific Definitions

According to David Charles, one difference between Aristotle and modern essentialists is what he calls the Existence Assumption (EA), which states:

If one understands the term ‘water’, one must therein know that the kind has instances (Charles 2000, 16).

It is the modern essentialist who believes that the determining factor of any necessary part of the sense of a term is the referent, and so knowledge of the terms instances is required even in the earliest stages of scientific investigation.

For, one cannot understand ‘water’ without knowing that water is in fact instantiated by certain specific examples (Charles 2000, 17).

Charles contrasts this with Aristotle, whom he claims rejects EA.  That is, one need not have knowledge either of the instances of a kind or whether there are instances of a kind to know the sense of a term.  In fact, Charles goes so far as to say that Aristotle faces a challenge, “…of showing that one can determinately grasp natural-kind terms without knowing (even derivatively) of some cases that they are instances of that kind” (Charles 2000, 18).  But why think Aristotle should be burdened with such a challenge at all?  Consider, for instance, the goat-stag, of which he says  “…you may know what the account or the name signifies when I say goat-stag, but it is impossible to know what a goat-stag is” (Aristotle 1985, 152; Post. An. 92b4).  I’ve always taken this to mean that one cannot give an essential definition to a goat-stag since it lacks a referent.   One can provide a sense to the term “goat-stag”, but the resulting definition will not be anything more than a nominal definition.  And Aristotle is quite clear that definition alone does a demonstration make.  In other words, a definition does not necessarily provide the what-it-is of a thing, nor proves whether there is such a thing.  Thus:

For definitions do not in addition make clear either that what is said is possible, or that it is that of which they say they are definitions, but it is always possible to say ‘Why?’ If, therefore, the definer proves either what a thing is or what its name signifies, then if a definition has nothing at all to do with what a thing is, it will be an account signifying the same as a name. But that is absurd. For, first, there would be definitions even of non-substances, and of things that are not–or one can signify even things that are not (Aristotle 1985, 153; Post. An. 92b23-29).

Charles picks up on this and notes that this seems to suggest that, for Aristotle, definitions are not restricted objects and kinds, but can extend to non-existents as well (Charles 2000, 28).   Key to understanding Charles will be his three stages of enquiry (Charles 2000, 24):

Stage I: This stage is achieved when one knows an account of what a name or another name-like expression signifies (section [A]: 93b30-2).

Stage II: This stage is achieved when one knows that what is signified by a name or name-like expression exists (section [B]:93b32).

Stage III: This stage is achieved when one knows the essence of the object/kind signified by a name or name-like expression (section [B]: 93b32-3).

Charles offers three interpretations of Aristotle based on four questions (Charles 2000, 30):

(A) Does Aristotle accept the three-stage view?  Does he think that every case of scientific enquiry involves a first stage where one need not know of the existence of the kind, but must know an account of what the name signifies?

(B) Are any Stage I accounts identical in content (in Aristotle’s view) with any definition of a kind?

(C) Does Aristotle think that if one grasps an account which is in fact definitional one knows that it is so?  Is the definitional nature of that account transparent to the person who grasps it?

(D) Are all accounts of what names signify regarded by Aristotle as definitional in some way?

Defending what he calls the “Liberal” view, Charles answers in the affirmative to (A), (C), and (D), but denies (B).  He also develops to “Restrictive Views”: Restrictive View 1 answers affirmatively to (A) and (B) , but in the negative to (C) and (D), and Restrictive View 2  answers in the affirmative to (B) and (C), but negatively to (A) and (D) (Charles 200, 30).

I am inclined to accept (A) and (D) as true.  I find a progressive development of signification to be plausibly found in Aristotle, and certainly the above quotes suggest that even the goat-stag account is definitional in some way, i.e. what some may call a nominal definition.

Charles argues in favor of (C) by saying:

…[D]efinitions are accounts which reveal what something is (B.3, 91aI) and, thus, make its nature known to us (B.3, 90B16).  Thus, if we grasp an account which makes known to us the nature of something, we grasp its definition.  There is no more to grasping a definition than grasping a knowledge-giving/revealing account of this type.  If so, there can be no case in which we grasp an account which makes a kind’s nature known to us but do not grasp its definition (Charles 2000, 30; fn14).

He entertains two ways to avoid this argument.  The first is to say that we might not label a particular account a definition, but Charles thinks this is a mere semantic objection and discounts it.  I think this is unduly rejected, since the issue at stake is epistemic transparency for all who grasp accounts.  If semantics are sufficient to render the matter opaque, we must deny (C).  The second objection is even more troubling, that we might know the nature of a thing, but not know that we know.  Charles points out that Aristotle defines definitions as making things known to us (Post. An. 90b16).  Definitions need not make us know that we know!  However, there does seem to be a third objection that Charles appears to side-step, namely that his own argument only appears to apply to Stage II-III accounts, i.e. to accounts of extents that have natures to be revealed.  But if Stage I is an account, there is no reason to think (C) would hold.

I also have some concerns about (B), and Charles notes that his entire book is fundamentally a defense of affirming (A) and denying (B)–(C) and (D) being related but not central issues.  The denial of (B) seems too strong.  For it suggests that no Stage I account could even happen to be identical in content with any definition of a kind.  But suppose I were to come upon a magic lamp, and relate to a magical genie my Stage I account of a goat-stag saying, “Genie, I wish the content of my definition to be identical to a definition of a kind that has instances.”  Surely my nearly omnipotent genie could satisfy this simple request with a quick nod and blink… that is, unless Charles is somehow equivocating on “content”, i.e. that in a Stage I account the content is somehow merely verbal, whereas the content of, say, an essential definition, has another mysterious ontological status.  If that is so, then I am not really sure I am clear on what he means by “definition” and whether he is using it univocally throughout his stages.

He never labeled the position of taking (A), (B), and (D) as true, and (C) as false.  And this seems to be my position, as I am struggling to accept (C).  Now it seems possible that (D) is true, but that not everyone accepts (D) (as is evidenced by the two restrictive views above) and that such a person might see the definitional nature of a particular account as opaque.  But it seems to me that such a person would only be so insistent if she were only to admit Stage III accounts as definitions.  And one might imagine that such a person might hear a Stage III account, say from a relevant, reputable, and authoritative scientist without recognizing it as an actual Stage III account.  Thus, such a person might not accept that it is definitional, even when it fits her restricted notion of what may count as definitional in fact.  Take, for instance, the Young Earth Creationist (YEC) who also holds to a restricted view of Aristotle’s Prior Analytics B.8-10–a coincidence of views one might imagine is not uncommon among the home-schooled.   She grasps the definition of some missing link between humans and the great apes, but may deny that there were any such instances.  The YEC might be able to recite the “definition” with the same precision as the Darwinian scientist, though it is the scientist’s “definition”, not hers.  The YEC thinks homo heidelbergensis is none more real than the goat-stag.  And so Charles’ argument in defense of (C) would fail on the YEC, since the YEC is unaware of any revealing nature of the homo heidelbergensis by which she might be made aware that she grasps a definition and knows it to be definitional.  And while I may affirm (D), that both the YEC and the scientist use the name “homo heidelbergensis” definitionally, our YEC denies (D) on the grounds, say, that an account requires instances in order to be definition.  This, of course, isn’t a defeater for (D) as much as it helps explain why she might not know that she has a definitional account even when she clearly is aware that the name has a sense.

Given all of this, I am still not clear on why Aristotle is said to reject EA.  For it seems that EA applies to any definitional account that rises above Stage I.  It is, after all, the essentialists assumption.  And it’s evident from the above quotes from Aristotle that goat-stags and other non-substances are not defined essentially–as they lack essences.  EA is an assumption that only underlies Stage II-III, to put it in Charles’ terms.  Others would say that, on Aristotle, chimeras can only hope for nominal definitions and those definitions carry no existential import and cannot be used in demonstration.  It seems, then, that Charles may be pushing a distinction without a difference.  His point seems to be that Aristotle does not require instances in definitions, so long as the definitions are non-essential. Is there a modern essentialist who would disagree with that?  Would Kripke really hold that “goat-stag” rigidly designates across possible worlds?


Aristotle. 1985. “Posterior Analytics“. In The Complete Works of Aristotle, vol. I. Ed. J. Barnes. New York: Oxford University Press

Charles, D. 2000. Aristotle On Meaning and Essence.  New York: Oxford University Press

New Articles on SEP

I have not been updating as often as I would like.  My program is kicking my butt, which is a good thing.  But I thought I would link to some interesting new and revised articles on SEP:


Pascal’s Wager

“Pascal’s Wager” is the name given to an argument due to Blaise Pascal for believing, or for at least taking steps to believe, in God. The name is somewhat misleading, for in a single paragraph of his Pensées, Pascal apparently presents at least three such arguments, each of which might be called a ‘wager’ — it is only the final of these that is traditionally referred to as “Pascal’s Wager”. We find in it the extraordinary confluence of several important strands of thought: the justification of theism; probability theory and decision theory, used here for almost the first time in history; pragmatism; voluntarism (the thesis that belief is a matter of the will); and the use of the concept of infinity (Hájek 2012).

The Theology of Aristotle

In the ninth century, Plotinus was translated into Arabic. Long sections of this translation went under the title Theology of Aristotle. The attribution of the work to Aristotle helped the text to become an influential source of Neoplatonic ideas in the Arabic-speaking world. But the Arabic Plotinus materials are important not only as a conduit for Plotinus’ ideas; they also differ on numerous points from their ultimate source. Thus the Theology, along with other texts derived from the Arabic version of Plotinus, in fact constitute an interpretation of Plotinus’ thought, and not just a translation. The Theology in turn becomes the chief text conveying Plotinian ideas to the Arabic-speaking tradition (Adamson 2012).