5.6: Philosophers and Knowledge of the Forms
- Page ID
- 94532
\( \newcommand{\vecs}[1]{\overset { \scriptstyle \rightharpoonup} {\mathbf{#1}} } \)
\( \newcommand{\vecd}[1]{\overset{-\!-\!\rightharpoonup}{\vphantom{a}\smash {#1}}} \)
\( \newcommand{\id}{\mathrm{id}}\) \( \newcommand{\Span}{\mathrm{span}}\)
( \newcommand{\kernel}{\mathrm{null}\,}\) \( \newcommand{\range}{\mathrm{range}\,}\)
\( \newcommand{\RealPart}{\mathrm{Re}}\) \( \newcommand{\ImaginaryPart}{\mathrm{Im}}\)
\( \newcommand{\Argument}{\mathrm{Arg}}\) \( \newcommand{\norm}[1]{\| #1 \|}\)
\( \newcommand{\inner}[2]{\langle #1, #2 \rangle}\)
\( \newcommand{\Span}{\mathrm{span}}\)
\( \newcommand{\id}{\mathrm{id}}\)
\( \newcommand{\Span}{\mathrm{span}}\)
\( \newcommand{\kernel}{\mathrm{null}\,}\)
\( \newcommand{\range}{\mathrm{range}\,}\)
\( \newcommand{\RealPart}{\mathrm{Re}}\)
\( \newcommand{\ImaginaryPart}{\mathrm{Im}}\)
\( \newcommand{\Argument}{\mathrm{Arg}}\)
\( \newcommand{\norm}[1]{\| #1 \|}\)
\( \newcommand{\inner}[2]{\langle #1, #2 \rangle}\)
\( \newcommand{\Span}{\mathrm{span}}\) \( \newcommand{\AA}{\unicode[.8,0]{x212B}}\)
\( \newcommand{\vectorA}[1]{\vec{#1}} % arrow\)
\( \newcommand{\vectorAt}[1]{\vec{\text{#1}}} % arrow\)
\( \newcommand{\vectorB}[1]{\overset { \scriptstyle \rightharpoonup} {\mathbf{#1}} } \)
\( \newcommand{\vectorC}[1]{\textbf{#1}} \)
\( \newcommand{\vectorD}[1]{\overrightarrow{#1}} \)
\( \newcommand{\vectorDt}[1]{\overrightarrow{\text{#1}}} \)
\( \newcommand{\vectE}[1]{\overset{-\!-\!\rightharpoonup}{\vphantom{a}\smash{\mathbf {#1}}}} \)
\( \newcommand{\vecs}[1]{\overset { \scriptstyle \rightharpoonup} {\mathbf{#1}} } \)
\( \newcommand{\vecd}[1]{\overset{-\!-\!\rightharpoonup}{\vphantom{a}\smash {#1}}} \)
\(\newcommand{\avec}{\mathbf a}\) \(\newcommand{\bvec}{\mathbf b}\) \(\newcommand{\cvec}{\mathbf c}\) \(\newcommand{\dvec}{\mathbf d}\) \(\newcommand{\dtil}{\widetilde{\mathbf d}}\) \(\newcommand{\evec}{\mathbf e}\) \(\newcommand{\fvec}{\mathbf f}\) \(\newcommand{\nvec}{\mathbf n}\) \(\newcommand{\pvec}{\mathbf p}\) \(\newcommand{\qvec}{\mathbf q}\) \(\newcommand{\svec}{\mathbf s}\) \(\newcommand{\tvec}{\mathbf t}\) \(\newcommand{\uvec}{\mathbf u}\) \(\newcommand{\vvec}{\mathbf v}\) \(\newcommand{\wvec}{\mathbf w}\) \(\newcommand{\xvec}{\mathbf x}\) \(\newcommand{\yvec}{\mathbf y}\) \(\newcommand{\zvec}{\mathbf z}\) \(\newcommand{\rvec}{\mathbf r}\) \(\newcommand{\mvec}{\mathbf m}\) \(\newcommand{\zerovec}{\mathbf 0}\) \(\newcommand{\onevec}{\mathbf 1}\) \(\newcommand{\real}{\mathbb R}\) \(\newcommand{\twovec}[2]{\left[\begin{array}{r}#1 \\ #2 \end{array}\right]}\) \(\newcommand{\ctwovec}[2]{\left[\begin{array}{c}#1 \\ #2 \end{array}\right]}\) \(\newcommand{\threevec}[3]{\left[\begin{array}{r}#1 \\ #2 \\ #3 \end{array}\right]}\) \(\newcommand{\cthreevec}[3]{\left[\begin{array}{c}#1 \\ #2 \\ #3 \end{array}\right]}\) \(\newcommand{\fourvec}[4]{\left[\begin{array}{r}#1 \\ #2 \\ #3 \\ #4 \end{array}\right]}\) \(\newcommand{\cfourvec}[4]{\left[\begin{array}{c}#1 \\ #2 \\ #3 \\ #4 \end{array}\right]}\) \(\newcommand{\fivevec}[5]{\left[\begin{array}{r}#1 \\ #2 \\ #3 \\ #4 \\ #5 \\ \end{array}\right]}\) \(\newcommand{\cfivevec}[5]{\left[\begin{array}{c}#1 \\ #2 \\ #3 \\ #4 \\ #5 \\ \end{array}\right]}\) \(\newcommand{\mattwo}[4]{\left[\begin{array}{rr}#1 \amp #2 \\ #3 \amp #4 \\ \end{array}\right]}\) \(\newcommand{\laspan}[1]{\text{Span}\{#1\}}\) \(\newcommand{\bcal}{\cal B}\) \(\newcommand{\ccal}{\cal C}\) \(\newcommand{\scal}{\cal S}\) \(\newcommand{\wcal}{\cal W}\) \(\newcommand{\ecal}{\cal E}\) \(\newcommand{\coords}[2]{\left\{#1\right\}_{#2}}\) \(\newcommand{\gray}[1]{\color{gray}{#1}}\) \(\newcommand{\lgray}[1]{\color{lightgray}{#1}}\) \(\newcommand{\rank}{\operatorname{rank}}\) \(\newcommand{\row}{\text{Row}}\) \(\newcommand{\col}{\text{Col}}\) \(\renewcommand{\row}{\text{Row}}\) \(\newcommand{\nul}{\text{Nul}}\) \(\newcommand{\var}{\text{Var}}\) \(\newcommand{\corr}{\text{corr}}\) \(\newcommand{\len}[1]{\left|#1\right|}\) \(\newcommand{\bbar}{\overline{\bvec}}\) \(\newcommand{\bhat}{\widehat{\bvec}}\) \(\newcommand{\bperp}{\bvec^\perp}\) \(\newcommand{\xhat}{\widehat{\xvec}}\) \(\newcommand{\vhat}{\widehat{\vvec}}\) \(\newcommand{\uhat}{\widehat{\uvec}}\) \(\newcommand{\what}{\widehat{\wvec}}\) \(\newcommand{\Sighat}{\widehat{\Sigma}}\) \(\newcommand{\lt}{<}\) \(\newcommand{\gt}{>}\) \(\newcommand{\amp}{&}\) \(\definecolor{fillinmathshade}{gray}{0.9}\)See 472a-480a. When asked how it is possible for the just city they have been describing to come into being, Socrates answers that it is not possible unless the rulers become “philosophers” (literally, lovers of wisdom). But what are philosophers? People who are “ready and willing to taste every kind of learning” and are “insatiable for it”; people who are “lovers of seeing the truth”; and above all, people who “are passionately devoted to and love the things with which knowledge deals,” the “forms.” What are these things seen and embraced by the philosophers, these forms? Socrates encourages us to consider one of them, “the beautiful itself.” Unlike “the many beautiful things” (this particular person, that particular song, etc.), which, depending upon one’s point of view, appear in some respects to be beautiful and yet in other respects ugly – or in fancy language, “partake in both being and not being” with respect to beauty – the beautiful itself “is” beautiful “completely.” People who fail to see and embrace the form of the beautiful may think they know what they are talking about when they say that this person is beautiful or that song is beautiful, but they have mere “belief”; only the person who grasps the form, who truly understands the nature of beauty, has “knowledge.” This is an early statement of a position that philosophers have come to call realism about universals. A modern day proponent of this view might explain it this way: Certain things exist, “universals” such as what it is to be beautiful, what it is to be green, what it is to be three in number, or what it is to be a knife. These things are capable, typically, of having “particular instances,” such as this beautiful face, that green leaf, those three pebbles, or the knife on the table, and it is in virtue of sharing a universal feature that particulars are correctly said to be similar. (Not that every universal must have instances: e.g., what it is to be a square circle, or what it is to be nonexistent.) Universals exist independent of their instances; what it is to be a dinosaur, for example, still exists even though dinosaurs don’t. Universals also exist independent of our minds; what it is to be a dinosaur existed before human beings ever imagined dinosaurs and will continue to exist should we ever cease to think about them. Finally, universals are the sort of thing that can be known, and to know such a thing is to understand the essence of an aspect of reality. With this topic we reach the midpoint of the Republic.
-
What would be an example of something you “believe” but don’t “know” (in Socrates’ sense of these terms)?
-
Suppose someone were to object that there are no such things as forms in Socrates’ sense of the term; there are of course words and phrases such as “beautiful,” “green,” “three in number,” “knife,” and “just,” but these are merely labels of our devising, manmade things that have no existence outside of the community of English speakers. How might Socratesreply?
-
Suppose someone were to object that there are no such things as forms in Socrates’ sense of the term; there are of course general concepts, thoughts in the mind, such as beauty, greenness, the number three, the concept of a knife, and the concept of justice, but these, being thoughts in the mind, have no existence outside the mind. How might Socrates reply?
-
For things that depend upon the mind in order to exist, either because they are themselves mental (thoughts, desires, fears, etc.) or because they result from our mental activity (jokes, loaves of bread, baseball games), could the forms of these things exist eternally, independent of our minds? Is there the form of a baseball game? If so, what happens when the rules of the game change? Must there be a different form corresponding to the different sets of rules? Did the form of a baseball game exist before the game was invented?
-
Is it not a truism that “beauty is in the eye of the beholder”? If so, how can there be a form of beauty, independent of our minds, with a nature that is timelessly fixed? (Here is one way this is conceivable: Suppose the form of beauty were the sort of thing philosophers call a relation. You might consider, by comparison, what it is to be a mother, what it is to be taller, or what it is to be underneath. These forms each relate two or more things. The motherhood relation is between a woman and one or more of her children. The taller relation is between two or more vertical objects. The underneath relation is between two or more objects set atop one another. Might beauty not also be some sort of relation, a response or interaction of a certain sort, between persons on the one hand and things perceived or imagined on the other? If so, then there would be no contradiction between there being a timeless nature to beauty on the one hand, and people disagreeing about what things are beautiful on the other. For just as a woman may be mother to one person but not to another, something may be beautiful to one person but not to another. The things being related change, but the relation itself remains unchanged.)