What would Aristotle say to Plato if Plato told him he's in the cave? Aristotle: And tell me, Plato, is the form you speak of the same or different than the form that is in the particulars I investigate?
Plato: It is different.
Aristotle: Yes, I thought you might say so, for if it were the same, then by investigating the form in the particulars I would be seeing outside of the cave, don't you think?
Plato: That sounds right to me.
Aristotle:Tell me though Plato, how is the Form different than the form in particulars?
Plato: How do you mean?
Aristotle: Well, a great action is great by partaking in greatness; isn't that so?
Plato: It is.
Aristotle: Well, if a great action partakes in the Form of greatness, and the greatness of the Form is different than the greatness of the action, then either one is not great, or the other is not great, for by being different, they differ in the form of which they either participate or are participated in.
Plato: Quite so.
Aristotle: Well then greatness is not great.
Plato: Hmm, I see. Yes, that appears to be a problem.
Aristotle: It is Plato, it is quite problematic. So you see, I think you were wrong to say that the Form is different than what partakes in it in regards to that quality that is partaken.
Plato: Yes, I must have been mistaken. So now I say that the Form is the same as what partakes in it in regards to that quality that is partaken.
Aristotle: I was afraid you would say that.
Plato: Why is that?
Aristotle: Because, if the Form of greatness is itself great in the same way that a great action is great, then it will be necessary for there to be a form that includes both the great act and the greatness that is present in the Form of greatness. And then there will need to be a form of that, and a form of that, and so on and so on.
Plato: Oh dear Aristotle, that seems quite problematic too.
Aristotle: Quite so.
___: Excuse me, excuse me, if I may interject...
Plato: Why, is that you Socrates, old friend?
Socrates: Yes, it is I, Socrates.
Aristotle: What did you wish to say?
Socrates: Just this, I think Plato was right in what he said at first, namely, that the Form is different than what partakes in it in regards to the quality that is partaken of.
Aristotle: And why is that?
Socrates: Well for just the reason you stated, if the Form is the same, then it will need a Form above it, and in that case it is not really the Form of what is partaken of it.
Aristotle: Well how will you overcome the objection that Plato and I just discussed: that greatness is not great if the form is different than that that partakes in it?
Socrates: By saying that greatness is great, Aristotle, but that the Form of greatness is great in a different way than the greatness of a great action.
Aristotle: How is that?
Socrates: A great action is great, but in a qualified way. Meanwhile, the Form of greatness is supremely great, there is nothing not great about it; it includes not only a great action, but every other greatness. By being so great, it is, as it were, a different kind of greatness than the great things and actions and qualities that partake of it.
Aristotle: Hmm, well said Socrates.
Plato: Well said indeed.