01The starting point and the main argument

Dancy explains the introduction of Forms through the demands made on Socratic definitions. The starting point is practical inquiry: how should we judge actions, educate people, or live well? Socrates redirects such questions toward what courage, justice, piety, or beauty is. His rejection of proposed answers gradually reveals the kind of answer he needs.

The central development is from requirements on a definition to claims about a definitional object. A correct answer must cover the right cases, supply an unfailing standard, and explain why the cases have the characteristic. Dancy argues that the later Forms inherit these roles. The Argument from Relativity distinguishes the pure object from ordinary candidates that admit contrary qualifications, pp. 18–19, 314–315.

This is Dancy’s reconstruction of a connected development. It is not a claim that Socrates begins with a complete formal theory and explicitly states all its premises.

02The six stages, using beauty

The following sequence expands the original book overview. Its labels distinguish a question, an assumption, a contrast, a conclusion, and an explanatory claim.

Stages 2–4 carry the main argumentative burden. The sequence is not a deduction from the bare fact that people ask questions. It combines requirements, existential commitments, and claims about ordinary cases.

03The Argument from Relativity, with the qualifications exposed

Let F mean the characteristic under investigation; contrary-F its opposite; ordinary F an ordinary instance; and the F the object sought by the definition.

1. Existence: there is such a thing as the F.
2. Ordinary-instance premise: every ordinary F also admits contrary-F under some relevant qualification.
3. Purity premise: the F never admits contrary-F under those qualifications.
4. Identity principle: identical things cannot differ in that relevant property.
5. Conclusion: the F is not identical with any ordinary F.

Dancy gives the schema on p. 18; the explicit identity principle here makes its inference transparent. A thing beautiful relative to one comparison and ugly relative to another is not being called contradictory. Its qualified variability contrasts with the proposed standard’s exclusion of the opposite.

Two limits must remain visible. First, the argument starts with an existence commitment. It does not create an object merely by stating what a satisfactory standard would have to be. Second, a ≠ b does not entail a can exist without b. The stronger claim of independent existence requires further support. Dancy’s discussion of separation on p. 13, including note 47, does not make the elementary distinction between these propositions disappear.

04The three requirements on definitions

These requirements are reconstructed in Chapters 4–6, connected in Chapters 7–8, and revisited in the conclusion. They are not three interchangeable formulations of one unproblematic condition. In particular, unrestricted substitution in explanatory contexts threatens the direction of explanation, pp. 134–147.

05The epistemic route: why the Meno matters

The strong Intellectualist Assumption requires knowing what F is, and being able to articulate it, before knowing the relevant judgments involving F. Yet testing an account seems to rely on prior judgments about cases. Dancy thinks this creates a real tension in Socratic inquiry, although the contradiction requires treating some accepted judgments as knowledge, pp. 36–41.

The Meno raises the problem of how an inquiry can begin and recognize success. Recollection offers prior resources; the slave’s geometry discussion illustrates progress from mistaken answers through perplexity to correct judgment. It does not, without additional premises, demonstrate that all the knowledge existed eternally before birth.

Inquiry by hypothesis then proceeds without a completed definition of virtue. Dancy interprets this as sacrificing the strongest priority requirement, pp. 236–237. The Meno prepares the next stage but does not already establish everything asserted in the Phaedo.

06Where the later dialogues add the metaphysics

The Phaedo explicitly affirms the existence and imperceptibility of the objects sought by definitions, pp. 245–252. Its recollection argument then distinguishes the Equal itself from ordinary equals and argues for prior knowledge. Dancy separates the case for Forms from the further claims about prenatal knowledge and the soul’s survival, pp. 253–283.

The Symposium presents an ascent through increasingly general objects of love to Beauty itself. Increasing generality is not the same logical move as reaching the final unqualified object. The final transition brings in the contrast central to the Argument from Relativity, pp. 284–290.

The Phaedo’s causal discussion asks how the Forms explain ordinary things. The Safe Theory uses participation; the Learned Safe Theory also allows necessary bearers such as fire, snow, or the odd number three to explain a relevant characteristic. Dancy argues that the final immortality reasoning does not depend on everything distinctive of the Theory of Forms, pp. 291–313.

07What Dancy establishes as an interpretation

Dancy’s book offers a systematic connection among definition, a pure standard, and explanation. Its claim is that these roles make the introduction of Forms intelligible as a development from the refutations. That interpretive success must be distinguished from endorsing every argument as sound.

Across the book, Dancy identifies defective refutations, unproved assumptions, shifts in scope, and incomplete bridges. Ordinary talk of existence does not decide ontology. Self-predicative grammar does not decide meaning. Prior knowledge does not automatically mean knowledge before birth. The fact that every chain has an endpoint does not prove that all chains have one common endpoint.

These distinctions are part of the account, rather than objections added after an otherwise seamless proof. The chapter pages preserve them in the passage commentary and argument reconstructions.

08The unfinished relation: participation

The explanatory burden eventually falls on participation: ordinary beautiful things are beautiful through their relation to Beauty. But giving that relation a name does not yet explain what it consists in or how it does the work.

The book’s conclusion therefore has two sides. The origins of the requirements help explain the shape of the theory. The theory still owes an account of the central relation it invokes. Dancy points toward difficulties pursued in the Parmenides, rather than supplying a completed solution within this book.

09A working glossary

01The question and the result

Dancy asks how arguments used to reject proposed definitions in the Socratic dialogues develop into arguments for Forms in the Phaedo and Symposium. His starting point is a practice: Socrates asks what courage, piety, justice, or beauty is and tests the answers. His destination is a metaphysical theory about the objects that can meet the requirements exposed by those tests. The connection has to be argued for; it cannot be read straight off the word “Form.”

“Developmental” means that the arguments need not express one unchanged doctrine throughout. “Analytic emphasis” means that Dancy concentrates on premises, conclusions, and dependencies. He does not deny that Plato writes drama or that literary interpretation matters. He selects the arguments as his principal evidence, pp. 1–3.

02Whose claims are being reconstructed?

Plato writes dialogues in which characters speak. A statement by the character Socrates is therefore not automatically a direct assertion by Plato. Dancy thinks the connected train of thought he reconstructs supports an attribution to Plato, but does not simply assume that every Socratic speech is Plato’s doctrine.

This also distinguishes the character from the historical Socrates. Aristotle’s historical account, discussed in §1.2, is a special case. Elsewhere, the primary question is what the dialogue’s argument requires. Some premises Dancy makes explicit may be assumptions Plato did not himself formulate. A reconstruction can reveal a dependency without proving that its author consciously recognized it.

The attribution levels in this guide follow that distinction. A quotation attributed to Dancy is Dancy’s wording. A passage attributed to Plato, translated by Dancy, is dialogue evidence. A displayed proof labelled “explanatory reconstruction” makes the reasoning explicit in this guide’s notation.

03Logical development and chronology

The book groups definition-seeking dialogues, the transitional Meno, and the Phaedo and Symposium by their argumentative roles. It does not need an exact calendar of composition to identify a movement from one set of commitments to another.

This does not mean chronology is irrelevant to every question about Plato. Dancy considers chronological development natural, while allowing that revision or overlapping composition could complicate the biography. His immediate claim is narrower: earlier-style arguments can be understood without the explicit metaphysics that later-style arguments introduce, pp. 4–11.

The Meno matters because a search for a definition of virtue gives way to recollection and inquiry by hypothesis. The doctrine introduced there is recollection, with implications for the soul’s prior existence; Dancy does not treat it as already the full Theory of Forms, pp. 10–11. The Phaedo and Symposium make the metaphysical commitment explicit.

04Aristotle’s account supplies an initial model

Aristotle connects two influences. Socrates sought definitions, especially in ethics. Heraclitean thought treated perceptible things as being in flux. Plato, on Aristotle’s account, located the objects suitable for definition and knowledge beyond perceptible things, pp. 12–13.

That story contains an argument only if several connecting assumptions are supplied. Why should change defeat knowledge? Why must the object of a definition be stable? Why assume that anything can satisfy the definition-seeking project? Dancy makes these dependencies visible instead of treating the historical story as a proof.

“Separate” also needs care. On p. 13, Dancy says that distinction from perceptible things is at least part of Aristotle’s meaning; note 47 adds that the distinction will be radical. This does not license replacing every claim of nonidentity with the stronger claim that a Form can exist without any instances. Those are different propositions.

05The Argument from Flux, premise by premise

Dancy presents the Argument from Flux on p. 15. In the following explanatory restatement, “definable” means suitable as an answer to the relevant “what is it?” inquiry.

1. Existence: something can be defined.
2. Perceptible things: everything perceptible is in flux.
3. Definable things: what can be defined is stable.
4. Exclusion assumption: being stable and being in flux exclude each other in the relevant respect.
5. Conclusion: whatever can be defined differs from every perceptible thing.

The existence premise prevents a merely empty contrast: if nothing were definable, the argument would not supply an object beyond perceptibles. The exclusion assumption lets differences of properties establish nonidentity. Dancy also exposes two motivating claims behind stability: nothing in constant change is knowable, and knowing a thing requires its definition, pp. 14–16.

Validity here means that the conclusion follows if the premises are true with the intended meanings. It does not establish that those premises are true. Dancy criticizes their straightforward readings.

06Why ordinary change is not enough

First, knowing or defining a particular thing is ambiguous. Recognizing this coffee-pot differs from explaining what a coffee-pot is. Invoking “universals” before clarifying this distinction risks importing the very theory the argument is supposed to introduce, pp. 15–16.

Second, change in some respect is not change in every respect. John may change while remaining a bachelor. Nothing about ordinary physical change entails an endless alternation between being married and unmarried, p. 17.

Third, even change in the relevant respect need not defeat a time-qualified truth. If John was a bachelor at 4:10, a later speaker can say and potentially know that he was a bachelor at 4:10. The object need not remain in that condition while the sentence is uttered, p. 18.

These objections block the quick inference “things change, therefore they cannot be known.” They motivate a different reading of the opposition between ordinary things and the definable object.

07The Argument from Relativity

Dancy’s organizing argument appears on pp. 18–19. Let F be the characteristic under inquiry, such as beautiful, and let contrary-F mean its opposite, such as ugly. “The F” names what the inquiry is seeking; its metaphysical character is still to be established.

1. ARE — existence: there is such a thing as the F.
2. ARO — ordinary cases: any ordinary F also admits contrary-F.
3. ARF — the definitional object: the F never admits contrary-F.
4. ARC — conclusion: the F is not identical with any ordinary F.

Beauty illustrates the structure. A person may be beautiful relative to one comparison and ugly relative to another. The proposed pure standard excludes ugliness. If those claims hold, that person cannot be identical with the pure standard.

The qualifications matter. “Beautiful relative to one comparison and ugly relative to another” is not the contradiction “beautiful and not beautiful in the same respect at the same time.” The argument distinguishes an object admitting qualified contraries from a standard that excludes the contrary across the relevant qualifications.

Dancy treats the Platonic version of flux as this qualified instability. In the early refutations, candidates fail because they admit what the answer must exclude. In the later argument, that contrast distinguishes Forms from ordinary instances.

08What the schema assumes, and what follows

The word any in ARO and the word never in ARF make strong claims. A handful of variable cases does not prove that every ordinary candidate admits the contrary. A successful ordinary standard would challenge that premise. Likewise, requiring an unfailing standard does not by itself prove one exists.

The existence commitment is therefore a starting point, not a result obtained merely from asking “What is beauty?” Chapter 3 will explain how an ordinary existential admission can fix the topic before its metaphysical implications are argued out.

The immediate conclusion is nonidentity. A further account is needed for independent existence, imperceptibility, and the relation through which beautiful things are beautiful by Beauty. The later dialogues add claims about these matters; they should not be silently packed into the bare logical symbol “≠.”

09What this chapter contributes, and what it leaves open

Chapter 1 establishes the interpretive method and the argument the book will develop. It gives a programme, not a completed proof that Forms exist. The next chapters ask what Socrates is doing when he seeks definitions, what his tests require, and whether those requirements can be jointly satisfied. The central thread is the move from rejecting a qualified candidate to distinguishing an unqualified definitional object.

10The Argument from Relativity

11Assumptions and inference limits

01The question and the result

Why describe Socrates as giving priority to definitions when he does not announce a technical doctrine with that name? Dancy’s answer rests on the questions Socrates asks, the uses he assigns to answers, and the tests by which he rejects proposals. The strongest reconstructed principle says that knowing a relevant truth about F requires being able to say what F is. Dancy argues that this conflicts with the prior judgments needed to evaluate definitions.

The point concerns a settled philosophical vocabulary. Related Greek words occur, but their ordinary meanings include marking off, distinguishing, and setting boundaries. Their occurrence alone does not show that a speaker possesses Aristotle’s later theory of definition.

02What does “definition” mean in this inquiry?

Socrates typically asks “What is courage?” or “What is the pious?” He does not first supply a universally agreed definition of definition. Dancy reconstructs what an acceptable answer must accomplish from the subsequent discussion, pp. 23–25.

A definiendum is what is being defined: for example, courage. A definiens is the proposed account: for example, standing one’s ground. A proposed definition makes a stronger claim than giving one example or reporting a frequent association. It purports to identify what courage is and to support replacing the original expression with the account while preserving truth.

On the same page Dancy explains that Socrates’ further statements, especially his rejections of answers, make the enterprise a search for definitions. This is the warrant for the interpreter’s label. It is not a quotation in which Socrates announces “I have a theory called the priority of definition.”

The broad substitution demand appears on p. 24 and is developed in Chapter 4. It is only one requirement: later chapters add a paradigm and an explanation. An account covering the same cases may still fail those additional demands.

03The practical question comes first

The dialogues begin from problems about action, character, or education. Is Euthyphro right to prosecute his father? Will training in heavy armour help young people become courageous? Can virtue be taught? Is justice beneficial? Dancy surveys these settings in pp. 26–35.

The definitions are meant to help answer how one should live. They are not introduced as a detached classification exercise. The move requiring explanation is from the practical question to a claim that knowing what the relevant virtue is must come first.

“First” here can mean epistemic priority: knowledge of the definition is a necessary condition of knowing the answer. That differs from a mere conversational preference to discuss definitions before other matters. It also differs from the weaker claim that definitions would be useful, or would make an answer more secure.

04The Intellectualist Assumption made explicit

Dancy names the strongest principle on p. 36:

The dots allow different kinds of sentence. Predicate cases include “this act is pious.” Subject cases include “virtue can be taught” or “justice benefits its possessor.” The claim is about knowing such judgments, not simply uttering the relevant word.

Here is an explanatory formalization. Let Kₛ(p) mean “person s knows proposition p”; let Wₛ(F) mean “s knows what F is”; let Dₛ(F) mean “s can state the required definition of F.”

1. IA₁: Kₛ(p about F) → Wₛ(F).
2. PE, the expressibility commitment: Wₛ(F) → Dₛ(F).
3. Combined IA: Kₛ(p about F) → Dₛ(F).
4. Consequence: if s cannot state that definition, s lacks the relevant knowledge, provided the two premises hold.

This is a necessary-condition claim. It does not say that possessing a definition is sufficient for knowing every fact involving F. Nor does it say that someone unable to define F cannot hold any true belief about F.

On pp. 37–38 Dancy distinguishes IA₁ from the stronger composite IA. Rejecting expressibility might allow tacit knowledge of what F is. But if that supposed knowledge is merely another name for the ability to recognize Fs, IA₁ becomes trivial rather than explaining that ability. Dancy wants a clear, substantive reading before accepting it.

05What the dialogues actually support

The evidence is uneven. Some passages state a dependency; others state only that a definition would help, and require additional interpretation to support necessity. This difference must remain visible.

Thus “Socrates prioritizes definition” is a compact statement of an interpretation supported by several passages. Its full generality is reconstructed by Dancy. It should not erase differences between the passages or conceal disputed extensions of their wording.

06Why Dancy thinks the strongest principle is false

We can recognize ordinary books without supplying a definition that survives every philosophical test. Likewise, Dancy thinks we can know central cases of courage and know that courage is generally good without first defining courage, pp. 36–37.

He distinguishes two overstatements. Requiring justification need not require a definition: a theory may justify a judgment in another way. Requiring justification need not even require a completed theory: particular reasons may support a judgment before a general theory is available, p. 37.

This criticism relies on Dancy’s own epistemic assessment: he counts some ordinary and moral judgments as knowledge. Someone who imposes a much stronger meaning of “knowledge” could contest that assessment, but would then need to justify the stronger meaning and show that it fits the dialogue.

07The internal problem: how could a definition ever be tested?

Suppose the proposal is “a book is a written narrative.” A dictionary supplies a counterexample only if we can already recognize it as a book and as not a narrative. If the absence of a definition eliminated all such knowledge, that test could never get started.

The argument depends on prior knowledge of some cases, not on prior possession of the whole definition. In the Laches, courageous action outside standing one’s ground in battle is used to challenge an account of courage. The proposed account must answer to such judgments if the discussion is to discriminate better answers from worse ones.

There is a crucial logical qualification. “These people are courageous” is not the same proposition as “we know these people are courageous.” Dancy expressly notes on p. 40 that Socrates usually asserts the first without adding the verb “know.” Therefore the explicit dialogue sentences do not by themselves constitute a formal contradiction with IA₁.

The contradiction requires the additional epistemic premise that some accepted judgments are known. Dancy thinks that is the best interpretation, but identifies alternatives and acknowledges what they cost, pp. 40–41.

08The alternatives and Dancy’s choice

One alternative treats the cases as provisional beliefs, subject to revision. Another distinguishes weaker and stronger senses of knowledge. A third denies that the dialogues endorse the general priority principle. Dancy discusses these approaches and argues against resolving the difficulty simply by imposing them, pp. 39–41, 64.

That sentence marks an interpretive choice. Dancy is not pretending that the problem is an explicit contradiction already written in symbolic form by Plato. His reconstruction takes the confident use of central cases seriously and sees the resulting tension as a motive for later development.

09What this chapter contributes, and what it leaves open

The chapter explains both why Socrates seeks definitions and why the strongest justification for that search threatens its method. It does not prove Forms. Its immediate contribution is an epistemic problem: inquiry seems to require prior resources, although the strong priority principle appears to exclude them. The Meno will explicitly address inquiry and revise the situation. Before reaching it, Dancy examines what the requested definitions have to do.

10The tension in definition-seeking

11Assumptions and inference limits

01The question and the result

When Socrates asks whether there is such a thing as justice, what has the interlocutor conceded by saying yes? Dancy’s answer is initially modest: there is a subject to investigate. The admission does not yet settle whether justice is a transcendent Form, a feature in particular people, or something requiring another account.

The distinction is between an existential admission, which acknowledges something to discuss, and a metaphysical specification, which says what kind of thing it is and how it exists. Later arguments can add that specification. The existential wording alone does not supply it.

02The swimming-stroke test

Dancy imagines a conversation at a swimming pool. One person mentions the Australian Crawl; another mentions the Butterfly Stroke. Two swimmers may be performing the same stroke, even when one performs it badly. Someone could also be called a butterfly stroker because they swim butterfly, pp. 65–66.

Three claims are now available: there is a stroke; it is one stroke instantiated in different performances; performing it explains the classification of the swimmer. None of those statements has yet presented a theory of a separately existing Stroke.

The illustration blocks an inference from ordinary language to a determinate ontology. It does not prove that a nominalist, an immanentist, or a Platonist is correct. In particular, replacing a transcendent Form with an “immanent character” would still go beyond what this ordinary conversation explicitly establishes.

03Objective judgment is a different question

Dancy allows that Socrates treats judgments about piety and temperance as objectively true or false. This does not by itself establish an additional entity called a norm existing over and above actions and people, p. 67.

The two claims have different contents:

1. A judgment such as “this action is pious” has a truth that does not depend merely on the speaker’s preference.
2. There exists a distinct, separately existing object Piety through which that judgment is true.

The second needs additional premises. Chapter 3 resists silently moving from the first to the second. It also resists inferring that the absence of an explicit theory proves Plato privately rejected it.

The relevant test is argumentative: does this exchange require a Theory of Forms to work? A conjecture about Plato’s unexpressed beliefs is a different inquiry.

04The Protagoras: agreement about justice

At Protagoras 330c1–2, Socrates asks whether justice is something rather than nothing. Dancy quotes the exchange on p. 68. The surrounding discussion concerns how justice, piety, courage, wisdom, and temperance are related: are these distinct parts of virtue, or do they stand in a closer relation?

The immediate agreement establishes justice as a subject. Further questions such as whether justice is just or piety pious introduce additional issues. Dancy deliberately postpones the analysis of those self-predications; the existence claim and the predicate subsequently attached to its subject are not one indivisible premise, pp. 68–69.

Protagoras had already spoken of citizens sharing one virtue, using expressions equivalent to “one,” “itself,” and “partaking,” at 324d–325a. Dancy discusses this on pp. 70–71. Those expressions function in Protagoras’ own account of civic education, without an announced ontology of Forms.

05Why context matters more than a trigger word

The argument is meant to use admissions Protagoras can understand and recognize as relevant. Dancy therefore asks what Protagoras has actually agreed to, rather than reading the later technical weight of a word back into every occurrence.

The word “thing” can distinguish what a name names from the name itself. In the later exchange at Protagoras 349a–c, the issue is whether several names pick out one thing or several, discussed by Dancy on pp. 71–74. Being something named does not yet mean being a transcendent Form.

Another argument links wisdom and temperance through their relation to folly and a rule about opposites, pp. 74–75. The substantive work is done by claims such as there being one opposite to a thing. Merely identifying “wisdom” and “temperance” as subjects neither proves that rule nor proves the intended conclusion.

This gives a method for reading the chapter: separate the act of introducing a subject from the premises used to reason about it. A metaphysical theory must be found in those premises and inferences, not inferred from capitalization added by a translator or commentator.

06The Charmides: capacities and their objects

The proposed account of temperance as knowledge of knowledge leads to comparisons with medicine, calculation, sight, and other capacities, pp. 75–76. The questions concern what each capacity is of and whether a capacity can have itself as an object.

Acknowledging medicine or sight allows those comparisons to proceed. It does not settle a complete ontology of medicine or sight. Likewise, acknowledging knowledge as something to discuss does not already establish a Form of Knowledge.

This is not a judgment that the later argument about self-directed knowledge succeeds. It is a judgment about the force of the preliminary admissions. Their role is to give the argument a subject and comparable cases.

07The Hippias Major adds explanatory dependence

At Hippias Major 287c–d, Socrates asks whether just people are just by justice, the wise wise by wisdom, good things good by the good, and beautiful things beautiful by the beautiful. Dancy quotes these exchanges on p. 77.

The passage goes beyond a bare list of topics. Its explanatory commitment is that beautiful things are beautiful by something. Dancy identifies a principle close to metaphysics:

In an explanatory reconstruction, the argument is: if x explains things’ being F, x exists; the beautiful explains beautiful things’ being beautiful; therefore the beautiful exists. This is still a conditional route to existence, depending on the explanatory premise. It does not itself establish timelessness, purity, imperceptibility, or independent existence.

Hippias’ ready assent cannot settle the interpretation, because he can agree without understanding the implications. Dancy therefore looks to what the ensuing refutations explicitly expose, p. 77. The inquiry immediately proceeds to asking what the beautiful is, p. 79.

08What the Symposium adds later

Dancy compares this with Symposium 210e–211a, quoted on p. 78. There Beauty is said always to exist, neither to arise nor perish, and not to be beautiful only in one respect, time, comparison, place, or observer’s assessment while ugly in another.

Those are substantial additional claims. A reader cannot derive them merely from the words “there is such a thing as the beautiful.” The later theory assigns an unqualified character to the object; the early existential admission has not yet supplied that characterization.

This is Dancy’s verdict on how close the Hippias Major comes to the later construction. Its refutations help provide materials for it. The Symposium carries out the construction. Preparation and completed theory must not be treated as identical.

09What this chapter contributes, and what it leaves open

Chapter 3 preserves an open starting point for the Argument from Relativity. Its first premise can acknowledge something to investigate before the later argument determines what that something must be like. The chapter neither proves Forms nor proves their nonexistence. It prevents existence, unity, objective truth, and explanatory vocabulary from being treated as sufficient, by themselves, to establish the later metaphysics.

10From explanatory role to existence

11Assumptions and inference limits

01The question and the result

What must an answer be like to avoid the arguments Socrates uses to reject definitions? Dancy reconstructs three requirements: substitution preserving truth, a usable paradigm, and an explanation. Chapter 4 develops the first. It shows how counterexamples and differences of properties defeat proposed definitions, while uncovering extra assumptions in the actual dialogue arguments.

This is a precise qualification about attribution. Dancy constructs a theory from the refutations. Socrates does not announce the complete three-part theory in those terms. Nor does the reconstruction need to presuppose a realm of special objects in order to explain why a particular inference works.

02What substitution requires

The definiendum is the expression being defined, such as courageous. The definiens is the proposed account, such as standing one’s ground. Substitutivity says that a correct account must be able to replace the original expression without changing truth. The Latin phrase salva veritate means preserving truth.

Dancy’s broad schema, introduced again on p. 81, permits both ordinary predicate positions and expressions formed from them, such as “courage” or “the courageous.” It is a substantive demand about definitions, not a grammatical law that any two expressions satisfy.

The three requirements appear together in Euthyphro 6d–e, quoted on p. 81: Socrates seeks what all pious things have in common, speaks of that by which they are pious, and asks to use it as a standard. Dancy separates those roles for analysis because their joint satisfaction is not obvious.

Passing a substitution test therefore does not yet establish that an account supplies the right standard or explanatory direction. Chapter 6 will expose particular trouble for unrestricted substitution inside “because” contexts.

03Necessary and sufficient conditions

Let F(x) mean “x is courageous” and G(x) mean “x satisfies the proposed account.” If G defines F, the predicate-level requirement is: for every x, F(x) if and only if G(x). The two directions perform different jobs.

A courageous retreat defeats the necessity of standing one’s ground. Foolish perseverance that is not courageous defeats the sufficiency of perseverance. One accepted counterexample is enough to defeat a universal biconditional. Many successful examples do not establish that there is no counterexample.

An editorial detail matters for precise reading: the explanatory prose on p. 82 appears to interchange the labels for its first and second counterexample types. The displayed equations (Nec) and (Suf) on that page give the directions used in this guide.

04The Laches: what the definition claims

At Laches 190e, Laches initially says that someone who stands their ground and fights is courageous. Grammatically that is an if-clause giving a sufficient condition. Socrates nevertheless treats the answer as an attempt to say what courage is and challenges its coverage, pp. 82–84.

This interpretive move is crucial. A courageous retreat does not refute the claim that standing one’s ground is sufficient. It refutes the stronger claim that standing one’s ground is necessary, which belongs to reading the proposal as a definition. Courage in illness, poverty, at sea, and other situations further broadens the cases the answer must cover.

Perseverance is then considered. The rejection depends partly on the Virtue Assumption: courage is admirable. Harmful foolish perseverance does not satisfy that evaluation. “Intelligent perseverance” is a refinement, but intelligence in a particular activity does not guarantee courage, and the later exchanges expose tensions among the interlocutors’ judgments, pp. 84–89.

Nicias’ proposal identifies courage with knowledge of fearful and hopeful things. Further premises broaden the knowledge beyond the future and into knowledge of goods and bads generally. The rejection then depends on courage being only a part of virtue, while the broadened account appears to encompass all virtue, pp. 90–92. That conclusion needs those additional premises; it is not obtained from the word “knowledge” alone.

05The Charmides: hidden bridges become visible

If temperance is admirable, does it follow that all temperate actions are admirable? Dancy says a restricted bridge is needed between a characteristic and its instances, p. 94. Not every property transfers: temperance is a virtue, but an individual action is not itself a virtue in the same sense.

Dancy labels the required restriction without fully settling it. Therefore a reconstruction using that bridge is conditional on an unresolved restriction; it must not be presented as a complete proof with no assumptions remaining.

The quietness argument also uses a comparative evaluative principle: an admirable trait must stand in the appropriate relation to its contrary. Examples where speed or force is preferable supply the pressure against identifying temperance with quietness, pp. 95–98.

Other proposals are tested in different ways. “Doing one’s own things” faces examples such as writing other people’s names or making clothes for them, pp. 99–101. “Doing good things” faces the possibility of a good result without awareness, with its rejection relying on an awareness requirement for temperance, pp. 101–102. The account as knowledge of knowledge raises questions about whether such knowledge is possible; Socrates later grants its possibility to continue testing its usefulness, pp. 102–104.

06The scope of a candidate matters

In the Lysis, questions about a friend or lover require care over one-sided and reciprocal relations. An English rendering can settle ambiguities that the Greek argument still uses, pp. 104–105. A valid inference needs the same intended relation across its steps.

In the Euthyphro, prosecuting wrongdoers gives a kind of action, rather than merely a named individual case. Its defect is still insufficient coverage: the proposed answer leaves out other pious actions, pp. 105–106. Calling an answer “an example” must not hide the exact failure the argument needs.

These cases illustrate why the logical diagnosis should be precise. Is an answer too narrow, too broad, ambiguous, evaluatively unsuitable, or dependent on an unsupported assumption? Those are different criticisms.

07Leibniz’s Law: a test of proposed identity

The second major pattern concerns the subjects themselves. Dancy calls it Leibniz’s Law, p. 107: if x and y are identical, whatever property is truly attributed to one is attributable to the other in the same sense and circumstances. Consequently, a property possessed by one but not the other establishes nonidentity.

In an explanatory notation: P(a) and not-P(b) imply a ≠ b. The predicate P that reveals the difference is the defeating predicate. Courage is a virtue; right-handedness is not. Thus identifying courage with right-handedness fails.

The dialogue cases are harder because the defeating predicate itself may be controversial. Temperance is supposed to be useful or beneficial; does knowledge of knowledge guarantee that benefit? Dancy distinguishes arguments that show lack of sufficiency from arguments that would establish lack of necessity, pp. 107–108.

Nor may one simply assume that every kind of knowledge produces a separate useful product. Critias challenges such a generalization, and that attempted route of refutation stops, pp. 108–109. The general logical form does not make an unsupported premise true.

08Temperance and modesty: the decisive pattern

The clearest bridge to the book’s later argument comes from Charmides 160d–161b. The proposed definition is temperance = modesty. Dancy first isolates a shorter argument, p. 109:

1. Temperance is good in every relevant circumstance.
2. Modesty is good in some circumstances but not in others.
3. Therefore temperance is not identical with modesty.

The defeating predicate is always good, not merely good. If both temperance and modesty could be good sometimes and bad sometimes, the proposed difference would disappear. The stronger premise about temperance is doing essential work.

Dancy then reconstructs the fuller argument, pp. 110–113. Temperance is admirable; an admirable trait makes its possessors good insofar as they possess it; what makes people good in that way must itself be good. These principles need qualifications and strengthening to support “good every time.” There is also a textual difficulty over the placement of a negation at Charmides 160e11; Dancy reads it in light of 161a8–9, pp. 111–112.

The move from good people to a good trait must be explanatory, not coincidental. Even if all temperate people happened to have red hair, temperance would not thereby be red-haired. Dancy uses this contrast to expose the need for a stronger “because of being temperate” relation, pp. 112–113.

09Why the apparent contradiction is not a contradiction

Socrates’ compressed wording makes modesty both good and not good. Dancy explains that this means good under some circumstances and not good under others. The qualifications prevent a contradiction.

Correspondingly, saying temperance is good and “not not good” is not functioning as a redundant double negation. It marks the exclusion of the opposite across the circumstances at issue. Dancy preserves this odd surface wording because the later contrast between qualified ordinary things and pure Forms inherits the same structure.

10What this chapter contributes, and what it leaves open

Substitutivity explains two families of tests: matching the cases and preserving the properties of what is being defined. The modesty argument introduces the contrast between a conditionally acceptable candidate and an unqualified standard. The chapter also leaves genuine gaps visible: restricted bridge principles, evaluative premises, textual repairs, and the move from coincidence to explanation. It prepares the Argument from Relativity without yet proving separately existing Forms.

11Temperance cannot be modesty

12Assumptions and inference limits

01The question and the result

Chapter 4 required a definition to survive substitution and counterexample tests. Chapter 5 adds a demand: an answer must supply a standard by which other cases can be judged. Dancy calls this the Paradigm Requirement. His central qualification is that a standard need not be a numerically single, independently existing object. The requirement therefore does not by itself establish the Theory of Forms.

The words after "he means" are Dancy's explanation of Socrates' request, not an additional speech by Socrates. "Putative" means alleged or proposed: the action under examination has not yet been established as pious.

02What Socrates actually requests

At Euthyphro 6e4-7, Socrates explicitly asks for something he can look to and use as a paradigm when judging his own and other people's actions. Dancy quotes the passage on p. 123. Thus there is direct evidence for a standard-setting use of the answer. There is not an equally explicit, general theory explaining what makes any object a paradigm.

Dancy first checks the vocabulary, pp. 116-117. The Greek word paradeigma can mean an example, model, or exemplar. Socrates uses a sample exhortation as a model for another exhortation; his definitions of shape and colour in the Meno are samples of the kind of answer he wants. Some later dialogues call Forms paradigms, but the word also has ordinary applications. One cannot infer the presence of a Form simply from the occurrence of this word.

The proposed requirement is: if the F is correctly defined as the G, the G must be a paradigm for Fs. Here F is the characteristic under investigation, such as piety; G is the proposed answer. The requirement says what a successful definition must supply. It does not assert that any proposed answer succeeds.

03Self-predication: first identify the grammar, then ask what it means

An expression is self-predicative when it has a surface form such as "the pious is pious" or "Beauty is beautiful."

This is a warning against treating the grammatical pattern as a complete metaphysical interpretation. A sentence about "the noble man" may simply generalize about noble people. Dancy uses a passage from Euripides' Hecuba to show that such language predates Plato and need not name an abstract entity.

Socrates' standard-setting use is stronger than an ordinary empirical generalization. A usable answer to "What is the pious?" must be pious on every occasion on which it is employed as that standard. It cannot guide the classification reliably if it also qualifies as impious under the relevant conditions.

Dancy formulates the Self-Predication Requirement on p. 120: if the F is defined as the G, the G must be F under all circumstances and under no circumstances contrary-F. "Contrary-F" means the opposing characteristic, such as impious rather than pious. This is a substantive interpretation of what the standard must do; it is not a conclusion derived from the spelling of "the F."

04A standard need not be a single separate thing

Dancy's historical metre-standard illustrations distinguish a particular standard bar from a reproducible specification. A suitable length can be realized repeatedly while remaining governed by one standard. These are historical illustrations from the book, not a statement of today's official definition of the metre.

Likewise, suppose one could describe a repeatable kind of action that was unfailingly pious. That could provide the relevant standard without being one unique entity. Dancy has not proved that such an action-type is available; this is a possibility that blocks a premature inference to a separate Form.

Keep the inference limited: needing a standard does not entail needing one numerically single object; needing a stable classification does not yet determine the ontology of whatever supplies it.

05"The beautiful" and "beauty" need not behave identically

In pp. 120-123 Dancy distinguishes a generically abstract noun phrase from an abstract noun. "The triangular has three sides" can characterize triangular things. "Triangularity has three sides" appears to attribute sides to a property. Those are different logical performances, even if translation sometimes conceals the difference.

This matters when Socrates asks "What is the beautiful?" A definition should state what belongs to something precisely insofar as it is beautiful. Dancy expresses that restriction with "qua beautiful": considered as beautiful, or in respect of its beauty.

Compare these claims carefully:

• Every beautiful thing, insofar as it is beautiful, is not ugly in that same respect.
• Every thing that is ever beautiful is never ugly in any respect, relation, or circumstance.

The first may sound tautological. It does not entail the second. Moving the qualifications or the scope of "always" changes the claim. Dancy thinks this helps explain why Socrates can employ apparently obvious self-predications without having explicitly introduced a separate, perfectly beautiful object.

06The god-loved definition: the actual argument

Euthyphro proposes that the pious is what the gods love and the impious what they hate. The gods, on Euthyphro's own account, disagree over what is good, just, and admirable. The argument adds that gods love what they judge good and hate what they judge bad. Consequently, the same action may be loved by some gods and hated by others.

Do not automatically call this a contradiction. "Loved by one god and hated by another" can be consistently true. If the proposed definitions transmit those qualifications to "pious" and "impious," contradiction has not simply appeared by substitution.

Socrates' final complaint is that he asked for what is pious without also being impious. The decisive additional requirement is therefore the purity of the standard. Dancy's reconstruction proceeds from a candidate that admits both assessments to its failure to provide an unfailing paradigm, pp. 129-131.

Three qualifications must remain visible. First, the premise about divine disagreement belongs to Euthyphro; Dancy emphasizes that Socrates does not accept it straightforwardly. Second, the text seems to move from some disagreements to a universal claim. Dancy deliberately strengthens the earlier premise to display the argument's intended structure. Third, phrases about "the gods" conceal a shift between some gods and the gods collectively. These are interpretive adjustments, not explicit, uncontested premises.

07Dancy's reconstruction does not vindicate the refutation

His final verdict is unusually important:

Why not? The fact that the gods happen to disagree does not establish that something is impious precisely insofar as it is pious. An accidental overlap in the things picked out by two descriptions is not yet an essential relation between those descriptions.

In Dancy's terminology, sameness of extension does not establish the stronger "qua" claim. Extension means the cases to which a term applies. Even if two terms cover the same cases, they need not characterize those cases in the same respect or for the same reason.

This exposes the gap between the apparent contradiction the speakers take themselves to have reached and a fully justified contradiction. Dancy also calls the argument ad hominem in the older, non-abusive sense: it works against commitments accepted by this interlocutor, rather than from premises Socrates himself endorses.

08What this chapter contributes, and what it leaves open

The chapter supplies an explicit textual basis for the use of a paradigm, reconstructs the demand that the proposed standard exclude the contrary, and connects that demand with self-predication. It also shows why grammar and ordinary examples cannot settle the metaphysics. The particular refutation discussed remains defective on Dancy's analysis. The next chapter examines a revised definition that requires agreement by all the gods and raises the different question of explanatory direction.

The central assumption to carry forward is: a satisfactory standard must exemplify the characteristic unfailingly in the relevant role. The conclusion to avoid is: therefore a transcendent Form has already been demonstrated.

09Why a mixed candidate threatens the paradigm

10Assumptions and inference limits

01What does “explain” mean here?

Suppose someone identifies a bird as a golden-crowned kinglet. Asking “Why is it that?” can request the characteristics that make this classification appropriate. It need not ask which physical events caused the bird to exist. Dancy calls the former task “explaining content” (pp. 134–135). Likewise, asking what makes an action pious can request what constitutes its piety, rather than what event physically produced it.

Here is a simplified statement of Dancy’s Explanatory Requirement, ER (p. 135): if F is correctly defined as G, then, for any F instance x, x is F because x is G. For example, a proposed definition of piety should explain why an action qualifies as pious. This is stronger than saying every pious action has G and every G action is pious. The latter only identifies the same collection of actions.

An assumption to keep visible: this is a requirement on successful Socratic definitions as Dancy reconstructs them. It is not a demonstration that every ordinary dictionary definition must explain everything someone might ask about its subject.

02The dependence between definition and explanation

At Euthyphro 6d–e, Socrates asks for the form by which pious things are pious. That wording can sound as if he has already introduced an independently existing object that produces piety. Dancy resists that inference:

At this stage, “by which” can concern what entitles an action to the classification “pious.” The passage supports an explanatory demand. It does not yet establish the later metaphysical theory of Forms.

03The revised definition: all the gods agree

Euthyphro revises his answer to avoid the disagreement considered in Chapter 5: the pious is what all the gods love; the impious is what all the gods hate (pp. 137–138). Socrates then asks which direction the explanation runs. In Dancy’s translation of Euthyphro 10a:

Define P(a) as “action a is pious,” and L(a) as “all the gods love action a.” The alternatives are:

• Approval follows piety: L(a) because P(a).
• Piety follows approval: P(a) because L(a).

These alternatives can have exactly the same approved actions. The question concerns explanatory priority, not whether the gods disagree with one another.

Euthyphro accepts the first direction. Dancy stresses the status of that acceptance:

This is a decisive premise supplied by Euthyphro. Socrates’ preceding examples of carrying, seeing, and being loved clarify the question; they do not prove that the gods’ approval follows independently established piety. Someone who instead maintained that divine approval constitutes piety would reject this premise. Further argument would be needed against that position.

04The simpler argument Dancy recommends

The following restates Dancy’s reconstruction on p. 145. It is simpler than Socrates’ actual argument.

1. Assume at least one pious action a exists. This existence premise prevents the reasoning from being empty.
2. Assume, for testing, the definition: piety is being god-loved.
3. By ER, a is pious because it is god-loved.
4. Euthyphro concedes that the gods love a because a is pious.
5. Assume explanation is asymmetric: if p is the case because q, it is not also the case that q because p in the same explanatory relation.
6. Therefore a is not pious because it is god-loved.
7. Steps 3 and 6 conflict. Given the other assumptions, reject the definition in step 2.

What follows: being god-loved fails to explain piety under Euthyphro’s concession. What does not follow: that the gods fail to love pious actions. Socrates can allow exact agreement between piety and divine approval while denying that approval tells us what piety is.

At Euthyphro 11a–b, Socrates contrasts what piety is with an “affect” of it: being loved describes something that happens to, or is true of, the pious, without explaining its nature (p. 146). Dancy treats the terminology here as logical rather than as an established doctrine of separate substances.

05Why Dancy does not simply endorse Socrates’ longer proof

Socrates distinguishes “is-loved” from being “a loved thing,” eventually abbreviated as “god-loved.” The examples of things carried, seen, and loved establish that something receives a corresponding description because the relevant activity or affection occurs (pp. 138–144). Dancy uses an imported car to make the distinction intelligible: it counts as an import because it has been imported, not conversely.

Socrates’ longer proof then substitutes “pious” and “god-loved” inside statements containing “because” (pp. 145–146). This is not an innocent application of the substitution requirement.

Why not? Combine three claims:

• F is defined as G.
• ER says: x is F because x is G.
• Unrestricted substitution permits replacing G with F inside that explanation.

The result is “x is F because x is F.” But if explanation is asymmetric, nothing explains itself in that way. Thus unrestricted substitution, ER, and explanatory asymmetry cannot all be accepted together for a nonempty class of F things (pp. 136, 147).

Even simple coextension plainly fails to justify explanatory substitution. Dancy imagines all and only pious people being red-headed. Their piety could explain their prayers without their hair colour explaining them (p. 147). Sharing instances does not guarantee sharing explanatory roles.

Dancy thinks restricted substitution rules might rescue Socrates’ longer proof, but does not pretend to have supplied them. His recommendation is the simpler argument above. The defect in the longer proof does not remove the textual evidence that Socrates requires definitions to explain.

Chapter result. A definition must identify what makes its cases count as F. The chapter sharpens the difference between a characteristic’s nature and a characteristic that merely accompanies it. It also exposes tension between two Socratic requirements: explanatory priority and unrestricted substitution.

06Dancy’s shorter god-loved argument

07Assumptions and inference limits

01The new premise: transmission

Dancy calls theories using this premise “Transmission Theories.” A weak version requires the source to possess F; a strong version requires it to be more F than its recipients. The Theory of Forms will use an especially strong version: the source is purely F, whereas ordinary recipients can also have the contrary characteristic (pp. 148–149).

Dancy explicitly formulates the core inference on p. 149. In simplified notation:

1. It is Fness because of which anything counts as F.
2. Whatever makes anything count as F is itself F.
3. Therefore Fness is itself F.

Premise 2 is the extra commitment. It does not follow merely from using the words “because” or “definition.” Chapter 5’s argument for a self-predicative standard appealed to its role as an unfailing paradigm; this argument appeals instead to the nature of explanation. A property’s explaining its instances is now combined with its possessing the very character it explains.

Dancy is careful that accepting transmission does not entail Plato’s Forms (p. 148). Aristotle can accept versions of transmission without accepting Plato’s ontology. Nor should “transmission” be imagined as a physical fluid unless a specific theory says so.

02Where does Dancy find this in Plato?

In Protagoras 330d–e, Socrates argues that nothing else would be pious if piety were not pious (p. 150). Elsewhere in the same discussion people act temperately with temperance and foolishly with folly (pp. 150–151). Dancy combines these points into a transmission account. He explicitly acknowledges that this combination is his reconstruction, rather than a single argument Socrates delivers in that form.

In Charmides 160d–161b, the premise that what makes people good must itself be good is more direct (p. 151). Dancy can point to an instance in the text. Thus the evidence ranges from an expressly accepted instance to a framework reconstructed from several passages.

The reason for the distinction matters: “Socrates presupposes transmission” means that Dancy thinks this premise best explains the arguments’ operation. It does not mean Socrates announces a general metaphysical theory under that title.

03A difficult test case: knowing oneself becomes knowledge knowing itself

Critias defines temperance as knowledge of oneself. Socrates’ discussion moves to the question whether a knowledge can know itself (Charmides 164c–166b; Dancy, pp. 151–156). These are plainly different claims:

• I know myself: the knower and object are a person.
• A knowledge knows itself: the knowledge is itself both knower and object.

The first does not logically entail the second. My knowledge of me is not identical with me. Dancy therefore asks what could authorize the transition.

His answer uses transmission: if possessing this knowledge makes its possessor a knower of himself, the knowledge must itself exemplify the corresponding reflexive character. Critias later expressly says that someone possessing a knowledge that knows itself becomes a person who knows himself (169d–e; p. 154). Dancy treats this as evidence of the assumption governing the earlier transition.

He reconstructs: self-knowledge makes its possessor self-knowing; what makes someone self-knowing must itself be self-knowing; therefore self-knowledge knows itself (pp. 155–156). This makes the dialogue’s transition intelligible, but it remains a philosophically demanding premise. Simply observing that one knowledge has an object different from itself would not refute ordinary knowledge of oneself.

04Hippias Major: an example is not yet an explanation

Socrates’ imaginary critic, whom Dancy calls “Anonymous,” asks what the beautiful itself is. Hippias responds that a beautiful girl is a beautiful thing (pp. 156–158). Socrates treats the answer as a proposed definition: the beautiful is a beautiful girl.

Dancy corrects a tempting simplification. Hippias need not be naming a particular girl; his answer has some generality. The failure is not simply “particular versus universal.” It does not cover beautiful horses, lyres, pots, speeches, or practices, and it does not explain why those things are beautiful (pp. 159–162). A beautiful speech is not beautiful because it is a girl.

The actual refutation then takes an unexpected route. A beautiful girl is beautiful compared with a pot but ugly compared with a goddess. Dancy reconstructs (p. 164):

1. There is such a thing as the beautiful.
2. Any beautiful girl is also ugly in some comparison.
3. The beautiful cannot be ugly.
4. Therefore the beautiful is not any beautiful girl.

Premise 3 is implicit in this passage: Dancy infers it because otherwise the conclusion would not follow. It expresses the paradigm’s purity requirement. Relativity supplies different comparisons; it does not produce a contradiction of the form “beautiful and not beautiful in the same respect.”

The limit is crucial. This argument excludes beautiful girls. It does not exclude every ordinary thing, and it does not prove a separate Form. As Dancy observes, for all this passage establishes, the beautiful might still be found among the gods (p. 164).

05Three proposals reveal three dimensions of relativity

A beautiful girl, pp. 158–165: beautiful compared with pots; ugly compared with gods. The relevant variable is the comparison class.

Gold, pp. 166–167: Hippias proposes something that makes things beautiful when added to them. But ivory and stone also adorn things, and a figwood ladle is more appropriate than a golden one for stirring hot soup. The relevant variable is use or context. The alleged source does not make things unfailingly beautiful.

Hippias’ ideal biography, pp. 167–170: wealth, health, honour, old age, burying one’s parents, and being buried by one’s children. Hippias now deliberately seeks something always beautiful. Yet burying an immortal parent would be inappropriate for a hero with divine parentage. The relevant variable is the person whose life it is.

These refutations use different material, but share a target: a candidate that is beautiful under one qualification and ugly under another cannot be the proposed unqualified standard. Socrates also asks for what explains all beautiful things. Dancy’s transmission premise connects those demands: the explanation must itself supply the beauty it explains.

However, Socrates does not explicitly derive the complete package of requirements at this point. Dancy notes that the lines of argument initially sit alongside one another (p. 165). Their unification is an interpretation of how the discussion works.

06Appropriateness and usefulness: two further failures

The appropriate, pp. 170–173. This proposal moves away from a sample beautiful thing toward an explanatory characteristic. Socrates distinguishes making something appear beautiful from making it actually beautiful. If appropriateness merely improves appearance, it does not explain actual beauty; if something can really be beautiful without appearing so, appearance also fails to capture every case.

Dancy does not regard the argument as especially compelling. Its force depends on Hippias’ concessions about what appropriateness does and about divergence between appearance and reality. The text also gives an example—being large through exceeding—that may itself sit uneasily with the self-predication requirement (p. 173). Dancy marks this as a difficulty, not a solved point.

The useful, pp. 174–177. Socrates understands usefulness through capacity: what can perform a task is useful for it. But people can do bad things; therefore there are capacities useful for bad results. The proposed definition makes every capacity beautiful, whereas a capacity for bad action is not admirable.

Here “beautiful” also carries the sense “admirable” or “noble.” The argument would be misleading if read only as an aesthetic claim about attractive appearances. Dancy identifies further assumptions connecting evaluation of a disposition with evaluation of its manifestations (pp. 175–177). Those assumptions are needed to move from beautiful capable things to beautiful capacities, and from bad acts to a nonadmirable capacity. The bare word “useful” does not contain this whole argument.

07The beneficial: an experiment Dancy thinks fails

Hippias improves usefulness to usefulness for good outcomes. Socrates calls this “the beneficial,” making the beautiful a cause of the good (pp. 177–179). He then argues that a cause differs from its effect, using father and son as an analogy. The argument arrives at the supposedly unacceptable claim that the beautiful is not good and the good is not beautiful.

Dancy carefully separates three propositions (pp. 180–184):

• A father is not the particular son he has fathered.
• Being a father does not by itself make that son a father.
• No father is ever also a son.

The first is an identity distinction; the second concerns what follows just from a role; the third is obviously false. Similar distinctions govern the argument about cause and effect.

At best, the uncontroversial premise establishes that the beautiful and the good are distinct in this causal transaction. It does not establish that the beautiful lacks goodness. Two things can be numerically different while sharing a characteristic. Further premises are needed to reach the stronger conclusion that Socrates and Hippias find absurd.

The argument also threatens transmission. If a source makes its effect F precisely because the source is F, a general rule excluding F from the source would defeat the very theory used elsewhere in the dialogue.

Dancy’s historical interpretation is that transmission survives into the Theory of Forms. That is not a claim that every argument in this early dialogue is sound or that Plato explicitly announces his later correction here.

Chapter result. The emerging package demands a definition that covers the cases, explains them, and supplies a pure paradigm. Transmission links explanation with self-predication. The chapter also demonstrates that interpreting philosophical development requires identifying unsuccessful arguments and incompatible commitments.

08Transmission yields self-predication

09Assumptions and inference limits

01An explanatory relation still needs explaining

“This action is pious because of piety” leaves a question unanswered: what relation connects this action with piety? Plato uses several expressions—presence, being in, being added to, participating, and partaking (p. 186).

Compare “courage is present in her” with “she has courage.” The first wording need not add a second object literally lodged inside her. Likewise, “he participates in a discussion” does not make him an instance of whatever characteristics the discussion has. The meaning and argumentative use of the expression must establish any stronger commitment.

This also blocks a familiar developmental shortcut: early Plato says “present in,” so he must hold an explicit theory of immanent Forms; later Plato says “separate,” so he changes theories. Dancy asks whether the early passages contain a theory at all. Even Phaedo 100c–d, where Forms are unmistakably in play, leaves the appropriate name for their relation to participants unsettled (p. 186).

02Transmitting participation versus ordinary participation

In Protagoras’ speech, partaking in justice means becoming just. But partaking in danger does not mean becoming dangerous, and joining in arguments does not make someone an argument (pp. 187–188).

The useful distinction is:

• Transmitting relation: x’s relation to something F results in x’s being F.
• Nontransmitting relation: x stands in a relation to something F without thereby becoming F.

The label “participation” by itself does not tell us which relation obtains. Dancy does not deny that Plato might have reflected on the relation. He says the passages do not require a specific theory of it (p. 188). This is a claim about what the textual evidence warrants, not privileged access to Plato’s private thoughts.

03Evidence from three dialogues

Charmides, pp. 189–191. “Temperance is present to you,” “you partake of temperance,” and “you are temperate” function together. A stronger claim appears when Socrates expects Charmides to be aware of a virtue he possesses: this supplies a connection between possession and introspective access. Even that does not establish a general ontology of immanent Forms.

Gorgias, p. 191. Socrates generalizes that good people are good through goods present to them and beautiful things through beauty. Dancy finds the wording metaphysically underdetermined. The arguments do not depend on choosing between a theory of independent entities and a less committal understanding of having characteristics.

Euthydemus, pp. 192–193. Dionysodorus asks, in effect: if the presence of beauty makes you beautiful, why does the presence of an ox not make you an ox? A serious question lies beneath the joke: what differentiates transmitting presence from merely being nearby? On Dancy’s interpretation, Socrates turns the exchange into wordplay about “the other,” so the question is raised but not answered.

What remains missing: a criterion explaining which presence relations transmit a characteristic, and how they do so. Naming participation is not yet providing that criterion.

04The Lysis: why someone who is neither good nor bad seeks the good

The Lysis investigates friendship and love. Its proposed accounts grow complicated, so Dancy calls them “quasi-definitions” rather than pretending that each is a polished definition (pp. 193–195).

The working model is: something neither good nor bad becomes a friend of the good because something bad is present to it. A body seeks medicine because of disease. An important qualification follows: the bad must not already have made its host bad in the relevant sense, because another accepted premise excludes friendship between the bad and the good (pp. 195–198).

Socrates therefore distinguishes ways something can be present. His example is hair:

• White lead on blond hair makes it appear white, without making the hair itself white, as Socrates understands the case.
• Ageing can make the hair actually white.

In both cases something described as white or whiteness is present, but only the second exemplifies the relevant transmission (pp. 196–197). This is Socrates’ illustrative distinction; it is not offered as modern chemistry of hair or pigment.

Dancy adds two limits. First, nontransmitting presence need not eventually become transmitting: standing near an ox forever will not make you an ox. Second, the Lysis focuses here on the nontransmitting case needed for its account of friendship. It does not explain the causal relation later required by Forms.

05The “first friend”: the regress reconstructed

Next, Socrates considers what is valued for the sake of what. Medicine is wanted for health; health may be wanted for something further. If every valued thing is valued only for another valued thing, the chain has no final object (pp. 199–201).

Dancy makes the argument’s assumptions explicit:

1. Proposed general rule: every friend or valued object is valued for the sake of another friend or valued object.
2. Transitivity: if A is valued for B, and B for C, A is valued for C in the relevant chain.
3. Nonidentity: the further object is different from the one valued for its sake. With transitivity, this excludes loops.
4. Termination: these chains must eventually stop. For a counterexample to the universal rule, it would actually be enough that some chain stops.
5. A stopping point is a “first friend”: the object for which the earlier links are valued, itself not valued for anything further.
6. That stopping point contradicts the rule in step 1. So the rule needs restriction or rejection.

Step 4 is a premise, not a theorem following from the word “friend.” The first friend is “first” in explanatory priority, even though it is reached last when tracing the sequence backwards from medicine or another intermediate object.

Socrates then takes a stronger step: intermediate objects are friends only in name, and the ultimate object alone is really a friend (pp. 201–203). This is a revision of what counts as truly wanted, not merely the claim that instrumental desires and final desires are different. Dancy finds it drastic. It is stronger than the regress argument alone needs.

06Why this does not prove one Form of the Good

For a sick person the terminating good might be health; for a father whose child has taken poison, it might be the child’s survival. One person can have multiple chains with different endpoints (p. 204).

Here is the logical distinction, in my notation:

• For every chain C, there is some terminating good g for C.
• There is one good g that terminates every chain C.

The first does not entail the second. Dancy compares the mistake with inferring, from everyone’s having a mother, that one woman is everyone’s mother. The quantifiers “every” and “some” cannot simply exchange positions.

Nor does the label “the good” settle the matter: it can refer to the concrete good sought in a particular chain (pp. 204–205). Calling intermediate objects “images” of the first friend also fails to establish a Form. Plato later reuses image language in an expressly metaphysical setting; that later setting must not be silently imported into this argument (pp. 205–206).

Chapter result. Presence, participation, explanatory priority, and image language supply material for the later theory. Here they neither specify a complete participation relation nor establish a unique transcendent Good. The chapter’s contribution is methodological as well as philosophical: follow the argument’s actual commitments, rather than letting familiar later terminology supply missing premises.

07The first-friend regress

08Assumptions and inference limits

01The opening problem: must definition come first?

Meno asks whether excellence or virtue can be taught. Socrates answers that he does not even know what excellence is, so cannot know whether it is teachable (pp. 210–211). Here the priority claim is explicit: Dancy can cite Meno 71b, where Socrates asks how he could know what something is like without knowing what it is.

The strong Intellectualist Assumption is therefore more than a preference for orderly discussion. It says knowledge of what excellence is must precede knowledge of its further characteristics.

Dancy also identifies a background conflict (p. 210): if virtue is knowledge, and relevant knowledge requires defining virtue, Socrates’ professed inability to define virtue threatens the judgment that he is virtuous. Something in that package must change. The dialogue will relax the demand for definition first and consider true belief as a guide to successful action.

02The new Unity Requirement

Meno first lists excellences for men, women, children, slaves, and other groups. Socrates asks what makes them all excellences, using bees as an analogy: different bees need not differ in being bees (pp. 211–213).

This is not merely a complaint that the list omits cases. Even a complete and accurate list may fail the new requirement. Dancy formulates it:

Two assumptions must remain visible. First, the instances are F in the same relevant sense. Second, their sameness can receive a unified account. Socrates tries to secure these assumptions for excellence; Meno’s acceptance is not a proof that any shared word must correspond to one unified nature.

Dancy’s examples clarify the restriction (p. 214). A water pitcher and a baseball pitcher share an ambiguous word, so no single definition is required. “Tall man” and “tall building” involve different standards, but can receive a contextual account: above the height standard for things of that kind. Thus unity is not simply one word, one separate object.

The word “form” appears, but its use does not specify an ontological status (pp. 212–213). It can identify what counts as the same strength or excellence across cases without establishing a transcendent entity.

03The three attempts and the resulting perplexity

A list of excellences, pp. 211–215: fails the demand for what is common to cases conceded to be the same in being excellent.

The ability to rule, pp. 215–216: fails to cover children and slaves as Meno conceives them, and needs the qualification “justly.” But justice is one excellence among others, returning the discussion to the question of their common nature. Dancy notes uncertainty about precisely how Socrates moves from the objection to a renewed list.

Desiring good things and being able to obtain them, pp. 216–217: Socrates first treats desire for good as universal, then requires obtaining goods justly and temperately. Once again the answer presupposes excellences whose unity remains unexplained. Dancy does not validate the complicated argument that everyone desires good; he explicitly sets that dispute aside to track the definition argument.

Meno becomes perplexed and compares Socrates to an electric ray. Socrates accepts the analogy only if the ray numbs others by itself being numb; Socrates makes others perplexed while himself being perplexed (pp. 217–218). Dancy sees a joke involving transmission, not a new proof of a Form.

04Meno’s paradox: a genuine starting-point problem

Meno asks how someone who does not know at all what he seeks could search for it or recognize it on finding it (pp. 218–221). Socrates recasts the problem as a dilemma about searching for what one knows and what one does not know.

Dancy’s reconstruction of the serious difficulty is:

1. Successful inquiry includes recognizing that one has found the answer.
2. Recognition requires some prior way of representing the object of inquiry.
3. Total ignorance would exclude any such representation.
4. Therefore a search starting from total ignorance could not succeed in that sense.

This does not prove that partial ignorance makes inquiry impossible. Knowing enough to understand the question differs from already possessing its answer. The difficulty bites because Socrates described his ignorance as total. Dancy thinks Meno is entitled to press him on that claim, rather than being dismissed as merely playing on an ambiguity (p. 221).

05Recollection: the proposed bridge from ignorance to discovery

Socrates introduces two distinguishable ideas (pp. 221–225): reincarnation, associated with priests and poets, and recollection, according to which what we call learning through inquiry retrieves what the soul previously knew.

The proposed answer to Meno is: someone can lack present knowledge yet have previously known the answer and retain the capacity to recognize or recover it (pp. 225–226). Thus “does not know now” need not mean “has absolutely no resources for inquiry.”

Dancy is cautious about calling the learner a current, unconscious knower. Socrates repeatedly says that the boy in the example does not know. The relevant distinction is between present knowing and a capacity to recover something previously known.

The proposal has a further problem. If every original acquisition also required inquiry and recollection, the question of first learning would simply regress. Dancy therefore distinguishes acquiring knowledge in the first place from later recollecting it (pp. 222–225). Merely moving ordinary learning into earlier lives does not explain why the original acquisition was possible there but not here.

06The geometry demonstration: exactly what happens

Socrates asks an enslaved boy to find the side of a square with twice the area of a given square. The initial square has side 2 and area 4. Doubling the side to 4 gives area 16, not 8. A side of 3 gives area 9. The boy’s confident answers fail; he recognizes his ignorance (pp. 227–228).

Socrates then draws four equal squares and their diagonals. The inner square contains four half-squares; the original contains two. Therefore the inner square has twice the original area, and its side is a diagonal of the original (pp. 228–230).

In modern notation, added here for clarity: if the original side is s, its area is s²; its diagonal d satisfies d² = 2s². Thus the required side is d = s√2. This notation is my explanatory supplement, not Dancy’s account of what the boy numerically calculates.

Separate three levels of conclusion:

• Mathematical result: the square on the diagonal has twice the original area.
• Observed inquiry: a learner moves from mistaken confidence through perplexity to recognizing reasons for an answer.
• Socrates’ explanation: truths were already in his soul and have been recollected.

The first two do not, without additional premises, prove the third. Questions can direct attention and structure an inference. That the boy sincerely assents does not itself show he consciously believed the answer beforehand.

Dancy interprets beliefs being “in” the boy as his ability to recognize their truth once the relevant questions and diagrams are presented in order (pp. 229–232). He can possess the resources for belief without previously believing the particular theorem. Repeated questioning in different ways is supposed to turn the initial true beliefs into knowledge. The dialogue therefore does not present the boy’s first correct answer as finished knowledge.

07Why the argument for eternal possession fails

Socrates goes further: either the boy acquired the knowledge at some time or always possessed it; he did not acquire it in this life; therefore it belongs to the soul before this life (pp. 233–235). The text then moves toward possession for all time.

Dancy finds multiple gaps. The boy’s ability is generalized far beyond the single geometrical result to every field of study. The failure to have been taught everything is used to deny acquisition here. Most decisively, having learned at some earlier time does not entail having already learned at every earlier time. The time before acquisition remains unaccounted for.

The resulting claim of eternal possession would also make learning in previous incarnations unnecessary, undermining the opening picture (p. 236). Socrates expresses reservations and emphasizes the practical value of continued inquiry, but does not specify reservations precise enough for Dancy to attribute his own objections to Socrates.

08Hypothesis permits inquiry before definition

Meno wants to return to teachability. Socrates prefers defining excellence first but agrees to investigate teachability without doing so (pp. 236–237).

This is an interpretive conclusion from Socrates’ change in practice. Socrates does not announce, using Dancy’s label, “I now reject IA.”

The Method of Hypothesis seeks a condition whose truth would settle the target question. In the example at issue:

1. Excellence is teachable if and only if it is a kind of knowledge.
2. So investigate the hypothesis that excellence is a kind of knowledge.
3. A further hypothesis says excellence is good.
4. An argument connects what is unfailingly beneficial with knowledge.
5. If those premises hold, excellence is teachable (pp. 237–240).

“A kind of knowledge” matters: Socrates is not identifying excellence with all knowledge. Nor does discovering a useful conditional settle whether its antecedent is true. Further verification is required.

Dancy only sketches the intricate argument connecting goodness and knowledge; he does not claim that every detail is resolved. Its exclusivity assumption is later weakened by admitting that true belief can also guide action well. The method consequently does not deliver a settled answer about teachability (p. 240).

09How close have we come to Forms?

Three features point forward: the unity of the sought definition, its description as a form, and the suggestion that what is recollected was accessible before birth. The kinship of nature might also support a common method of inquiry. Dancy labels the connections conjectural (pp. 240–241).

Chapter result. Inquiry can proceed with resources short of an explicit definition, and hypotheses can guide it. Recollection supplies a proposed explanation of those resources, with serious unresolved arguments. The Meno prepares questions that Forms will address; it does not already contain the completed answer.

10The starting-point problem

11Assumptions and inference limits

01The dialogue’s question is immortality

Socrates is explaining his willingness to die. Death is described as the separation of soul and body, and philosophy as preparation for such separation (p. 245). Forms enter a discussion whose main aim is to establish the soul’s survival. They are not introduced through a freestanding treatise asking whether universals exist.

When Socrates first asks whether there is such a thing as death, Simmias can assent merely by acknowledging that people die. Dancy calls this a topic-fixing admission. Even if the later theory includes a Form of Death, Simmias’ initial assent does not show conscious commitment to that theory (p. 245).

Notice the two separations: the soul’s separation from the body and Forms’ distinction from perceptible things. They belong to the same dialogue, but they are different claims and require different arguments.

02The exact new premise

At Phaedo 65d–66a, Socrates asks about the just itself, the beautiful, the good, largeness, health, strength, and what each thing is. He asks whether Simmias has seen or otherwise bodily perceived them; thought is presented as the route to them (pp. 246–247).

Dancy states the theoretical commitments as follows:

He calls the second the Imperceptibility Thesis. Earlier dialogues already speak of justice itself and ask for definitions. What is distinctive here is the systematic exclusion of their objects from sense perception, accompanied by criticism of the senses as a route to knowledge.

The logical point can be written in my notation:

1. The object sought by the definition of F exists.
2. That object is imperceptible.
3. Ordinary F things are perceptible.
4. Therefore that object is not identical with those ordinary F things.

The distinction follows if the premises are granted. The passage has not yet established premise 2 by an explicit argument, nor does this schema alone prove every further claim about Forms’ independent existence.

03Why Simmias’ quick agreement is puzzling

It may seem natural that justice is not something one literally sees. But largeness and strength appear to be perceptible features. We can see that a building is large or that one person is taller than another. Socrates nevertheless groups these with justice (p. 248).

Dancy therefore rejects an easy explanation that relies only on the abstract or moral character of a few examples. Some more general rationale is required. Nor does he simply assume that Simmias is already a fully informed Platonist: later exchanges portray him as needing reminders and arguments (pp. 249–250).

Relativity is Dancy’s proposed connecting rationale. The same person may be large relative to one comparison and small relative to another; a girl may be beautiful relative to one class and ugly relative to another. Perception gives us these qualified cases, rather than a pure object excluding the opposite. Dancy connects this with the later argument, but notes the textual limit:

So distinguish the dialogue’s express thesis, the later justification, and Dancy’s conjecture about what underlies Simmias’ assent. They are not equally explicit evidence.

04Why the wording alone cannot identify a Form

Expressions such as “the beautiful” can refer either to a Form or to beautiful things. Context must settle the reference (pp. 251–252).

In the Cyclical Argument, Socrates says opposites come to be from opposites: a thing becomes larger from being smaller, for example. Later, Forms are said not to admit their opposites. If both passages referred to the same objects in the same way, they would conflict.

Dancy follows Socrates’ later distinction: an ordinary contrary thing can change, but the contrary itself does not turn into its opposite. A person can become larger; Largeness itself does not become Smallness. Capitalization in this guide marks the distinction for the reader; the mere presence of an article or “itself” in a sentence is not a mechanical test for a Form.

Chapter result. We have crossed from largely underdetermined language of definitions to a substantive distinction between definitional objects and perceptible things. The next chapter must explain why a sensible equal thing cannot be the Equal itself, and why recognition of sensible equality is supposed to require prior knowledge of that Form.

05The stated distinction

06Assumptions and inference limits

01Recollection has three terms

Someone is reminded; something prompts the reminding; something else is recalled. A lyre can remind a lover of its owner. A portrait can remind someone of the person depicted. In the target case, sensible equals prompt someone to think of the Equal itself.

This framing gives perception a positive triggering role even though the Form is not itself perceived. “The Form is imperceptible” does not mean “perception can play no role in our coming to think about it.”

The Phaedo returns to the idea that knowledge was acquired before human embodiment, rather than repeating the Meno’s troubled inference to possession for all eternity (pp. 253–254).

02What counts as recollection? The core argument

Dancy separates a necessary condition from a proposed sufficient condition (pp. 255–263).

Necessary condition: if x is reminded of z at time t, x knew z before t. Dancy calls this the Prior Knowledge Requirement.

Proposed sufficient condition: while perceiving y and taking it to have some characteristic, x comes to think of and know what z is; this knowledge of z is not already contained in the initial perceptual recognition. Socrates counts that situation as recollection.

Dancy modifies the first formulation to match the examples. A reminder need not be correctly identified: a coat mistaken for someone’s coat can still remind us of that person. Thus “perceives and takes it to be F” can replace the stronger requirement of perceptual knowledge (pp. 258–259). But the resulting awareness of what is recalled must be stronger than a wholly unrecognized mental image (pp. 260–261).

The intended inference is:

1. Simmias encounters an equal stick.
2. The encounter prompts him to know what the Equal is.
3. Knowing the stick as equal is different from knowing what the Equal is.
4. By the proposed sufficient condition, this is recollection.
5. By the Prior Knowledge Requirement, Simmias knew the Equal earlier.

This establishes, at most so far, knowledge before this encounter. It does not yet establish knowledge before birth.

03The first gap: discovery might fit the description

Socrates’ proposed sufficient condition may also describe a discovery. Dancy uses the fictional Newton-and-apple story: a perceived event could prompt recognition of a theoretical truth that the thinker never knew before (pp. 263–264). The scenario illustrates a logical possibility; Dancy is not reporting the story as established history.

If perceptual experience prompts a distinct intellectual discovery, the sufficient condition is satisfied without recollection. Adding “and the thinker knew it before” would make the condition safer, but would assume the prior knowledge the argument is supposed to establish. Dancy therefore distinguishes understanding Socrates’ argument from accepting its soundness.

04Why the Equal is not an equal stick: the Argument from Relativity

Socrates asks whether there is an Equal itself, apart from equal sticks and stones, and whether Simmias knows what it is (Phaedo 74a–b; pp. 266–268). He then contrasts ordinary equals with the Equal.

Dancy’s explicit reconstruction on p. 272, with its nonidentity sign written out to avoid typographical ambiguity, is:

1. There is such a thing as the Equal.
2. Any ordinary equal thing is also sometimes unequal.
3. The Equal is never unequal.
4. Therefore the Equal is not identical with any ordinary equal thing.

The inference uses Leibniz’s Law: identical things cannot differ in their characteristics. An ordinary equal has the characteristic “capable of being unequal in some relevant circumstance”; the Equal lacks it.

The existence premise is already present in step 1. The argument differentiates the admitted object from ordinary candidates. It does not obtain the existence of an object from nonidentity alone.

The relativity premise needs unpacking. A stick can equal another in length but not thickness; equal one stick but not a third; be equal at one time but not later; appear equal under some perceptual conditions but not others (p. 269). “Sometimes” covers these different qualifications. There is no violation of noncontradiction in saying that a stick is equal in one respect and unequal in another.

The purity premise is substantive. The Equal itself excludes inequality in all those ways. Dancy connects this to the earlier demand for an unfailing paradigm. Ordinary equality is relational: equal to what, in what respect? The move to something equal without qualification requires a further conception that is not supplied by ordinary relational grammar alone. Dancy explicitly identifies the presupposition that a term applying relatively can apply to something without qualification (p. 265).

Thus this is not merely an argument from imprecise measurement. Even exactly matching two sticks in length would not remove their inequality relative to a third stick or in another respect.

05A textual difficulty: “the equals themselves”

The Greek wording at Phaedo 74c appears plural. Some interpreters take it to refer to perfect mathematical instances distinct from both sensible equals and the Form. Dancy argues against introducing that extra class (pp. 269–272).

For the nonidentity argument to work, the relevant claim must concern the Equal itself: it never presents itself as unequal. Dancy explains the apparent plural through the Greek adjective’s agreement with the plural context from which Socrates has isolated it. This is a defended grammatical interpretation, not an uncontested plain-English wording.

He also leaves a residual difficulty visible: “the Equal is unequal” and “equality is inequality” are not equivalent piece by piece. The latter formulation is treated as a paraphrase, but its precise justification remains unclear (pp. 271–272).

06The ancillary argument: recognizing a deficient likeness

Recollection in general need not involve resemblance: a lyre can remind someone of its owner. The portrait case does involve resemblance. Socrates adds that someone reminded by a likeness considers whether it falls short of its original (pp. 264–265).

Applied to equality (pp. 273–275):

1. Simmias sees ordinary equals and judges that they fall short of the Equal itself.
2. To judge a thing deficient relative to a standard, he must already know that standard.
3. Therefore he knew the Equal before making this judgment.

Dancy calls this an ancillary argument because it supplements the core argument. It should not silently replace all the earlier conditions for recollection. Both routes aim at prior knowledge; neither alone supplies the required date of acquisition.

The deficiency also belongs to Dancy’s account of pure versus qualified equality. It is not adequately explained as every earthly measurement being a little inaccurate.

07Which knowledge is being recovered?

Dancy contrasts two interpretations (pp. 254–255, 272–273, 279–281):

• Standard Interpretation: recollecting the Equal is required simply to recognize sticks as equal or unequal.
• Dancy’s alternative: recollection culminates in knowing what the Equal is, with the ability to give an account; ordinary classification alone does not amount to that knowledge.

He favours the second because the argument itself distinguishes recognizing a stick as equal from knowing the Equal. Later, Socrates and Simmias agree that someone who knows must be able to give an account, while admitting that not everyone can do so (Phaedo 76b–c; p. 279).

Simmias’ earlier claim to know equality is compatible with his inability to define every virtue or beauty: equality may be the comparatively easy case, whereas the later discussion has widened its scope (p. 280).

What is retained from Socratic definition-seeking? Knowledge of what F is requires an account of F. What should not be restored without argument? The strongest earlier claim that no recognition or judgment about any F case is possible without its definition. Dancy’s alternative explicitly distinguishes these achievements.

08The second gap: earlier than this encounter is not necessarily before birth

Socrates moves toward: knowledge of the Equal precedes the use of the senses; sensory life begins at birth; therefore knowledge precedes birth (pp. 276–278).

But the first recognized equality, or the first successful definition, occurs after birth. Even if it is recollection, why could its prior acquisition not have occurred earlier in this life? The interval has to be excluded. Dancy explores what additional assumptions about learning and forgetting would be needed, and finds the case weak on both interpretations.

An empiricist could instead say that comparison develops after birth and reflective definition grows out of it. That proposal denies the contested claim that recollection is occurring. Socrates has not ruled it out merely by redescribing the experience as recollection (p. 278).

The later claim that knowledge was lost at birth also cannot simply serve as an independently established fact. Dancy finds the closing exchange on acquisition and forgetting weak (p. 281).

09The actual upshot and its limits

Even if all the arguments worked, they would establish the soul’s existence before birth. Its survival after death would require further argument. Nor do they show the logical equivalence “Forms exist if and only if souls existed before birth.” Dancy explicitly rejects that strong reading (pp. 281–282). Forms’ existence is one premise within a larger argument, not by itself a sufficient proof of preexistence.

The metaphysical result is nevertheless substantial. The definitional objects are now distinct from sensible instances, imperceptible, and represented as possessing purely what instances possess qualifiedly. Dancy refuses to remove self-predication simply because a more modern account of abstract universals would be easier to accept (p. 282).

Read this concluding sentence with the argument’s premises intact: the object’s existence is admitted, purity is required, and relativity distinguishes ordinary objects from it. The metaphysical package is more than the bare statement that two things are different. The Symposium next makes the separation from all individual instances more explicit.

10Keep the two arguments distinct

11Assumptions and inference limits

01Why an ascent through beauty appears here

Diotima connects human desire with immortality through producing something that outlasts us: children, poems, laws, and excellences cultivated in others (p. 284). Her educational ascent has both an emotional dimension—what one loves—and an intellectual dimension—what one recognizes as beautiful.

Dancy does not treat this simply as the Phaedo’s personal immortality argument restated. Diotima initially speaks of continuity through leaving another being or achievement behind. The account of Beauty arises within that setting.

02The stages and what each transition does

One beautiful body → beautiful bodies generally, pp. 285–286. The learner recognizes beauty in other bodies as the same relevant beauty. Attachment to a single case loosens. Dancy notes that Diotima does not fully explain how the recognition is achieved.

Bodily beauty → souls, practices, and laws, p. 286. Beauty of soul is ranked above bodily beauty. The learner becomes concerned with improving a promising person and considers practices and laws that shape lives. The higher evaluation of psychic beauty is asserted rather than argued for in detail.

Practices and laws → beautiful studies or knowledges, pp. 286–287. The range of beautiful things expands again. Dancy flags an ambiguity: learning geometry both adds geometry to the things whose beauty one contemplates and gives the learner geometrical knowledge. The relationship between these two developments is not spelled out.

The widened range → Beauty itself, pp. 287–290. The learner apprehends something that is beautiful without the limitations affecting the previous objects.

Dancy numbers the initial attachment as stage 0. His point is that broadening a collection of beautiful things does not by itself take one beyond all such things.

03What the final object is said to be

In Dancy’s translation of Symposium 211a, Beauty is:

The description continues by excluding dependence on comparison, location, and who is judging. Beauty always exists; it neither comes to be nor perishes, neither grows nor diminishes. It is not a body part, a particular account, or a particular knowledge (pp. 288–289).

The logical structure, reconstructed for clarity, is:

1. Ordinary beautiful objects have beauty under qualifications: in some respect, at some time, relative to something, or for someone.
2. The proposed Beauty itself has beauty without those limiting qualifications.
3. An object possessing those limitations cannot be identical with one that excludes them.
4. Therefore Beauty itself is not any of the ordinary beautiful objects.

This makes the kinship with the Phaedo argument clear. But Diotima supplies a description of the culminating object, not a proof of every premise in this reconstruction. Dancy says the Argument from Relativity stands behind the passage (p. 284).

04Why this is not just a more general concept

On Dancy’s reading, Beauty is not merely a classification covering beautiful instances. It is itself beautiful, and its purity differentiates it from all the qualified things previously considered. This is the self-predicative character established by the book’s earlier interpretation.

The claim is metaphysical, not a geometrical description of an especially attractive object. “Object” here means something taken to exist and to be knowable; it does not mean a visible body or a thing with spatial dimensions.

05What the Symposium adds

First, the contrast explicitly includes nonbodily instances: beautiful practices, laws, and knowledges. Thus the distinction extends beyond Form versus sensible body to Form versus every individual instance in the described range (p. 289).

Second, Diotima describes Beauty as:

Other beautiful things participate in it, while their changes do not enlarge, diminish, or otherwise alter it. Dancy takes this as a movement away from describing the Form as located “in” its instances. He phrases the interpretation cautiously: the language of participation seems here to displace the language of immanence (pp. 289–290).

For the earlier question about separation, distinguish the claims: nonidentity rules out identifying Beauty with an instance; this passage additionally describes Beauty as not located in something else and as unaffected by changes in participants. Those stronger claims are not consequences of nonidentity alone.

Dancy also avoids turning this textual difference into a certain chronology of Plato’s beliefs. Plato may have intended the Phaedo’s argument to range as broadly; the Symposium makes the range explicit (p. 289).

Chapter result. The ascent joins the expansion of love and understanding to a final distinction between all beautiful instances and pure Beauty. Participation connects them, but its mechanism remains to be specified. The chapter sharpens the theory’s scope and its claim about the Form’s independence from changes in instances.

06From broader cases to a pure object

07Assumptions and inference limits

01The problem still to be solved

Cebes objects that a soul might preexist this body and outlast several bodies yet eventually perish. Prior existence is therefore insufficient for imperishability (p. 291). Socrates turns to coming-to-be, perishing, and their causes.

This matters for the logic: neither the previous recollection argument nor the bare existence of Forms entails that a soul can never cease to exist. The new discussion must add premises.

02Mechanism, purpose, and Socrates’ “second sailing”

Socrates describes his disappointment with physical explanations, then his excitement at Anaxagoras’ claim that mind orders things. He expects an explanation in terms of what is best. Yet Anaxagoras apparently returns to physical conditions instead (pp. 291–293).

Socrates’ prison example distinguishes why he chooses to remain from the bodily conditions enabling him to sit there. Bones and sinews matter, but do not state the intention or judgment explaining his decision. The intended teleological pattern is: x is F because it is best for x to be F (p. 292).

This does not establish that every natural event has such an explanation. It identifies the explanatory ideal Socrates hoped to find. He admits he has not achieved it, and describes another approach as a “second sailing.”

Dancy rejects two oversimplifications: that Socrates already supplies a complete teleological theory through Forms, and that the discussion simply abandons all concern with purpose. Dancy conjectures that the new account should eventually fit a teleological framework, while emphasizing that the Phaedo does not supply that framework (pp. 293–294).

03The Method of Hypothesis is not a formal deduction machine

Socrates says he starts with the account he judges strongest and accepts what is concordant with it, rejecting what is not (pp. 296–299). What does “concordant” mean?

If it means merely consistent, it is too weak for accepting a claim as true. Two contradictory propositions may each be separately consistent with a third proposition. If it means strictly entailed, failure to be entailed is too weak for rejecting a claim as false. A true starting proposition does not entail every other truth.

For a simple illustration added here: “this shape is a square” is consistent with its being red but does not establish that it is red; it does not entail that a distant person is asleep, but does not establish that the person is awake either.

Dancy therefore reads concordance more flexibly, involving background premises, relevance, and joint defensibility. He does not pretend Plato has already specified modern logical consequence and consistency (pp. 297–298).

Socrates’ further advice separates two tasks (pp. 298–299):

1. Examine whether the claims flowing from a hypothesis can stand together.
2. If the hypothesis itself needs justification, appeal to a stronger or “higher” hypothesis that can support it.

Do not confuse examining consequences with establishing the premise from which they follow. The text does not precisely define what makes a higher hypothesis “sufficient.” Hypothesizing is therefore a disciplined research procedure with unfinished foundations, not a guarantee that its initial claim is true.

04The Safe Theory: what is assumed and what is explained

Socrates hypothesizes the existence of Beauty itself, Goodness itself, Largeness, and the others (pp. 299–301). Dancy identifies further commitments:

• The Form F exists.
• The Form F is itself F.
• An ordinary thing other than the Form is F because it participates in the Form F.

The last claim is an additional explanatory hypothesis. It does not follow by logic alone from the first claim that a Form exists. For an ordinary beautiful thing a, the account is: a is beautiful because a participates in Beauty.

Socrates allows several descriptions of the relationship, including presence and communion, but deliberately leaves its nature open:

He does not settle its mechanism. The substantive commitment is that Beauty accounts for beautiful things’ beauty, however the relation eventually works. This is why “participation” should be marked as an unresolved relation in the map, not displayed as though it were an explained process.

05Why familiar causes are rejected

Socrates rejects explaining beauty by colour or shape and tallness by “a head.” Dancy argues that these rejections require additional causal principles, because “beautiful through its colour” is not by itself the logical negation of “beautiful through Beauty” (pp. 302–304).

He reconstructs three restrictions:

1. The cause of F cannot also cause the contrary of F.
2. The cause of F cannot itself have the contrary of F.
3. The same outcome cannot be caused by F and also by its contrary.

Gold may improve one object and spoil another; joining one stone to another and splitting a stone both yield two. Socrates treats that variability or opposition as disqualifying such explanations.

These are substantial philosophical assumptions. Ordinary explanations often allow one thing to produce different effects in different circumstances. The dialogue’s restrictive model seeks an unfailing explanation of a characteristic precisely as that characteristic. It should not be silently recast as an established law of modern physical causation.

06The connection with the early definition dialogues

Dancy connects the restrictions to transmission (pp. 304–306): the F explains other things’ being F; the explaining source is itself F and never its contrary; therefore the F is purely F. The apparently modest early requirements now operate within a distinct metaphysical setting established through relativity.

The word “safe” therefore needs care. “Beautiful things are beautiful through beauty” can sound harmless; a theory about a separate, purely beautiful source and a participation relation is a much stronger package. Calling it safe does not independently prove that package.

07Predication and the exclusion of opposites

Simmias is taller than Socrates and shorter than Phaedo. The account attributes both tallness and shortness to him under different comparisons (pp. 306–307). Socrates distinguishes being tall through tallness from being tall simply because he is Simmias.

Dancy sees a possible tendency toward an extreme view under which only essential predications are fully true—only the F is really F. But he does not make that tendency a premise of the argument that follows; he explicitly says it plays no discernible role there (pp. 307–308).

The operative distinction is between a bearer of contraries and a contrary itself (pp. 308–310):

• A person can remain the same person while becoming shorter relative to another.
• Tallness does not remain Tallness while becoming Shortness.

This also answers the objection from the earlier Cyclical Argument. Ordinary things move between contrary states; Forms do not turn into their opposites.

08Does “tallness in us” introduce another kind of entity?

Many interpreters distinguish three levels: transcendent Forms, immanent instances of Forms, and ordinary things. Dancy rejects that interpretation of this passage (pp. 308–310). He reads “the contrary itself in us” and “the contrary itself in nature” as one Form considered in relation to a participant or by itself, not two distinct entities.

This is Dancy’s defended interpretation, not an uncontested consensus. His reasons include the wording of Socrates’ reply and Socrates’ earlier refusal to specify how participation works. A newly introduced layer of intermediary entities would be a major additional theory, whereas Socrates has not announced it.

The talk of the contrary “withdrawing or perishing” does not, on Dancy’s account, establish that an eternal Form can literally perish. It states alternative patterns to be narrowed in particular cases. He compares the language about the number three, which would undergo anything before becoming even (p. 310).

09The Learned Safe Theory: necessary bearers can explain

The refined theory distinguishes a Form from something that necessarily bears its characteristic (pp. 310–312): fire is distinct from heat, but necessarily hot while it remains fire; snow is distinct from coldness, but necessarily cold while it remains snow; three is not Oddness, but is necessarily odd.

These examples do not all have the same ontological type. Dancy reads fire and snow as ordinary fire and snow; the number three is treated as a Form. What matters for the explanatory role is the necessary connection with a characteristic, not membership in a newly introduced universal class of entities.

The revised explanation takes this form, in my notation:

1. G necessarily brings F with it.
2. G is present in a relevant host.
3. Therefore the host is F through G.

For heat, the earlier answer was “heat”; the more informative answer can be “fire.” Socrates also gives fever as what makes a body sick and a unit as what makes a number odd in the relevant construction (p. 312).

“Intermediary” therefore names an explanatory role. It need not name a special entity midway between a Form and every ordinary object. The more specific explanation remains connected to the characteristic to be explained, but supplies more information than repeating that characteristic’s name.

10Immortality: the surprising limit of Forms’ role

Socrates applies the refined pattern to soul: a soul brings life to a body; it necessarily carries life; therefore it cannot admit the opposite, death (p. 312). To reach survival rather than mere inability to become dead, the argument must also exclude the alternative of perishing. Dancy’s discussion identifies withdrawal versus perishing as crucial but explicitly does not undertake a complete assessment of the immortality proof (pp. 310, 312).

His conclusion about the Theory of Forms is sharp:

What the pattern requires is a necessary bearer of the characteristic, together with the further premises needed for its application. One could explain fire’s necessary heat in some different theory, or leave it unexplained, while retaining this pattern. Thus the inference to immortality, if successful, would not follow simply from Forms’ existence, nor would that causal pattern uniquely establish the Forms.

Chapter result. Forms provide the framework for a causal account continuous with the earlier demand for explanation. Participation remains unspecified; “safe” relies on substantive transmission assumptions; and the more developed causal pattern can operate without a commitment specific to Platonic Forms.

11The explanatory extension

12Assumptions and inference limits

01Dancy states the status of his reconstruction

This is a direct answer to the methodological question raised earlier: did Socrates explicitly announce all these rules? No. Some requirements have clear statements in individual conversations; the systematic theory is Dancy’s reconstruction of what the refutations presuppose. The book does not present an undiscovered Socratic textbook containing a definition of definition and numbered axioms.

02How the three requirements become the later theory

Substitutivity → coverage of instances. A successful definition supplies necessary and sufficient conditions. In the theory’s later terms, the participants in the Pious must be all and only the pious people and actions (p. 314).

Paradigm → a pure Form. The standard must be unfailingly pious. Ordinary people and actions lack that unqualified purity; the Form supplies it. Relativity is the argument that distinguishes the Form from ordinary candidates (p. 314).

Explanation → participation and causality. The account must explain why the instances qualify as pious. The later theory says they do so because they stand in the relevant participation relation to the Pious (pp. 314–315).

These requirements are connected by transmission: the explanatory source must itself possess the character it supplies. Without that additional assumption, asking for an explanation does not by itself require a self-predicative paradigm.

03The complete line of thought, with its assumptions exposed

1. Practical moral inquiry motivates asking what piety, justice, courage, or beauty is.
2. The question assumes a subject about which an account can be sought; acknowledging that subject does not yet settle its ontology.
3. A satisfactory account must cover the cases and explain why they qualify.
4. A paradigm and the transmission conception demand a source that is F without admitting its contrary.
5. Ordinary F things also admit the contrary under some qualification.
6. Therefore the required source cannot be identified with those ordinary F things.
7. The Phaedo and Symposium add or explicitly develop the imperceptible, pure, unchanging object and its relation to participants.

This is my compressed reconstruction of Dancy’s book-wide argument, not a new proof independent of its premises. Its vulnerable commitments remain visible: the admission of an object, the pure-source requirement, the scope of relativity, and the relation of participation.

04What the book deliberately leaves unfinished

The theory says a relation must do explanatory work without yet telling us its nature. Dancy closes by saying that when Plato focuses on that relation in the Parmenides, the theory encounters deep trouble. He does not provide the Parmenides investigation here, and it should not be added as though it were a fifteenth chapter.

For the question about “separate existence,” keep the logical levels distinct. Nonidentity with an ordinary instance does not alone establish that a Form could exist without any instances. Dancy’s account builds a larger package through purity, imperceptibility, unchanging existence, and the Symposium’s exclusion of location in other things. His conclusion summarizes that package; it does not license skipping its premises.

Final result. Definition-seeking develops into a theory of pure explanatory objects. Dancy’s achievement is an argument-based reconstruction of that development, with its unsuccessful arguments and unresolved participation relation left in view.

05The book’s final connection

06Assumptions and inference limits