Unformatted text preview: definiens turns out not to be extensionally equivalent to the definiendum . But extensional equivalence by itself is not enough. B. The “explanatory” requirement At Euthyphro 11a-b Socrates agrees that piety is loved by all the gods, and that what all the gods love is pious, but still objects to defining piety as what all the gods love . His objection is that it is not because it is loved by the gods that a pious thing is pious. This suggests an additional requirement, that the definiens should in some way explain the definiendum : X = df ABC only if every instance of X is so because it has characteristics ABC . These two necessary conditions are probably jointly sufficient: X = df ABC iff (1) every instance of X has characteristics ABC , and everything that has characteristics ABC is an instance of X , and (2) every instance of X is an instance of X because it has characteristics ABC ....
View Full Document
- Fall '09
- Philosophy of language, Extensional definition, Mathematical terminology, definiens