Conceptual analysis is the philosophical study of concepts. It can be approached in a variety of ways, but one common strategy is to try to formulate a theoretical definition that clarifies the concept and improves our understanding. In order to do this, of course, we need to know how to construct useful definitions. There are at least three ways to define a concept:
Necessary conditions are conditions that must be met in order for something to be the case. For example, the presence of clouds is a necessary condition for rain to occur: there must be clouds in order for it to rain. Similarly, truth and belief are necessary conditions for knowledge—conditions that are required in order to have knowledge. In order to know that it is raining, you must believe that it is raining and your belief must be true. You can’t know something that is false, nor can you know a truth that you don’t believe.
Sufficient conditions are conditions that are enough to ensure that something is the case. Rain is a sufficient condition for cloudiness, because the occurrence of rain is enough to guarantee that clouds are present. In contrast, the presence of clouds is not a sufficient condition for rain to occur, because it can be cloudy without raining. Likewise, truth and belief are not sufficient for knowledge, because you can believe a truth without really knowing it. If your belief that it will be sunny tomorrow is just a lucky guess, rather than a well-founded belief based on good evidence (such as a weather forecast), then you don’t really know it will be sunny even if your belief turns out to be true.
To define a concept using necessary and sufficient conditions, we need to specify a set of individually necessary and jointly sufficient conditions in which the concept applies. A set of conditions is individually necessary when each condition in the set must be satisfied. For example, in order for something to be a square, it must satisfy each of the following conditions:
Each of those conditions, individually, must be satisfied in order for something to be a square. If something fails to satisfy any one of those six conditions, then it’s not a square.
On the other hand, none of those conditions is sufficient on its own. Merely having four sides, for example, isn’t enough to ensure that a something is a square. It could be any kind of quadrilateral—a trapezoid, perhaps. Similarly, having four sides of equal length isn’t enough. The shape could be a rhombus instead. When all six of the above conditions are taken together, however, they are sufficient. Anything that satisfies all of those conditions is definitely a square. No further conditions are needed. So, the above six conditions are jointly sufficient—that is, they constitute a sufficient condition when taken together.
Each of the above six conditions is necessary for something to be square, and together they are sufficient. That set of individually necessary and jointly sufficient conditions provides a definition for the concept of a square: a square can be defined as anything that meets those six conditions. Individually necessary and jointly sufficient conditions can be expressed using the phrase “if and only if.” For example, we can say that something is a square if and only if it lies on a flat plane and has exactly four straight sides of equal length that form a closed path and meet at right angles. The phrase if and only if is used frequently in philosophical writing, especially when defining concepts, and is often abbreviated iff.
Philosophers often try to define foundational concepts—such as knowledge—in a similar way, by identifying a set of individually necessary and jointly sufficient conditions. Even when such attempts fail, their failure may lead to new insights, as we’ll see on the next page.