PHAEDO

  1. Background

    A problem for the Socratic search for definitions: how do you know when a definition is correct? You have to (at least) understand the definition, i.e., you have to understand the terms in the definiens. But how do you do that? By understanding their definitions? This leads to either circularity or an infinite regress.

    The problem arises if we try to give a linguistic account of understanding. The knowledge of a definition according to such an account would have to be propositional knowledge. That is: we explain what X is by offering the definition

    X =df ABC.

    This just invites the question: how do we know that X is ABC? If we answer this by saying that we know what A, B, and C are, and if we have to explain our understanding of A, B, and C in a similar way, there is no way out.

    Plato's idea: at some point, one must invoke a kind of knowing that is not propositional - i.e., not a matter of knowing that something-or-other - but is more like knowledge by acquaintance. More graphically: one must invoke a kind of knowing that is not a matter of grasping a definition of one term by means of other terms, but of grasping the thing itself.

    This is the way recollection seems to be understood in the Phaedo. Recollection is the epistemological mechanism, and the Forms are the objects to which the mechanism is applied.

    [Plato may be right in rejecting the idea that understanding can be adequately explained in terms of knowing that, but wrong in proposing a kind of knowledge by acquaintance in its place. The proper contrast is not between knowledge by description (knowing that p) and knowledge by acquaintance (knowing x), but between knowing that and knowing how.  That is, having a concept is not a matter of being acquainted with an item available only to the gaze of an intellect, but of having certain abilities and capacities. Cf. Aristotle and Ryle.]

  2. The Theory of Forms

    1. A general metaphysical and epistemological theory. Central to all of Plato's thought, but nowhere systematically argued for. Not stated in any one dialogue; we must cull from several (but principally Phaedo and Republic).

    2. A theory of postulated abstract objects, deriving from the Socratic "What is X?" question, which presupposes that there is a single correct answer to the "What is X?" question.
      1. The correct answer is not a matter of convention, of what we all (or most of us) think.
      2. What makes such an answer correct: it is an accurate description of an independent entity, a Form.
      3. Forms are thus mind-independent entities: their existence and nature is independent of our beliefs and judgments about them.

    3. The Phaedo contains an extended description of the characteristics and functions of the forms:
      • Unchangeable (78c10-d9)
      • Eternal (79d2)
      • Intelligible, not perceptible (79a1-5)
      • Divine (80a3, b1)
      • Incorporeal (passim)
      • Causes of being ("The one over the many") (100c)
      • Are unqualifiedly what their instances are only with qualification (75b)

    4. Other dialogues fill out the picture: non-temporal (Tim. 37e-38a); non-spatial (Phaedr. 247c); they do not become, they simply are (Tim. 27d3-28a3).

    5. Phaedo 80b provides a good summary, listing all the attributes of Forms that souls also have: "divine, deathless, intelligible, uniform, indissoluble, always the same as itself."

    6. The forms are postulated to solve certain philosophical problems:

      1. Epistemological: what are the objects of knowledge? How is knowledge possible? How is knowledge distinguished from (mere) belief or opinion?

        Plato's objection to the physical universe: it's Heraclitean (as he conceived Heraclitus's theory). Objects in flux can't be known.

      2. Metaphysical: What things are real? Is there a mind-independent reality? Is there anything permanent behind the changing phenomena that can be perceived?

        The two-worlds theory: Cf. the Allegory of the Cave in Republic VII. The intelligible world is Parmenidean, the visible world is Heraclitean. Forms in the intelligible realm are postulated to be the objects of knowledge. The metaphysical theory is thus designed to fit epistemological requirements.

      3. Moral: can there be moral knowledge? Are there objective moral truths? Is morality founded in nature or convention?

        For Plato, goodness and being are intimately connected. Plato's universe is value-ridden at its very foundations: value is there from the start, not imposed upon an antiseptic, value-neutral reality by the likes of us - external imposers of value on what in itself has no intrinsic value.

      4. Semantical: what do general terms stand for? What is it that we grasp when we understand something? Cf. again the Allegory of the Cave in Republic VII.

    7. Arguments for the existence of Forms:

      Plato sometimes writes as if he takes the existence of Forms for granted, as a matter of faith. But sometimes he offers arguments for them. Three in particular are especially important. They correspond to three of the problems the Forms are supposed to solve.

      1. Argument from imperfection (Phaedo 74-76)
        [metaphysical]
      2. Argument from knowledge (Rep. 476-480)
        [epistemological]
      3. The "One over many" argument (Rep. 596, Parm. 132)
        [semantical]

        We'll look at the first of these in the Phaedo, and at the others later.

  3. The "Imperfection Argument" (Phaedo 74-76)

    This is both an argument for the existence of Forms and an argument for our possession of a priori concepts. Plato bases the argument on the imperfection of sensible objects and our ability to make judgments about those sensible objects. (The Forms are supposed to be the perfect objects that the sensibles only imperfectly approximate).

    The argument as given at Phaedo 74-76 concerns the concept of equality, but it could equally well be given with respect to a number of different concepts (any concept that might have some claim to being an a priori concept).

    The argument tries to show that we cannot abstract the concept of equality from our sense-experience of objects that are equal. For

    1. We never experience (in sense-perception) objects that are really, precisely, equal, and
    2. We must already have the concept of equality in order to judge the things we encounter in sense-perception to be approximately, imperfectly, equal.

    The argument can be schematized as follows:

    1. We perceive sensible objects to be F.
    2. But every sensible object is, at best, imperfectly F. That is, it is both F and not F (in some respect - shades of Heraclitus??). It falls short of being perfectly F.
    3. We are aware of this imperfection in the objects of perception.
    4. So we perceive objects to be imperfectly F.
    5. To perceive something as imperfectly F, one must have in mind something that is perfectly F, something that the imperfectly F things fall short of. (E.g., we have an idea of equality that all sticks, stones, etc., only imperfectly exemplify.)
    6. So we have in mind something that is perfectly F.
    7. Thus, there is something that is perfectly F (e.g., Equality), that we have in mind in such cases.
    8. Therefore, there is such a thing as the F itself (e.g., the Equal itself), and it is distinct from any sensible object.

  4. A contemporary analogue:

    The linguist Noam Chomsky describes what he calls "The Argument from the Impoverished Stimulus" as a classic rationalist argument. It notes that we classify physical shapes that we experience (written, printed, drawn, etc.) as inexact representations of geometrically perfect regular figures (squares, circles, triangles, etc.). Why don't we classify them as exact representations of irregular figures?

    The idea is that our sensory stimuli are "impoverished." We never experience perfect squares, circles, triangles, etc. Yet we have these concepts, and we classify things accordingly. How did we acquire these concepts if we have never experienced anything that they (literally) apply to?

  5. Evaluation of Plato's argument:

    The argument has two faces. Plato uses it not only (1) to establish the existence of supra-sensible Forms, but also (2) to establish that we have cognitive contact with them in a prenatal state. But we should separate these two faces of the argument. For one who was convinced that the argument shows that there must be such objects for a priori concepts might well not be convinced that the argument shows that we must have had some disembodied contact with those objects at some time before we were born.

    As an argument for prenatal contact with the Forms, the argument has obvious flaws.

    1. It leaves open the possibility that we are so constituted as to have the concept of equality - i.e., that it is wired in to our brains (or whatever). This would mean that we acquire it at birth. Plato closes this possibility off at 76d1-3: he must think it obvious that we don't have the concept at birth (since we can't use it then). We lose it at birth and regain it later, via experience. But he does not establish that we lack the concept at birth (we can't use it, but that doesn't mean we don't have it).

      In any event, he does not take this possibility seriously. He has no way to meet the (non-Platonic, anti-empiricist) claim that we have the concept wired in at birth, and hence do not have it before birth (or, at any rate, not very much before birth), and then begin to employ it (fumblingly, at first) in our early childhood bouts with sense-perception. [This is rationalism but without ante-natal existence.]

      His not taking this kind of rationalist position seriously may be due to some features his own view shares with empiricism.

      Affinities with empiricism:

      Plato has it that we derive our concept of equality from experience of objects, after all (just as the empiricist does). However, for Plato, the experience is disembodied "experience" of non-physical "objects" of contemplation - the Forms.

      Affinities with rationalism:

      Plato, like the classic 17th C. rationalists, maintains that we do not derive our concepts from sense-experience by abstraction.

      Plato's argument that our sensory judgments of (near) equality depend on our having the concept of perfect equality, and that our having such a concept depends upon there being such a thing as perfect equality (i.e., the Form The Equal Itself) for our concept to be a concept of, bears a striking similarity to other rationalist arguments. Thus, cf. Descartes (Meditations III, HR I, 166):

      For how would it be possible that I should know . . . that something is lacking in me, and that I am not quite perfect, unless I had within me some idea of a Being more perfect than myself, in comparison with which I should recognize the deficiencies of my nature?

      The structure of the argument is the same as Plato's:

      1. I judge myself to be imperfect.
      2. That is, I judge myself to lack perfection.
      3. Hence, I have the idea of perfection.
      4. Hence, there is a being that this idea is an idea of.

        [There is an added wrinkle in Descartes' case: (4) is not deduced directly from (3) but rather by appeal to the principle of the reality of that of which we have a clear and distinct idea and the claim that our idea of perfection is clear and distinct. Plato echoes Parmenides in deducing (4) from (3).]

    2. A second flaw in the argument:

      Socrates notes that in the case of "sensible equals," you see their imperfection - their "falling short" of Equality Itself, which they "strive to be like." The sensible equals, nevertheless, "make you think of" (ennoein, 74d1, lit. "put you in mind of") Equality itself. "And this must be a case of recollection," says Socrates.

      But "making one think of" or "putting one in mind of" is not the same as, and does not entail, reminding one of. A 2:15 marathon puts me in mind of, i.e., gives me the idea of, a 1:30 marathon, but it hardly reminds me of it. I can't be reminded of what I've never experienced, but I certainly can be put in mind of such a thing. At least, Plato has no right to assume the contrary.


Go to next lecture on Forms as objects of knowledge

Go to previous lecture on Meno's Paradox.

Need a quick review of the Theory of Forms?  Click here.

  Return to the PHIL 320 Home Page


Copyright © 2000, S. Marc Cohen