 In philosophy, too, several different kinds of definitions are often in play, and definitions can serve a variety of different functions (e.g., to enhance precision and clarity). But, in philosophy, definitions have also been called in to serve a highly distinctive role: that of solving epistemological problems. For example, the epistemological status of mathematical truths raises a problem. Immanuel Kant thought that these truths are synthetic a priori, and to account for their status, he offered a theory of space and time—namely, of space and time as forms of, respectively, outer and inner sense. Gottlob Frege and Bertrand Russell sought to undermine Kant’s theory by arguing that arithmetical truths are analytic. More precisely, they attempted to construct a derivation of arithmetical principles from definitions of arithmetical concepts, using only logical laws. For the Frege-Russell project to succeed, the definitions used must have a special character. They must be conceptual or explicative of meaning; they cannot be synthetic. It is this kind of definition that has aroused, over the past century or so, the most interest and the most controversy. And it is this kind of definition that will be our primary concern. Let us begin by marking some preliminary but important distinctions.