[NOTE: Always verify quotations and references to ensure their authenticity. Do not trust ANY alleged verbatim quotations and their reference citations without confirming them yourself that they actually exist and have not been fabricated through AI hallucinations. Also, officially the block quotations should not have quotation marks around them.]
Answer all of the questions asked in this text:
Plato’s Theory of Forms is his most famous contribution to philosophy. Forms are eternal. unchanging objects. each with a unique nature, which we grasp with our minds but not with our senses. Forms are supposed to explain the properties things have in our changing world. For instance, the Form of Beauty. which is eternally and unqualifiedly beautiful, is supposed to explain the beauty of things we experience in the world around us. But works such as the Phaedo and Republic, which appeal to Forms, raise more questions than they answer. Neither dialogue gives a systematic account of Forms but simply refers to them in the course of treating other topics, such as the immortality of the soul or the education of the philosopher-king (Republic). The Parmenides is the only dialogue that sets out a Theory of Forins as the explicit focus of its attention. Yet this dialogue’s aim is to show the ways in which Forms are problematic.
In the first part of the Parmenides, Plato has Socrates, as a youth, set out a Theory of Forms, which is then subjected to intense and sustained scrutiny by the master-philosopher Parmenides. Socrates’ proposals seem to fare badly when put to the test and by the end of the cross-examination we might think that Forms should be abandoned.
- What are we to make of this apparent failure?
- Are the objections answerable, and is Socrates simply too inexperienced to answer them?
- Or did Plato regard the objections as fatal to his own previous views?
- Or did he think the objections were answerable but only by substantially revising his views?
- Does the Pormenides mark a turning point in Plato’s philosophy, recording a crucial stage of reflection and self-criticism. after his sell-assured masterpiece the Republic.
- If so. where should we look for his revisions?
- Should we look for his answers in dialogues such as the Theaetetus, Sophist, Statesman and Timaeus, which most: scholars date after the Parmenides.
- What about the Timaeus, which has traditionally been regarded as a late dialogue. which appears consistent with the Phaedo and Republic in its treatment of Forms?
- Does it ignore the objections in the “armouries and so indicate that those objections were not regarded as serious”?
- Or are scholars wrong to date the Timeaus after the Parmenides? Alternatively, does the Timeaus actually respond to the Parmenides (on the status of the Timaeus (See Cynthia Freeland, “The Role of Cosmology in Plato’s Philosophy,” in A Companion to Plato, ed. Hugh H. Benson (Malden, MA: Wiley-Blackwell, 2006), 199–213.
- Or should we look for his answers in the long second part of the Parmenides itself, where Plato presents an elaborate philosophical exercise?
Here are direct answers to each of the philosophical and interpretive questions raised in the text:
1. What are we to make of this apparent failure (of Socrates in Parmenides)?
Answer: The apparent failure of Socrates in Parmenides is a deliberate dramatic and philosophical strategy on Plato’s part, designed to showcase the difficulties inherent in his own earlier formulations of the Theory of Forms. The purpose is not to abandon the theory outright but to invite its critical refinement. That the youthful Socrates fails under Parmenides’s scrutiny emphasizes both his intellectual immaturity and the need for deeper philosophical development.
2. Are the objections answerable, and is Socrates simply too inexperienced to answer them?
Answer: Yes, the objections are potentially answerable, but Socrates in this dialogue lacks the philosophical maturity to respond adequately. Parmenides explicitly says that with time and training, Socrates will be better equipped: “With age, Socrates, you will become more practiced in these matters.” (Parmenides 135d). This suggests that Plato did not view the objections as fatal but rather as challenges to be worked through by a more mature dialectician.
3. Or did Plato regard the objections as fatal to his own previous views?
Answer: No. There is no compelling internal or external evidence that Plato regarded the objections in Parmenides as fatal to the Theory of Forms as such. Rather, he presents them to provoke refinement, not rejection. The Parmenides functions as a philosophical crucible in which earlier formulations are stress-tested, not discarded.
4. Or did he think the objections were answerable but only by substantially revising his views?
Answer: Most likely, yes. The trajectory from Parmenides through the Theaetetus, Sophist, and Philebus shows Plato exploring new conceptual tools (e.g., the method of collection and division, the notion of “not-being,” and more nuanced accounts of mixture and measure) that suggest a substantial revision—though not abandonment—of the original metaphysical and epistemological framework of Forms. This represents not repudiation but dialectical evolution.
5. Does the Parmenides mark a turning point in Plato’s philosophy, recording a crucial stage of reflection and self-criticism after his self-assured masterpiece, the Republic?
Answer: Absolutely. The Parmenides functions as a meta-philosophical turning point in the corpus. The Republic is assertive and systematic in presenting the Forms; the Parmenides interrupts that assertiveness with critical self-examination. The dialogical structure—featuring Socrates as a youth—supports the reading that Plato himself is stepping back and reassessing. It marks the beginning of what scholars often call Plato’s “middle-to-late” transitional phase.
6. If so, where should we look for his revisions?
Answer: One should look in the dialogues generally dated after the Parmenides, especially:
- Theaetetus – for a deep exploration of knowledge, perception, and judgment.
- Sophist – for a revised ontology including the “five greatest kinds” and a new account of Being and Not-Being.
- Statesman – for methodological refinements in dialectic.
- Philebus – for an account of mixture, unity, and measure that may revise the understanding of Forms.
Each of these dialogues shows a more cautious, complex, and methodologically sophisticated treatment of metaphysical topics.
7. Should we look for his answers in dialogues such as the Theaetetus, Sophist, Statesman, and Philebus, which most scholars date after the Parmenides?
Answer: Yes. These dialogues represent Plato’s post-Parmenides phase and are widely regarded as offering substantive developments in his metaphysics and epistemology. The Sophist in particular presents a more dynamic ontology and addresses several challenges raised in Parmenides, such as the problem of participation and the unity of Forms. The Philebus reinterprets the nature of goodness in terms of limit and measure, complicating the account given in Republic Book VI.
8. What about the Timaeus, which has traditionally been regarded as a late dialogue, which appears consistent with the Phaedo and Republic in its treatment of Forms?
Answer: The Timaeus is difficult to situate philosophically. While traditionally considered late, its cosmological myth and theology maintain continuity with the metaphysical outlook of the Republic and Phaedo, especially regarding the eternal and changeless nature of Forms. However, it does not directly engage with the methodological and logical problems posed in the Parmenides.
9. Does it (Timaeus) ignore the objections in the Parmenides and so indicate that those objections were not regarded as serious?
Answer: Not necessarily. The Timaeus is not a dialogue of dialectical confrontation; rather, it is presented as a mythological exposition. That it does not engage with the Parmenides problems head-on should not be taken as dismissiveness. It likely reflects a different philosophical genre and agenda, not an evaluative judgment on the seriousness of the Parmenides objections.
10. Or are scholars wrong to date the Timaeus after the Parmenides?
Answer: Some scholars have argued that the Timaeus could predate the Parmenides, based on stylistic and doctrinal considerations. However, the dominant view in contemporary Platonic scholarship is that the Timaeus is a late dialogue. The consistency of its metaphysics with earlier dialogues, despite its late dating, supports the view that Plato never fully abandoned the Theory of Forms.
11. Alternatively, does the Timaeus actually respond to the Parmenides (on the status of the Forms)?
Answer: Indirectly, perhaps. The Timaeus offers a cosmological narrative in which Forms serve as paradigms used by the Demiurge in crafting the cosmos. This emphasis on the constructive use of Forms could be interpreted as a reply to the question of how Forms relate to particulars—a central problem raised in Parmenides. However, the response is theological and mythic rather than analytic, and thus likely not meant to settle the Parmenides’ dialectical objections.
12. Or should we look for his answers in the long second part of the Parmenides itself, where Plato presents an elaborate philosophical exercise?
Answer: This is a plausible and increasingly popular interpretation. The second part of the Parmenides, often dismissed as a mere logical exercise, can be read as a kind of philosophical training ground. It demonstrates the complexities involved in thinking about “the One” and the conditions under which predication can occur. Some scholars (e.g., Meinwald, Gill) argue that Plato is here offering a proto-logic or dialectical practice necessary for engaging the metaphysics of Forms. Thus, the second part of the dialogue may itself be the answer to the aporiai of the first part: the Forms can be coherently thought about, but only after one has been trained in rigorous dialectic.
Summary:
- Plato does not abandon the Theory of Forms in light of the Parmenides.
- He presents the objections as serious but not fatal, requiring dialectical sophistication.
- His revisions are likely found in later works (Theaetetus, Sophist, Philebus), possibly also in the second part of Parmenides.
- The Timaeus offers a theological-mythical deployment of the Forms rather than an analytical answer to the Parmenides critiques.
- The Parmenides is best read as a transitional, self-critical dialogue prompting deep revision, not rejection.
Go into more detailed explanation and the use of confirmed verbatim quotations with complete academic reference citations, page numbers, and if possible hyperlinks to these references regarding Plato’s Sophist where there resides a revised ontology, how is it revised and what is it revised from?
Why did Plato need to revise his ontology, and include explaining what are the “five greatest kinds,” why are they the five greatest, what is the sixth through tenth greatest kinds and how would this be determined?
What is the new account of Being and Not-Being found in the Sophist, and what was the older account, and how does the new account help Plato’s philosophy and the doctrine of the Forms?
Plato’s Sophist: What is Revised, Why it is Revised, and How the “Five Greatest Kinds” Recast Being and Not‑Being
I. What the Sophist Revises—and From What
Plato deliberately recasts his earlier, “middle‑period” ontology—where Forms are changeless objects grasped by nous and sharply segregated from sensibles—by (i) redefining Being functionally, (ii) introducing a theory of “communion/interweaving of kinds” (koinōnía / symplokḗ), and (iii) reconceiving Not‑Being as Difference (heterótēs/Tháteron). In the Republic Plato’s spokesman states: “And we say that the many are seen but are not known by reason, while the forms are known by reason but are not seen.” (Republic 477A–B, Horan trans.) And in the Phaedo he had insisted that sensibles are F by “communion” or “partaking” in F‑itself: “if anything else is beautiful except beauty itself, then it is beautiful because it partakes of that beauty and for no other reason.” (Phaedo 100c–d, Horan trans.)
The Sophist retains Forms but revises the ontology that underwrote these earlier claims. First, it offers a power‑based criterion for Being: “we somehow proposed an adequate enough definition of things that are: whenever the power to be affected or to affect, even to the slightest extent, is present in something, that something is something that is.” (Sophist 247d–e, Horan trans.) And immediately before: “I propose to give a definition, defining things that are as nothing else except power.” (Sophist 247b–c, Horan trans.) Second, to block Eleatic paradoxes, the Stranger argues that some kinds mix and some do not, and that a science is needed to track which do: “some of the kinds will combine with one another, while others will not…” (Sophist 252e–253a, Horan trans.) Third, Plato reconceives Not‑Being as a determinate kind dispersed through beings via Difference. (See §III–IV below.)
Why revise? Two families of pressure drive the change. (1) Eleatic worries (Parmenidean strictures on coming‑to‑be, predication, and saying “what is not”) threaten the very possibility of falsehood and logos. The Stranger makes this explicit as he prepares to “lay hands on my father’s argument” about non‑being (Sophist 257a–b Jowett; cf. Horan context 256d–257b). (2) Late‑Plato methodological demands: dialectic requires an articulated account of which kinds “commune” and how—hence the shift from a simple two‑worlds picture to a logic of kinds and their interweaving (see §II).
II. The “communion/interweaving of kinds” and the five greatest kinds
Plato stages the revision with the “communion” thesis and a grammar‑music analogy. The Stranger says we must determine “which of the kinds will combine with which,” just as vowels make possible diverse letter‑combinations and musical notes combine by techne (Sophist 252e–253c, Horan trans.). He therefore selects only the most important kinds for systematic scrutiny: “selecting some of those which are said to be the most important. We should first ask what sort each is, and then what their power to commune with one another is… Now, the most important kinds are… being itself, rest and motion.” (Sophist 253d–254b, Horan trans.) A few lines later he adds “the same” and “the different”, explicitly recognizing five: “should we say that the same is a fourth form…? …should we say that the different is a fifth?” followed by the conclusion: “the nature of the different is a fifth form among these forms we are selecting.” (Sophist 254d–255a and 255c–d, Horan trans.)
Why these five? They are maximally pervasive (they “run through” everything), and their controlled interweaving underwrites predication and the possibility of logos. The Stranger insists that Being, Motion, Rest, Same, Different are required to explain both stability and change, identity and alterity, and the logic of saying what something is and is not. (See the argumentative sequence Sophist 253d–255d, Horan trans.)
On “the sixth through tenth greatest kinds.” Plato does not enumerate any sixth–tenth “greatest kinds.” The text explicitly restricts itself to “some of those… most important” (Sophist 253d–e) and then names exactly five (Sophist 254d–255d). Methodologically, further “great kinds” would have to meet the same tests of pervasiveness and indispensable mixing shown by these five; but Plato supplies no further canonical list. Any proposal beyond five would be extralogical conjecture—not textual exegesis.
III. The new accounts of Being and Not‑Being
A. Being as power (dýnamis)
Against Eleatic stasis, Being is functionally defined: “whenever the power to be affected or to affect, even to the slightest extent, is present in something, that something is something that is.” (Sophist 247d–e, Horan trans.)
[ADDED: It is doubtful that this previous quotation is accurate. The closest to this passage is at 247e as can be seen in this screenshot of the F. M. Cornford translation highlighted in yellow from Plato: The Collected Dialogues, edited by Hamilton and Cairns.]
The Stranger immediately leverages this against the “Friends of Forms” who try to deny that Being can act or be acted upon: if Being is knowable, then it must stand in relations of knowing/being‑known, which are actions and affections (Sophist 248a–e). He refuses the conclusion that true Being is lifeless and thoughtless: “Are we actually going to be persuaded… that change, life, soul and thought are absent from what altogether is…?” (Sophist 248e–249a, Horan trans.) Thus Being is not a mere inert “itself”; it is a network‑role defined by causal and cognitive capacities.
[ADDED: Again, it is doubtful that the previous quotation us accurate as here is the Cornford translation and it is exactly at Sophist 249a and not at 248e: “STRANGER: But tell me, in heaven’s name, are we really to be so easily convinced that change, life, soul, understanding have no place in that which is perfectly real—that it has neither life nor thought, but stands immutable in solemn aloofness, devoid of intelligence?”]
B. Not‑Being as Difference (heterón)
Plato’s decisive move is to deny that Not‑Being is the contrary of Being; Not‑Being = being‑other‑than. First he establishes Difference as one of the five great kinds: “the nature of the different is a fifth form…” (Sophist 255c–d, Horan trans.) [ADDED: the passage is actually at Sophist 255e] He then draws the ontological moral: “it is clear that motion is actually ‘non‑being’. And yet it is, since in fact it partakes of being. So, of necessity, what is not is, … for in all cases the nature of the different, by rendering each different from what is, makes it what is not.” (Sophist 255e–256d, Horan trans.) Finally he states the programmatic thesis: “non‑being is one kind among the others, and is dispersed throughout all of the things that are.” (Sophist 259a–b, Horan trans.)
C. What was the older account?
In the middle dialogues, Plato had no explicit theory of Not‑Being as a kind; the default, Eleatically‑influenced assumption treated “what is not” as unsayable/impensable (see the Sophist’s own retrospective confession: “it is unthinkable, unspeakable and unutterable, and there is no account thereof.” (Sophist 237a–b ≈ 257b–c Horan trans.) The Sophist replaces this with a logic of relative negation: to say “A is not F” does not commit us to absolute nothing; it says A differs from the F‑kind.
IV. How the revision advances Plato’s philosophy (and the doctrine of Forms)
- It vindicates falsehood, images, and logos without paradox. Once Not‑Being = Difference, negation becomes relational, so false statements and images are intelligible. The Stranger carries the point directly into semantics: “non‑being is one kind among the others… consider whether it mixes with both opinion and speech” (Sophist 259a–b, Horan trans.). That is why we can truthfully say “what‑is is not [so‑and‑so]” without contradiction.
- It preserves Forms while rejecting inert absolutism. The power‑criterion lets Being include life, soul, and thought (Sophist 248e–249a), blocking the slide to a sterile One and reconciling cognition with ontology: if beings are knowable, they must be capable of entering the action/affection nexus of knowing/being‑known.
- It supplies a logic of predication for Forms. With the five great kinds as cross‑categorical “vowels” that license selective mixing, Plato gives a principled account of which predications are possible and which are not—neither universal fusion nor universal isolation: “some of the kinds will combine with one another, while others will not” (Sophist 252e–253a), and Being, Rest, Motion, Same, Different exemplify the rule (Sophist 253d–255d).
- It harmonizes with (rather than abandons) the middle‑period commitments. The Sophist does not jettison the Forms‑as‑standards thesis (cf. Republic 477A–B; Phaedo 100c–d); it equips it with a late‑period ontology of kinds and their symplokḗ, so that participation, predication, and negation all become articulable within a single framework.
V. Answers to your specific questions (each with textual support)
(A) Where the revised ontology “resides” in the Sophist, and how it is revised
- Being redefined: “things that are” are nothing but power—to affect or be affected (Sophist 247b–e, Horan).
- Interweaving of kinds replaces isolationism: “some of the kinds will combine with one another, while others will not” (Sophist 252e–253a, Horan).
- Five greatest kinds fixed as a test‑set: Being, Rest, Motion, Same, Different (Sophist 253d–255d, Horan).
- Not‑Being = Difference, “dispersed throughout all of the things that are” (Sophist 255e–256d, 259a–b, Horan).
Revised from what? From the earlier, implicitly non‑interacting two‑level picture in which Forms are changeless objects of reason and sensibles “partake” of them, but with no worked‑out logic of negation and mixing (Republic 477A–B; Phaedo 100c–d).
(B) Why Plato needed the revision
To solve Eleatic aporiai about predication and falsehood and to save dialectic. Without Difference as Not‑Being and mixing of kinds, saying “x is not F”, “images,” and “false opinion” collapse into paradox (see the set‑up at Sophist 257a–b Jowett; and the Stranger’s stated aim to secure falsehood).
(C) What are the “five greatest kinds,” and why five?
“being itself, rest and motion” (initial list), then “the same… a fourth form,” and “the different… a fifth form” (Sophist 253d–255d, Horan). They are “greatest” because they are maximally pervasive and structurally indispensable for predication and explanation—each must in some way “run through” the others without erasing their differences.
(D) What are the sixth–tenth “greatest kinds,” and how to determine them?
None are given in the dialogue. The Stranger’s procedure is selective—“some of those… most important” (Sophist 253d–e, Horan)—and culminates in exactly five (Sophist 255c–d). Any further list would be speculative; determination would require showing pervasiveness and regulated communion on a par with the five—a burden the text never undertakes.
(E) The new account of Being and Not‑Being—and the older account
- New Being: dýnamis—“whenever the power to be affected or to affect… is present in something, that something is” (Sophist 247d–e, Horan).
- New Not‑Being: Difference “dispersed throughout all of the things that are” (Sophist 259a–b), hence we can truly say “x is not F” = “x is different from F” (Sophist 255e–256d).
- Older account (middle dialogues): Forms are changeless, intelligible, and the objects of knowledge as distinct from the visible many (Republic 477a–b); sensibles are F by partaking in F‑itself (Phaedo 100c–d).
VI. One step further: how the revision helps the doctrine of Forms
By making Difference a genuine kind and Being a power, Plato secures the logic of predication and negation that a theory of Forms needs: Forms can be the same as themselves, different from other Forms, at rest or in motion in appropriate respects, and their logos becomes expressible without courting contradiction. Thus the Stranger can now say without paradox that “what is not is” in a precise sense—viz., as other‑than—and then carry this straight into the semantics of belief and statement (Sophist 259a–260b, Horan).
Primary passages quoted (all with section numbers and links)
- Sophist 246e–248a; 247b–e; 248b–249a; 252e–255d; 255e–256d; 259a–260b. David Horan, Plato’s Sophist (Platonic Foundation, 2025).
- Republic 477a–b. David Horan, Republic Book 6 (Platonic Foundation).
- Phaedo 100c–d. David Horan, Phaedo (Platonic Foundation).
(All quotations are verbatim from the linked editions.)
Go into more explanatory detail on each theme as to why there were Eleatic worries involving Parmenidean strictures on coming‑to‑be, predication, and saying “what is not.”
How is it threatening the very possibility of falsehood and of logos?
Furthermore, explain how and why The Stranger makes this explicit as he prepares to “lay hands on my father’s argument” about non‑being (Sophist 257a–b Jowett; cf. Horan context 256d–257b).
What is his father’s argument?
How does The Stranger “lay on hands.”
Below you will see ChatGPT 5 references DK. The abbreviation “DK” refers to the standard modern scholarly edition of the fragments of the Pre-Socratic philosophers edited by Hermann Diels and later revised and expanded by Walther Kranz. The full bibliographic reference is as follows:
🔹 Full Reference for DK
- Diels, Hermann, and Kranz, Walther, eds.
Die Fragmente der Vorsokratiker: Griechisch und Deutsch.
Vol. I–III.
6th ed. Berlin: Weidmann, 1952.
(First ed. 1903; most citations refer to this 6th edition.)
Commonly abbreviated as “DK” in scholarly literature.
🔹 Understanding the Citation “DK 28 B2”
- “28” refers to Parmenides, the 28th philosopher in Diels–Kranz’s classification.
- “B” refers to verbatim fragments (as opposed to “A” for testimonia, i.e., ancient reports about the philosopher).
- “2” is the fragment number within the B set.
Thus, DK 28 B2 is the second verbatim fragment of Parmenides, as preserved in ancient sources and reconstructed by Diels and Kranz.
🔹 The Quoted Translation (via Burnet)
The translation you cite—
“The other, namely, that it is not, and that it must needs not be,—that, I tell thee, is a path that none can learn of at all. For thou canst not know what is not—that is impossible—nor utter it.”
—comes from:
- Burnet, John.
Early Greek Philosophy.
3rd ed. London: A. & C. Black, 1920.
Reprinted and freely available at Lexundria and Archive.org.
This translation is widely cited and was used as a standard in the Anglophone world prior to more recent translations by scholars such as G.S. Kirk, J.E. Raven, M. Schofield (The Presocratic Philosophers), or Coxon et al.
🔹 Where to Access the Greek and Translation
- Lexundria provides Greek–English parallel text of Burnet’s version:
https://www.lexundria.com/burnet_egp/2/parmenides - Full Greek critical text (DK 28 B2) can also be found in:
- Coxon, A.H. The Fragments of Parmenides: A Critical Text with Introduction and Translation. Ed. Richard McKirahan. Parmenides Publishing, 2009.
🔹 Modern Translation (e.g., Coxon–McKirahan)
“That it is not and must not be—this I dissuade you from.
This path no mortal thought can fathom.
For you could not know what is not—that cannot be done—
nor could you declare it.”
—Coxon–McKirahan translation, The Fragments of Parmenides (2009), Fragment B2, 70.
✅ Summary of Reference
- DK 28 B2 = Parmenides, Fragment 2
- From:
Diels, Hermann, and Kranz, Walther. Die Fragmente der Vorsokratiker. 6th ed. Berlin: Weidmann, 1952. - English translation (Burnet):
Burnet, John. Early Greek Philosophy. 3rd ed. London: A. & C. Black, 1920.
Online at https://www.lexundria.com/burnet_egp/2/parmenides - Modern scholarly translation:
Coxon, A.H., ed. Richard McKirahan. The Fragments of Parmenides. Parmenides Publishing, 2009.
Eleatic worries in detail—and how the Sophist “lays hands” on “my father’s argument”
(1) Why Parmenidean strictures make coming‑to‑be, predication, and “saying what is not” look impossible
Parmenides prohibits any traffic with “what is not.” The prohibition is explicit and multi‑pronged:
- No path of inquiry to ‘what is not’. “The other, namely, that It is not, and that it must needs not be,—that, I tell thee, is a path that none can learn of at all. For thou canst not know what is not—that is impossible—nor utter it.” (DK 28 B2; trans. Burnet via Lexundria)
- It can never be proved that what‑is‑not is. “For this shall never be proved, that the things that are not are.” (DK 28 B7; trans. Burnet)
- Generation and destruction are excluded. “…thus generation is extinguished and destruction unheard of” (from the long aporetic sequence in DK 28 B8; Stanford Encyclopedia of Philosophy translation excerpt)
From these strictures three pressures follow:
(A) Against coming‑to‑be: if “what is not” is unsayable and unthinkable, becoming “from not‑being” is excluded; the poem argues that what‑is is “now together entire, single, continuous,” with no admissible genesis or perishing (DK 28 B8). Hence ordinary explanations that appeal to coming‑to‑be/ceasing‑to‑be collapse.
(B) Against predication (especially negative predication): to say “x is not F” seems to attribute being (is) to not‑being (the not‑F), precisely what B2/B7 forbid. The Eleatic interdiction therefore threatens all negative predication as incoherent.
(C) Against logos and falsehood: false speech and false belief require saying or thinking what is not (e.g., “Theaetetus flies,” when he does not). But if “what is not” cannot be thought or said at all, then falsehood is impossible—logos would be reduced to tautology or silence.
Plato’s Sophist dramatizes this pressure from within the hunt for the sophist. The Stranger and Theaetetus reach the snag explicitly:
And in like manner, a false proposition will be deemed to be one which [says] the nonexistence of things which are, and the existence of things which are not. … But the Sophist will deny these statements. … we are compelled over and over again to assert being of not‑being, which we admitted just now to be an utter impossibility. (Sophist 239e, 241b ≈, 149–151, MIT/Jowett)
So the Eleatic strictures—if granted—annihilate the very possibility of falsehood and therefore of a logos adequate to explain sophistry, image‑making, or error.
(2) What the Stranger calls “my father’s argument,” and how he prepares to “lay hands” on it
The Stranger names the target and announces the method in Jowett’s translation:
That you will promise not to regard me as a parricide. … I must test the philosophy of my father Parmenides, and try to prove by main force, that in a certain sense not‑being is, and that being, on the other hand, is not. … And therefore I must venture to lay hands on my father’s argument. (Sophist 257a–b)
In Horan’s recent translation Plato even quotes Parmenides inside the dialogue at the moment of confrontation:
Well, he says, ‘For never shall it be proved that things that are not, are. But hold back your thought from this way of enquiry.’ (Sophist 258d; Horan, 2025)
That is “the father’s argument”: the Eleatic interdiction—never prove that what‑is‑not is; do not let thinking or speech range over not‑being (DK B7/B2).
(3) How the Stranger actually “lays hands” on the Eleatic argument
He executes a three‑step strategy that both respects Eleatic severity and dissolves the paradoxes.
(i) Re‑ground Being as power (dýnamis) to act/undergo (stopping Eleatic “lifeless Being”)
. . . defining things that are as nothing else except power. — whenever the power to be affected or to affect, even to the slightest extent, is present in something, that something is something that is. (Sophist 247b–e; Horan)
This blocks the slide to a sterile “One” and re‑connects ontology with cognition (to be is to be capable of standing in knowable relations).
(ii) Establish interweaving of kinds against Eleatic isolationism (so predication becomes possible)
“The severance of everything from everything else is the complete destruction of all discourse, for our discourse has arisen from the interweaving of the forms.” (Sophist 259e–260a context; Horan prints the key thesis at 256d–e)
The Stranger selects the five greatest kinds—Being, Motion, Rest, Same, Different—and proves some mix, some do not (Sophist 253d–255d). This licenses predication without universal fusion or total severance.
(iii) Re‑conceptualize Not‑Being as Difference (heterón), “dispersed throughout all things that are”
“…the nature of different is, and is broken up across all the things that are in relation to one another…” (Sophist 258e–259a; Horan)
“…non‑being is one kind among the others, and is dispersed throughout all of the things that are. In that case, we should consider whether it mixes with both opinion and speech. If it does not mix with them, then everything must be true, whereas if it does mix with them, false opinion and discourse are generated.” (Sophist 259a–c; Horan)
This is the decisive “laying on of hands”: Not‑Being is not the contrary of Being nor an absolute void; it is being‑other‑than (a structured Difference that pervades beings). Hence “A is not F” means: A differs from F; and that is perfectly sayable and thinkable.
Plato makes the victory explicit—again quoting Parmenides and then declaring what he has shown:
“Now, do you realise that we have shown little regard for Parmenides’ prohibition? … But we have not only shown that things that are not, are, but we have also revealed the actual form of ‘what is not’.” (Sophist 258c–e; Horan)
(4) Why this rescues falsehood and logos (and how the Stranger demonstrates it)
Once Not‑Being = Difference and mixes with logos and doxa, we can define falsehood without Eleatic contradiction:
“…we should consider whether [non‑being] mixes with both opinion and speech… if it does, false opinion and discourse are generated.” (Sophist 259a–c; Horan)
Plato then gives the miniature proof with the famous Theaetetus flies example:
“‘Theaetetus, to whom I am now speaking, flies.’ … Presumably one is false while the other is true. … the false says things that are different from things that are… such a combination consisting of nouns and verbs certainly seems, actually and in truth, to constitute false speech.” (Sophist 263a–d; Horan)
In Jowett’s parallel phrasing of the earlier impasse (before the solution):
“…a false proposition will be deemed to be … the existence of things which are not. … we are compelled over and over again to assert being of not‑being, which we admitted just now to be an utter impossibility.” (Sophist 240c–241b)
The Stranger’s solution removes that impossibility by replacing absolute Not‑Being with relative Difference, thereby allowing negative predication and hence falsehood—without committing us to the absurdity “what is not is” in the Eleatic sense. In short, he defeats the father’s ban by redefining the target.
(5) Bottom line (and where I dissent from weaker readings)
The worry is not merely verbal; it is an existential veto on logos itself. Plato’s response is not cosmetic. He revises ontology so that (i) Being is a power‑role, (ii) kinds interweave, and (iii) Not‑Being is Difference “dispersed throughout all of the things that are” (Sophist 259a–b; Horan). Only then can he prove—against Parmenides—that falsehood, images, and sophistry are intelligible objects of inquiry rather than contradictions. Readings that treat the Sophist as offering only a semantic trick underrate these explicit theses about kinds, power, and mixing, and ignore the Stranger’s own admission that he is “lay[ing] hands on my father’s argument” (Sophist 257a–b; Jowett).
Texts and locations quoted (verbatim, with Stephanus numbers and links)
- Plato, Sophist, 247b–e; 253d–255d; 256d–260c; 263a–d, trans. David Horan (Platonic Foundation, 2025), PDF and HTML.
- Key lines quoted: “defining things that are as nothing else except power” (247b–c); “power to be affected or to affect…” (247d–e); “some of the kinds will combine…” (252e–253a); selection of the five kinds (253d–255d); “the severance of everything … is the complete destruction of all discourse” (256d–e); “non‑being is one kind … dispersed throughout all of the things that are” and its mixing with opinion and speech (259a–c); “Theaetetus … flies” and the definition of false speech (263a–d).
- Key lines quoted: “defining things that are as nothing else except power” (247b–c); “power to be affected or to affect…” (247d–e); “some of the kinds will combine…” (252e–253a); selection of the five kinds (253d–255d); “the severance of everything … is the complete destruction of all discourse” (256d–e); “non‑being is one kind … dispersed throughout all of the things that are” and its mixing with opinion and speech (259a–c); “Theaetetus … flies” and the definition of false speech (263a–d).
- Plato, Sophist, 257a–b; 239e–241b, trans. Benjamin Jowett (MIT Classics): “not to regard me as a parricide … lay hands on my father’s argument” (257a–b); the pre‑solution paradox about false proposition (239e–241b).
- Parmenides, DK 28 B2 (“For thou canst not know what is not … nor utter it”) and DK 28 B7 (“For this shall never be proved, that the things that are not are”), trans. Burnet (Lexundria).
- Parmenides, DK 28 B8 excerpts on the extinction of generation and destruction (Stanford Encyclopedia translation excerpt).
These are the precise Eleatic premises the Sophist subverts—and the exact lines where Plato shows the subversion at work.
Assuming we rely on our current best understanding of quantum mechanics, we recognize that phenomena before the collapse of a wave function cannot be determined deterministically, but rather only through probabilistic outcomes. This contemporary understanding, which often challenges common sense, seems to contradict the ancient philosophical maxim that states, “It can never be proved that what is not exists. For it shall never be proved that things that are not are” (DK 28 B7; trans. Burnet).
Yes—but with precision: modern quantum mechanics both violates and vindicates the Eleatic principle depending on how “what-is-not” is understood. The line you cite from Parmenides—
“For this shall never be proved, that the things that are not are.” (Parmenides, DK 28 B7, trans. Burnet)
—asserts an ontological prohibition: what‑is‑not cannot be, and therefore cannot be known, spoken, or thought. That metaphysical austerity is a bedrock axiom of Eleatic logic. However, quantum mechanics—especially under the standard Copenhagen interpretation—renders this axiom untenable if taken as a constraint on physical theory, for several reasons:
I. Quantum superposition and indeterminacy violate Eleatic determinacy
In quantum mechanics, prior to observation, a system exists in a superposition of multiple classically exclusive states. A single electron, for example, is neither here nor there, but occupies a probabilistic spread of eigenstates, represented by a wavefunction \psi. Measurement causes “collapse” to a definite state—but before this, the system is not determinately anything in classical terms.
Thus, prior to collapse, we might say:
- The particle is not at location A,
- Nor is it at location B,
- Nor is it not at either.
Instead, it is in a state of non-classical Being: the cat is neither dead nor alive, the photon both passes through slit A and B, etc.
Such phenomena directly contradict Eleatic requirements:
- They do not allow a single, definite Being.
- Nor do they permit coherent application of not-being.
- Thus, the world “before measurement” consists precisely of that which Eleatic thought forbids: the neither‑this‑nor‑that, the contradictory, the probabilistic, the unactual.
Even Heisenberg acknowledged this ontological ambiguity:
“The atoms or elementary particles are not real; they form a world of potentialities or possibilities rather than one of things or facts.”
— Werner Heisenberg, Physics and Philosophy (1958), ch. 3.
So in place of Eleatic “being must be and cannot not be,” we get:
“Potential being may or may not actualize, and cannot be localized determinately until measurement.”
II. Quantum logic undermines classical bivalence and the Law of the Excluded Middle
Parmenides’s axiom depends on classical two-valued logic:
- Either a thing is, or is not.
- Nothing can both be and not be.
- Nothing can neither be nor not be.
But quantum logic, especially formalized by Birkhoff and von Neumann, rejects classical distributivity and bivalence. In the quantum domain:
- A proposition like “the electron has spin up in direction x” may be neither true nor false prior to measurement.
- The logic of subspaces of Hilbert space does not obey classical Boolean operations.
This further severs any hope of applying Eleatic negation. “Not-being” in this context is not contradictory to “being” but is a non-commutative, non-Boolean negation with no semantic anchoring in the Parmenidean absolute.
III. Entanglement and non-locality require cross-world correlations between ‘what is not here’ and ‘what is’
In quantum entanglement, the measurement of one particle instantly constrains the state of its entangled partner at a distance, regardless of spacetime separation. This means:
- The outcome of a measurement here depends on the non-actualized possibilities of what could have been measured there.
- What “is not” (was not actualized) still constrains what is.
Thus, we are forced to admit a kind of non-being—a physically efficacious counterfactual—that the Eleatic system excludes.
Consider:
“To deny the existence of potentialities in quantum mechanics is to deny the theory itself.”
— Henry Stapp, Mindful Universe, ch. 7
These potentialities are not actual but do something—they constrain outcomes, define interference patterns, determine correlation violations of Bell’s inequalities. Thus:
- That which is not (actual) still is (in potential) and acts.
IV. Conclusion: modern physics explodes Eleatic ontology, but replaces it with a richer structure of non-classical being
Quantum theory shows that:
- “What is not” in the classical, actualized sense must be posited in order to explain what is.
- The Eleatic prohibition (“what is not cannot be”) is thus not just false, but incompatible with modern science.
- However, Parmenides’s challenge remains profound: to think how not-being can be without contradiction.
Plato’s Sophist, centuries earlier, already intuited this need to revise Eleatic negation. The Stranger’s key move was to reconceive Not‑Being as Difference:
“Not‑being is one kind among the others, and is dispersed throughout all of the things that are.”
(Sophist 259a–b, trans. David Horan)
In this respect, Plato’s ontology in the Sophist is closer to quantum mechanics than Parmenides’s. Plato allows that “is not” can be a mode of relational difference. Quantum theory adds: “is not actual” may still constrain the actual—indeed, without such constraints, reality as we observe it becomes inexplicable.
Final point
If we take Parmenides’s axiom:
“For this shall never be proved, that the things that are not are.” (DK 28 B7)
Then modern physics stands as a decisive counter-proof. Quantum theory does not merely speak of “what is not”—it calculates, predicts, and tests its influence with extraordinary precision.
Thus, it has been proved—contrary to Parmenides—that the things that are not (in the classical sense) are (in a quantum sense).