Phaedo

#
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 inv…