# Plato’s theory of forms and the axiom of foundation

Jordan Bell
January 27, 2017

## 1 Axiom of foundation

By $y\subset x$ we mean that $z\in y$ implies that $z\in x$.

If $x$ is a set, we say that an element $y$ of $x$ is epsilon-minimal if $y\cap x=\emptyset$. The axiom of foundation states that if $x\neq\emptyset$ then $x$ has an epsilon-minimal element. See Jech [28, p. 63, Chapter 6].

Zermelo [52]. Translated and glossed in [20, pp. 1208–1233]. Kanamori [29]

Ebbinghaus: [17]

Forster [21]

Von Neumann universe, cumulative hierarchy, $\epsilon$-induction, well-founded induction.

The following theorem shows in particular that $x\not\in x$.

###### Theorem 1.

For all $x_{1},\ldots,x_{n}$,

 $\neg((x_{1}\in x_{2})\wedge(x_{2}\in x_{3})\wedge\cdots\wedge(x_{n-1}\in x_{n}% )\wedge(x_{n}\in x_{1})).$
###### Proof.

Suppose that

 $(x_{1}\in x_{2})\wedge(x_{2}\in x_{3})\wedge\cdots\wedge(x_{n-1}\in x_{n})% \wedge(x_{n}\in x_{1}).$ (1)

Let $x=\{x_{1},\ldots,x_{n}\}$. The axiom of foundation asserts that $x$ has an epsilon-minimal element, say $x_{i}$, for which $x_{i}\cap x=\emptyset$. This means that for each $j=1,\ldots,n$ we have $x_{j}\not\in x_{i}$. If $1, then with $j=i-1$ we have $x_{i-1}\not\in x_{i}$, contradicting (1). If $i=1$, then with $j=n$ we have $x_{n}\not\in x_{1}$, contradicting (1). Therefore (1) is false, proving the claim. ∎

###### Theorem 2.

There is no function $f$ with domain $\omega$ such that for each $i\in\omega$, $f(i+1)\in f(i)$.

###### Proof.

Suppose there is such a function $f$. Let $x=\{f(i):i\in\omega\}$. The axiom of foundation asserts that $x$ has an epsilon-minimal element, say $f(i)$, for which $f(i)\cap x=\emptyset$. This means that for each $j\in\omega$ we have $f(j)\not\in f(i)$. In particular, with $j=i+1$ we have $f(i+1)\not\in f(i)$, a contradiction. ∎

Kunen [33]

## 2 Ordinal numbers

Suppose that $<$ is a linear order on a set $X$. A subset $I$ of $X$ is said to be an initial segment of $X$ if $t\in I$, $x\in X$ and $x imply that $x\in I$. For $x\in X$ we define

 $s_{X}(x)=\{t\in X:t

If $t\in s_{X}(x)$, $y\in X$ and $y, then from $t and $y we have $y and hence $y\in s_{X}(x)$. Therefore $s_{X}(x)$ is an initial segment of $X$.

###### Theorem 3.

If $<$ is a well-order on a set $X$ and $I$ is an initial segment of $X$ with $I\neq X$, then there is some $x\in X$ such that $I=s_{X}(x)$.

###### Proof.

Because $I\neq X$, $X\setminus I$ is nonempty, and because $<$ is a well-order, there is a minimum element $x$ of $X\setminus I$. On the one hand, suppose that $t\in I$. If $x\leq t$ then because $I$ is an initial segment and $t\in I$ we get $x\in I$, contradicting that $x\in X\setminus I$. Therefore $t, i.e. $t\in s_{X}(x)$, showing that $I\subset s_{X}(x)$. On the other hand, suppose that $t\in s_{X}(x)$. That is, $t. If $t\in X\setminus I$ then because $x$ is a minimum element of $X\setminus I$ we have $x\leq t$, contradicting $t. Therefore $t\in I$, showing that $s_{X}(x)\subset I$. ∎

A set $x$ is said to be transitive if $y\in x$ and $z\in y$ imply that $z\in x$. A set $\alpha$ is called an ordinal number if $\alpha$ is transitive and $\in$ is a well-order on $\alpha$. We denote the class of all ordinal numbers by $\mathbf{Ord}$.

Jech [28, p. 19, Lemma 2.11]

###### Theorem 4.
1. 1.

$\emptyset\in\mathbf{Ord}$.

2. 2.

If $\alpha\in\mathbf{Ord}$ and $\beta\in\alpha$ then $\beta\in\mathbf{Ord}$.

3. 3.

If $\alpha,\beta\in\mathbf{Ord}$, $\alpha\subset\beta$, and $\alpha\neq\beta$, then $\alpha\in\beta$.

4. 4.

If $\alpha,\beta\in\mathbf{Ord}$ then $\alpha\subset\beta$ or $\beta\subset\alpha$.

###### Proof.

It is immediate that $\emptyset\in\mathbf{Ord}$. Suppose that $\alpha\in\mathbf{Ord}$ and $\beta\in\alpha$. Suppose that $\gamma\in\beta$ and $\delta\in\gamma$. Because $\alpha$ is transitive, $\beta\in\alpha$ and $\gamma\in\beta$ yield $\gamma\in\alpha$. Again, because $\alpha$ is transitive, $\delta\in\gamma$ and $\gamma\in\alpha$ yield $\delta\in\alpha$. Let $x=\{\beta,\delta\}$. Because $\in$ is a well-order on $\alpha$ and $x\subset\alpha$, $x$ has a minimum element: (i) $\beta\in\delta$, (ii) $\beta=\delta$, or (iii) $\delta\in\beta$. For (i), $\beta\in\delta\in\gamma\in\beta$, which by Theorem 1 contradicts the axiom of foundation. For (ii), $\gamma\in\beta=\delta\in\gamma$, and likewise by Theorem 1 this contradicts the axiom of foundation. Therefore (iii) $\delta\in\beta$, which shows that $\beta$ is transitive. Because $\beta$ is a subset of $\alpha$ and $\epsilon$ is a well-order on $\alpha$, it is immediate that $\in$ is a well-order on $\beta$. Therefore $\beta\in\mathbf{Ord}$.

Suppose that $\alpha,\beta\in\mathbf{Ord}$, $\beta\subset\alpha$, and $\beta\neq\alpha$. The subset $\alpha\setminus\beta$ of $\alpha$ is nonempty, and because $\epsilon$ is a well-order on $\alpha$ there is a minimum element $\gamma$ of $\alpha\setminus\beta$. Because $\alpha$ is transitive and $\gamma$ is an element of $\alpha$ we have $\gamma\subset\alpha$. Also, because $\gamma$ is a minimum element of $\alpha\setminus\beta$, for any $\delta\in\alpha\setminus\beta$ we have $\delta\not\in\gamma$. Hence $(\alpha\setminus\beta)\cap\gamma=\emptyset$, which is equivalent to $(\alpha\cap\gamma)\setminus\beta=\emptyset$, and because $\gamma\subset\alpha$ this implies $\gamma\setminus\beta=\emptyset$. And $\gamma\setminus\beta=\emptyset$ means that $\gamma\subset\beta$. ∎

## 3 Plato

Laches: “What is courage?” 191e: “So what actually is each of these attributes, courage and cowardice? That’s what I wanted to find out. Let’s take courage first, then, and could you please try again to tell me what it is that’s the same in all these situations.” [50, p. 53]

Charmides: “What is self-control?” Critias says at 166e, “I maintain that it’s the only kind of knowledge which knows itself and all other cases of knowledge.” [50, p. 21] Socrates soon responds in 167c, “But we’re committing ourselves here to an extraordinary assertion, my friend. If you try to find the same phenomenon elsewhere, you’ll see how impossible it is, I think.” For example, 167d–e, “Is there a kind of hearing that doesn’t hear any sound, but hears itself and all other cases of hearing and not hearing?”, and “And would you say that there was a kind of love which is such that it isn’t love of anything beautiful, but of itself and all other cases of loving?”

Protagoras, 330–331 [47, pp. 27–28]:

“So then,” I said, “none of the other parts of excellence is like knowledge, none is like justice, none like courage, none like soundness of mind, and none like holiness.”
“No.”
“Well now,” I said, “let’s consider together what sort of thing each one is. Here’s the first question: is justice something, or not a thing at all? It seems to me that it is something; what do you think?”.
“I think so too.”
“Well, then, suppose someone asked us, ‘Tell me, is that thing that you have just mentioned, justice, itself just or unjust?’ I should reply that it is just. How would you cast your vote? The same as mine, or different?”
“The same.”
“So my reply to the question would be that justice is such as to be just; would you give the same answer?”
“Yes.”
“Suppose he went on to ask us, ‘Do you think that there is also such a thing as holiness?’ we whould, I think, say that we do.”
“Yes.”
“ ‘And do you say that that too is something?’ We should say so, don’t you agree?”
“I agree there too.”
“ ‘And do you say that this thing is itself such as to be unholy, or such as to be holy?’ I should be annoyed at the question, and say, ‘Watch what you say, sir; how could anything else be holy, if holiness itself is not to be holy?’ What about you? Wouldn’t you give the same answer?”
“Certainly,” he said.
“Suppose he carried on with his questioning: ‘Well, what was it that you were saying a moment ago. Didn’t I hear you correctly? You seemed to me to be saying that the parts of excellence are related to one another in such a way that none of them is like any other.’ I should say, ‘Yes, you heard the rest correctly, but you must have misheard if you think that I said that. It was Protagoras who said it in answer to a question of mine.’ Suppose he said, ‘Is that right, Protagoras? Do you say that none of the parts of excellence is like any of the others? Is that your opinion?’ What would you say?”
“I think have to agree, Socrates,” he said.
“Well, once we’ve agreed to that, Protagoras, how shall we deal with his next question? ‘So holiness is not such as to be something just, nor justice such as to be holy, but rather such as to be not holy; and holiness such as to be not just, and so unjust, and justice unholy?’ What shall we reply? For my own part I should say both that justice is holy and holiness just; and, if you let me, I should give the same answer on your behalf too, that justness is either the same thing as holiness or very similar, and above all that justice is like holiness and holiness like justice. Is that your view too, or had you rather that I didn’t give that answer?”

332c [47, p. 30]:

“Well now,” I said, “is there such a thing as the beautiful?”
“Yes, there is.”
“And does it have any opposite except the ugly?”
“No, none.”
“Is there such a thing as the good?”
“There is.”
“Does it have any opposite apart from the bad?”
“No.”
“Is there such a thing as the high-pitched in sound?”
“Yes.”
“And that has no opposite apart from the low-pitched?”
“None.”
“So,” I said, “each member of an opposition has only one opposite, not many.”

349b [47, p. 50]:

“The question, I think, was this: are ‘wisdom’, ‘soundness of mind’, ‘courage’, ‘justice’, and ‘holiness’ five names for the one thing, or does there correspond to each of these names some separate thing or entity with its own particular power, unlike any of the others?”

Hippias Major. 292e, 300a–b, 303: two different beautiful things have something identical which makes them beautiful and this common thing is present in them.

Gorgias: good, 497e.

Euthyphro [2] 5–7: “Isn’t the holy itself the same as itself in every action? And conversely, isn’t the unholy the exact opposite of the holy, in itself similar to itself, or possessed of a single character, in anything at all that is going to be unholy?” Maybe it makes sense to read this as saying that the only predicate satisfied by “the holy” is “$x$ is holy”, in other words, “the holy” does not belong to any class of things except “the holy”. “And do you recall that I wasn’t urging you to teach me about one or two of those many things that are holy, but rather about the form itself whereby all holy things are holy? Because you said, I think, that it was by virtue of a single character that unholy things are unholy, and holy things are holy. Don’t you remember?” “Then teach me about that character, about what it might be, so that by fixing my eye upon it and using it as a model, I may call holy any action of yours or another’s, which conforms to it, and may den to be holy whatever does not.” 12, 13: shame is contained in fear, the even numbers are contained in the numbers.

Symposium 210–212. 210e: beauty is beautiful

Phaedrus. 247: When the gods go to one of their banquets, they “journey skyward to the rim of the heavenly vault.” Then, “When the souls we call ‘immortal’ reach the rim, they make their way to the outside and stand on the outer edge of heaven, and as they stand there the revolution carries them around, while they gaze outward from the heaven. The region beyond heaven has never yet been adequately described in any of our earthly poets’ compositions, nor will it ever be. But since one has to make a courageous attempt to speak the truth, especially when it is truth that one is speaking about, here is a description. This region is filled with true being. True being has no colour or form; it is intangible, and visible only to intelligence, the soul’s guide. True being is the province of everything that counts as true knowledge. So since the mind of god is nourished by intelligence and pure knowledge (as is the mind of every soul which is concerned to receive its proper food), it is pleased to be at last in a position to see true being, and in gazing on the truth it is fed and feels comfortable, until the revolution carries it around to the same place again. In the course of its circuit it observes justice as it really is, self-control, knowledge – not the kind of knowledge that is involved with change and differs according to which of the various existing things (to use the term ‘existence’ in its everyday sense) it makes its object, but the kind of knowledge whose object is things as they really are. And once it has feasted its gaze in the same way on everything else that really is, it sinks back into the inside of heaven and returns home. Once back home, the soul’s charioteer reins in his horses by their manger, throws them ambrosia to eat, and gives them nectar to wash the ambrosia down.” [49, pp. 29–30]

In Socrates’ palinode, 249: “For a soul which has never seen the truth cannot enter into human form, because a man must understand the impressions he receives by reference to classes: he draws on the plurality of perceptions to combine them by reasoning into a single class. This is recollection of the things which our souls once saw during their journey as companions to a god, when they saw beyond the things we now say ‘exist’ and poked their heads up into true reality.” [49, p. 32]

Republic: “That since beauty and ugliness are opposite, they are two things; and consequently each of them is one. The same holds of justice and injustice, good and bad, and all the essential Forms: each in itself is one; but they manifest themselves in a great variety of combinations, with actions, with material things, and with one another, and so each seems to be many.”[13, p. 183, 475–476]

“On these assumptions, then, I shall call for an answer from our friend who denies the existence of Beauty itself or of anything that can be called an essential Form of Beauty remaining unchangeably in the same state for ever, though he does recognize the existence of beautiful things as a plurality– that lover of things seen who will not listen to anyone who says that Beauty is one, Justice is one, and so on. I shall say to him, Be so good as to tell us: of all these many beautiful things is there one which will not appear ugly? Or of these many just or righteous actions, is there one that will not appear unjust or unrighteous?” “No, replied Glaucon, they must inevitably appear to be in some way both beautiful and ugly; and so with all the other terms your question refers to.” [13, p. 187, 478–479] This seems to deny that it is possible for a Form to participate in itself, unless it is not counted as a “thing”.

“Let me remind you of the distinction we drew earlier and have often drawn on other occasions, between the multiplicity of things that we call good or beautiful or whatever it may be and, on the other hand, Goodness itself or Beauty itself and so on. Corresponding to each of these sets of many things, we postulate a single Form or real essence, as we call it.” “Further, the many things, we say, can be seen, but are not objects of rational thought; whereas the Forms are objects of thought, but invisible.” [13, pp. 217–218, 506–507]

Knowledge is about Forms: “never making use of any sensible object, but only of Forms, moving through Forms from one to another, and ending with Forms.” [13, p. 226, 511–512].

The Form of Bed is more real than any given bed: “If so, what he makes is not the reality, but only something that resembles it. It would not be right to call the work of a carpenter or of any other handicraftsman a perfectly real thing, would it?” [13, p. 326, 596–597]

Phaedo 65d: there is a thing that is “the just itself” and there is a thing that is “the beautiful itself” and there is a thing that is “the good itself”, and these are known most closely by thought alone. 78. 100c: beauty is beautiful. 73–80, 109–111.

Cratylus: 389–390: a craftsman uses an archetype. 439–440, knowing forms. The Form of a weaver’s shuttle. 439c, there is a “beautiful itself” and a “good itself”.

Euthydemus 301b

Parmenides [12] 129–135. Alexander of Aphrodisias see [12, p. 88] on “man walks”.

Theaetetus [14, p. 162]: 184–186. 208: “image of thought in speech”, go through element by element, “being able to state some mark by which the thing one is asked for differs from everything else”

Sophist [14] 246–248, 251–259.

Philebus 14–18.

Timaeus [11] 27d-28a [11, pp. 21–22], 51a–52a [11, pp. 188–193]

Lysis 217d.

Seventh Letter 341–345

## 4 Testimonia

Antisthenes: “Plato, I see a horse; I don’t see horseness.” Plato: “That’s because you have the eye that sees horses, but you haven’t acquired the one that’s needed to think about horseness.” [6, p. 296, 11.6].

Diogenes the Cynic: “When Plato was once talking about hs Ideas and used the terms ‘tableness’ and ‘cupness’, Diogenes remarked, ‘I can see a table and a cup, but in no way this tableness and cupness.’ ‘Of course not,’ replied Plato, ‘because you have the eyes that are needed to see a cup and table, but lack the intellect through which tableness and cupness can alone be beheld.” [24, pp. 32–33, no. 121].

Plutarch, Platonic Questions, Question III, 1001E–1002A [8, pp. 37–39]:

Moreover, just as each of the perceptibles themselves has a multiplicity of semblances and shadows and images and as generally both in nature and in art it is possible for numerous copies to come from a single pattern, so the things of this world must surpass in number the things of that world according to Plato’s supposition that the intelligibles are patterns, that is ideas, of which the perceptibles are as semblances or reflections. Moreover, the ideas are the objects of intellection $\langle$; and intellection$\rangle$ he introduces as a result of abstraction or lopping away of body when in the order of studies he leads down from arithmetic to geometry and then after this to astronomy and crowns all with the theory of harmony, for the objects of geometry are the result when quantity has taken on extension, the solids when extension has taken on depth, the objects of astronomy when solid body has taken on motion, and the objects of harmonics when sound has been added to the body in motion. Hence by abstracting sound from the things in motion and motion from the solids and depth from the planes and extension from the quantities we shall arrive at intelligible ideas themselves, which do not differ from one another at all when conceived in respect of their singularity and unity.

Eusebius, Praeparatio Evangelica, 11.23.3–4, “On the Ideas in Plato”.

Aristotle, Metaphysics

Aristotle, Eudemian Ethics I.8

## 5 Philosophy

Klein [30]

Coxon [15]

Moore [37]

Kneale and Kneale [31]

Graeser [22]

Cherniss [7]

Stillwell [45]

Grube [23]

Zalta [51]

Edwards [18]

Heinaman [26]

Barnes [4] and [3]

Clegg [9]

Meinwald [36]

Ellerman [19]

Horky [27]

Allen [1]

Black [5]

Ross [41]

Cohen [10]

Dauben [16]

Malcolm [34]

Nehamas [38] and [39]

Plato self-predication: Vlastos [48]

Rickless [40]

Sedley [44]

Sayre [43]

Mates [35]

Harte [25]

Taylor [46]

Russell [42]

Krämer [32]

## References

• [1] R. E. Allen (1960) Participation and predication in Plato’s middle dialogues. Philosophical Review 69 (2), pp. 147–164. Cited by: §5.
• [2] R. E. Allen (2014) Plato’s Euthyphro and the earlier theory of forms. Routledge. Cited by: §3.
• [3] J. Barnes (2009) Truth, etc.. Oxford University Press. Cited by: §5.
• [4] J. Barnes (2011) Bits and pieces. In Method and Metaphysics: Essays in Ancient Philosophy I, J. Barnes (Ed.), pp. 429–483. Cited by: §5.
• [5] M. Black (1971) The elusiveness of sets. The Review of Metaphysics 24 (4), pp. 614–636. Cited by: §5.
• [6] G. Boys-Stones and C. Rowe (2013) The circle of Socrates: readings in the first-generation Socratics. Hackett Publishing. Cited by: §4.
• [7] H. Cherniss (1936) The philosophical economy of the theory of ideas. American Journal of Philology 57 (4), pp. 445–456. Cited by: §5.
• [8] H. Cherniss (1976) Plutarch, Moralia, Volume XIII: Part 1. Loeb Classical Library, Harvard University Press. Cited by: §4.
• [9] J. S. Clegg (1973) Self-predication and linguistic reference in Plato’s theory of the forms. Phronesis 18 (1), pp. 26–43. Cited by: §5.
• [10] P. J. Cohen (2008) Set theory and the continuum hypothesis. Dover Publications. Cited by: §5.
• [11] F. M. Cornford (1937) Plato’s cosmology: the Timaeus of Plato, translated with a running commentary. Kegan Paul, London. Cited by: §3.
• [12] F. M. Cornford (1939) Plato and Parmenides: Parmenides’ Way of Truth and Plato’s Parmenides, translated with an introduction and a running commentary. Kegan Paul, London. Cited by: §3.
• [13] F. M. Cornford (1941) The Republic of Plato, translated with introduction and notes. Oxford University Press. Cited by: §3, §3, §3, §3, §3.
• [14] F. M. Cornford (2003) Plato’s theory of knowledge: the Theaetetus and the Sophist, translated, with commentary. Dover Publications. Cited by: §3, §3.
• [15] A. H. Coxon (1999) The philosophy of forms: an analytical and historical commentary on Plato’s Parmenides. Van Gorcum, Assen, The Netherlands. Cited by: §5.
• [16] J. W. Dauben (1990) Georg Cantor: his mathematics and philosophy of the infinite. Princeton University Press. Cited by: §5.
• [17] H. Ebbinghaus (2007) Ernst Zermelo: an approach to his life and work. Springer. Cited by: §1.
• [18] D. Edwards (2014) Properties. Polity Press, Cambridge. Cited by: §5.
• [19] D. P. Ellerman (1988) Category theory and concrete universals. Erkenntnis 28 (3), pp. 409–429. Cited by: §5.
• [20] W. Ewald (Ed.) (1996) From Kant to Hilbert: a source book in the foundations of mathematics, volume II. Clarendon Press, Oxford. Cited by: §1.
• [21] T. Forster (2003) Logic, induction and sets. London Mathematical Society Student Texsts, Vol. 56, Cambridge University Press. Cited by: §1.
• [22] A. Graeser (2010) The fog dispelled: two studies in Plato’s later thought. Franz Steiner Verlag, Stuttgart. Note: Translated by Ann M. Hentschel Cited by: §5.
• [23] G. M. A. Grube (1980) Plato’s thought. Hackett Publishing Company. Cited by: §5.
• [24] R. Hard (2012) Diogenes the Cynic: sayings and anecdotes, with other popular moralists. Oxford World’s Classics, Oxford University Press. Cited by: §4.
• [25] V. Harte (2005) Plato on parts and wholes: the metaphysics of structure. Oxford University Press. Cited by: §5.
• [26] R. Heinaman (1989) Self-predication in Plato’s middle dialogues. Phronesis 34 (1), pp. 56–79. Cited by: §5.
• [27] P. S. Horky (2013) Plato and Pythagoreanism. Oxford University Press. Cited by: §5.
• [28] T. Jech (2006) Set theory: the third millennium edition, revised and expanded. Springer Monographs in Mathematics, Springer. Cited by: §1, §2.
• [29] A. Kanamori (2004) Zermelo and set theory. Bulletin of Symbolic Logic 10 (4), pp. 487–553. Cited by: §1.
• [30] J. Klein (1992) Greek mathematical thought and the origin of algebra. Dover Publications. Note: Translated by Eva Brann Cited by: §5.
• [31] W. Kneale and M. Kneale (1962) The development of logic. Clarendon Press, Oxford. Cited by: §5.
• [32] H. J. Krämer (2012) Plato’s unwritten doctrine. In The Other Plato: The Tübingen Interpretation of Plato’s Inner-Academic Teachings, D. Nikulin (Ed.), SUNY Series in Ancient Greek Philosophy, pp. 65–81. Cited by: §5.
• [33] K. Kunen (1980) Set theory: an introduction to independence proofs. Studies in Logic and the Foundations of Mathematics, Vol. 102, North-Holland. Cited by: §1.
• [34] J. Malcolm (1991) Plato on the self-predication of forms: early and middle dialogues. Clarendon Press, Oxford. Cited by: §5.
• [35] B. Mates (1986) Identity and predication in Plato. In The Logic of Being: Historical Studies, S. Knuuttila and J. Hintikka (Eds.), Vol. 28, pp. 29–47. Cited by: §5.
• [36] C. C. Meinwald (1992) Good-bye to the third man. In The Cambridge Companion to Plato, R. Kraut (Ed.), pp. 365–396. Cited by: §5.
• [37] G. H. Moore (2013) Zermelo’s axiom of choice: its origins, development, and influence. Dover Publications. Cited by: §5.
• [38] A. Nehamas (1979) Self-predication and Plato’s theory of forms. American Philosophical Quarterly 16 (2), pp. 93–103. Cited by: §5.
• [39] A. Nehamas (1982) Participation and predication in Plato’s later thought. Review of Metaphysics 36, pp. 343–374. Cited by: §5.
• [40] S. C. Rickless (2009) Plato’s forms in transition: a reading of the Parmenides. Cambridge University Press. Cited by: §5.
• [41] D. Ross (1953) Plato’s theory of ideas. second edition, Clarendon Press, Oxford. Cited by: §5.
• [42] B. Russell (2010) The philosophy of logical atomism. Routledge. Cited by: §5.
• [43] K. M. Sayre (1983) Plato’s late ontology: a riddle resolved. Princeton University Press. Cited by: §5.
• [44] D. Sedley (2003) Plato’s Cratylus. Cambridge Studies in the Dialogues of Plato, Cambridge University Press. Cited by: §5.
• [45] J. C. Stillwell (2010) Roads to infinity: the mathematics of truth and proof. A K Peters. Cited by: §5.
• [46] A. E. Taylor (2013) Plato: the man and his work. fourth edition, Routledge. Cited by: §5.
• [47] C. C. W. Taylor (1996) Plato: Protagoras. Oxford World’s Classics, Oxford University Press. Cited by: §3, §3, §3.
• [48] G. Vlastos (1981) On a proposed redefinition of “self-predication” in Plato. Phronesis 26 (1), pp. 76–79. Cited by: §5.
• [49] R. Waterfield (2002) Plato: Phaedrus. Oxford World’s Classics, Oxford University Press. Note: Translated with an introduction and notes Cited by: §3, §3.
• [50] R. Waterfield (2005) Plato: Meno and other dialogues. Charmides, Laches, Lysis, Meno. Oxford World’s Classics, Oxford University Press. Note: Translated with an introduction and notes Cited by: §3, §3, §3.
• [51] E. N. Zalta (1983) Abstract objects: an introduction to axiomatic metaphysics. Synthese Library, Vol. 160, D. Reidel Publishing Company. Cited by: §5.
• [52] E. Zermelo (1930) Über Grenzzahlen und Mengenbereiche. Neue Untersuchungen über die Grundlagen der Mengenlehre. Fundamenta Mathematicae 16, pp. 29–47. Cited by: §1.