7.1: What Epistemology Studies
- Page ID
- 162171
\( \newcommand{\vecs}[1]{\overset { \scriptstyle \rightharpoonup} {\mathbf{#1}} } \)
\( \newcommand{\vecd}[1]{\overset{-\!-\!\rightharpoonup}{\vphantom{a}\smash {#1}}} \)
\( \newcommand{\id}{\mathrm{id}}\) \( \newcommand{\Span}{\mathrm{span}}\)
( \newcommand{\kernel}{\mathrm{null}\,}\) \( \newcommand{\range}{\mathrm{range}\,}\)
\( \newcommand{\RealPart}{\mathrm{Re}}\) \( \newcommand{\ImaginaryPart}{\mathrm{Im}}\)
\( \newcommand{\Argument}{\mathrm{Arg}}\) \( \newcommand{\norm}[1]{\| #1 \|}\)
\( \newcommand{\inner}[2]{\langle #1, #2 \rangle}\)
\( \newcommand{\Span}{\mathrm{span}}\)
\( \newcommand{\id}{\mathrm{id}}\)
\( \newcommand{\Span}{\mathrm{span}}\)
\( \newcommand{\kernel}{\mathrm{null}\,}\)
\( \newcommand{\range}{\mathrm{range}\,}\)
\( \newcommand{\RealPart}{\mathrm{Re}}\)
\( \newcommand{\ImaginaryPart}{\mathrm{Im}}\)
\( \newcommand{\Argument}{\mathrm{Arg}}\)
\( \newcommand{\norm}[1]{\| #1 \|}\)
\( \newcommand{\inner}[2]{\langle #1, #2 \rangle}\)
\( \newcommand{\Span}{\mathrm{span}}\) \( \newcommand{\AA}{\unicode[.8,0]{x212B}}\)
\( \newcommand{\vectorA}[1]{\vec{#1}} % arrow\)
\( \newcommand{\vectorAt}[1]{\vec{\text{#1}}} % arrow\)
\( \newcommand{\vectorB}[1]{\overset { \scriptstyle \rightharpoonup} {\mathbf{#1}} } \)
\( \newcommand{\vectorC}[1]{\textbf{#1}} \)
\( \newcommand{\vectorD}[1]{\overrightarrow{#1}} \)
\( \newcommand{\vectorDt}[1]{\overrightarrow{\text{#1}}} \)
\( \newcommand{\vectE}[1]{\overset{-\!-\!\rightharpoonup}{\vphantom{a}\smash{\mathbf {#1}}}} \)
\( \newcommand{\vecs}[1]{\overset { \scriptstyle \rightharpoonup} {\mathbf{#1}} } \)
\( \newcommand{\vecd}[1]{\overset{-\!-\!\rightharpoonup}{\vphantom{a}\smash {#1}}} \)
\(\newcommand{\avec}{\mathbf a}\) \(\newcommand{\bvec}{\mathbf b}\) \(\newcommand{\cvec}{\mathbf c}\) \(\newcommand{\dvec}{\mathbf d}\) \(\newcommand{\dtil}{\widetilde{\mathbf d}}\) \(\newcommand{\evec}{\mathbf e}\) \(\newcommand{\fvec}{\mathbf f}\) \(\newcommand{\nvec}{\mathbf n}\) \(\newcommand{\pvec}{\mathbf p}\) \(\newcommand{\qvec}{\mathbf q}\) \(\newcommand{\svec}{\mathbf s}\) \(\newcommand{\tvec}{\mathbf t}\) \(\newcommand{\uvec}{\mathbf u}\) \(\newcommand{\vvec}{\mathbf v}\) \(\newcommand{\wvec}{\mathbf w}\) \(\newcommand{\xvec}{\mathbf x}\) \(\newcommand{\yvec}{\mathbf y}\) \(\newcommand{\zvec}{\mathbf z}\) \(\newcommand{\rvec}{\mathbf r}\) \(\newcommand{\mvec}{\mathbf m}\) \(\newcommand{\zerovec}{\mathbf 0}\) \(\newcommand{\onevec}{\mathbf 1}\) \(\newcommand{\real}{\mathbb R}\) \(\newcommand{\twovec}[2]{\left[\begin{array}{r}#1 \\ #2 \end{array}\right]}\) \(\newcommand{\ctwovec}[2]{\left[\begin{array}{c}#1 \\ #2 \end{array}\right]}\) \(\newcommand{\threevec}[3]{\left[\begin{array}{r}#1 \\ #2 \\ #3 \end{array}\right]}\) \(\newcommand{\cthreevec}[3]{\left[\begin{array}{c}#1 \\ #2 \\ #3 \end{array}\right]}\) \(\newcommand{\fourvec}[4]{\left[\begin{array}{r}#1 \\ #2 \\ #3 \\ #4 \end{array}\right]}\) \(\newcommand{\cfourvec}[4]{\left[\begin{array}{c}#1 \\ #2 \\ #3 \\ #4 \end{array}\right]}\) \(\newcommand{\fivevec}[5]{\left[\begin{array}{r}#1 \\ #2 \\ #3 \\ #4 \\ #5 \\ \end{array}\right]}\) \(\newcommand{\cfivevec}[5]{\left[\begin{array}{c}#1 \\ #2 \\ #3 \\ #4 \\ #5 \\ \end{array}\right]}\) \(\newcommand{\mattwo}[4]{\left[\begin{array}{rr}#1 \amp #2 \\ #3 \amp #4 \\ \end{array}\right]}\) \(\newcommand{\laspan}[1]{\text{Span}\{#1\}}\) \(\newcommand{\bcal}{\cal B}\) \(\newcommand{\ccal}{\cal C}\) \(\newcommand{\scal}{\cal S}\) \(\newcommand{\wcal}{\cal W}\) \(\newcommand{\ecal}{\cal E}\) \(\newcommand{\coords}[2]{\left\{#1\right\}_{#2}}\) \(\newcommand{\gray}[1]{\color{gray}{#1}}\) \(\newcommand{\lgray}[1]{\color{lightgray}{#1}}\) \(\newcommand{\rank}{\operatorname{rank}}\) \(\newcommand{\row}{\text{Row}}\) \(\newcommand{\col}{\text{Col}}\) \(\renewcommand{\row}{\text{Row}}\) \(\newcommand{\nul}{\text{Nul}}\) \(\newcommand{\var}{\text{Var}}\) \(\newcommand{\corr}{\text{corr}}\) \(\newcommand{\len}[1]{\left|#1\right|}\) \(\newcommand{\bbar}{\overline{\bvec}}\) \(\newcommand{\bhat}{\widehat{\bvec}}\) \(\newcommand{\bperp}{\bvec^\perp}\) \(\newcommand{\xhat}{\widehat{\xvec}}\) \(\newcommand{\vhat}{\widehat{\vvec}}\) \(\newcommand{\uhat}{\widehat{\uvec}}\) \(\newcommand{\what}{\widehat{\wvec}}\) \(\newcommand{\Sighat}{\widehat{\Sigma}}\) \(\newcommand{\lt}{<}\) \(\newcommand{\gt}{>}\) \(\newcommand{\amp}{&}\) \(\definecolor{fillinmathshade}{gray}{0.9}\)By the end of this section, you will be able to:
- Describe the study of epistemology.
- Explain how the counterexample method works in conceptual analysis.
- Explain the difference between a priori and a posteriori knowledge.
- Categorize knowledge as either propositional, procedural, or by acquaintance.
The word epistemology is derived from the Greek words episteme, meaning “knowledge,” and logos, meaning “explanation” and translated in suffix form (-logia) as “the study of.” Hence, epistemology is the study of knowledge. Epistemology focuses on what knowledge is as well as what types of knowledge there are. Because knowledge is a complex concept, epistemology also includes the study of the possibility of justification, the sources and nature of justification, the sources of beliefs, and the nature of truth.
How to Do Epistemology
Like other areas within philosophy, epistemology begins with the philosophical method of doubting and asking questions. What if everything we think we know is false? Can we be sure of the truth of our beliefs? What does it even mean for a belief to be true? Philosophers ask questions about the nature and possibility of knowledge and related concepts and then craft possible answers. But because of the nature of philosophical investigation, simply offering answers is never enough. Philosophers also try to identify problems with those answers, formulate possible solutions to those problems, and look for counterarguments. For example, in questioning the possibility of knowledge, philosophers imagine ways the world could be such that our beliefs are false and then try to determine whether we can rule out the possibility that the world really is this way. What if there’s a powerful evil demon who feeds you all your conscious experiences, making you believe you are currently reading a philosophy text when in fact you are not? How could you rule this out? And if you can’t rule it out, what does this say about the concept of knowledge?
In answering epistemological questions, theorists utilize arguments. Philosophers also offer counterexamples to assess theories and positions. And many philosophers utilize research to apply epistemological concerns to current issues and other areas of study. These are the tools used in epistemological investigation: arguments, conceptual analysis, counterexamples, and research.
Conceptual Analysis and Counterexamples
One of the main questions within epistemology pertains to the nature of the concepts of knowledge, justification, and truth. Analyzing what concepts mean is the practice of conceptual analysis. The idea is that we can answer questions like “What is knowledge?” and “What is truth?” by using our grasp of the relevant concepts. When investigating a concept, theorists attempt to identify the essential features of the concept, or its necessary conditions. So, when investigating knowledge, theorists work to identify features that all instances of knowledge share. But researchers are not only interested in isolating the necessary conditions for concepts such as knowledge; they also want to determine what set of conditions, when taken together, always amounts to knowledge—that is, its sufficient conditions. Conceptual analysis is an important element of doing philosophy, particularly epistemology. When doing conceptual analysis, theorists actively endeavor to come up with counterexamples to proposed definitions. A counterexample is a case that illustrates that a statement, definition, or argument is flawed.
CONNECTIONS
The introductory chapter provides an in-depth exploration of conceptual analysis. Counterexamples are discussed in the chapter on logic and reasoning.
Counterexamples to definitions in epistemology usually take the form of hypothetical cases—thought experiments intended to show that a definition includes features that are either not necessary or not sufficient for the concept. If a counterexample works to defeat an analysis, then theorists will amend the analysis, offer a new definition, and start the process over again. The counterexample method is part of the philosophical practice of getting closer to an accurate account of a concept. Understanding the process of conceptual analysis is key to following the debate in epistemological theorizing about knowledge and justification.
For example, a theorist could contend that certainty is a necessary component of knowledge: if a person were not completely certain of a belief, then they could not be said to know the belief, even if the belief were true. To argue against this “certainty” theory, another philosopher could offer examples of true beliefs that aren’t quite certain but are nevertheless considered to be knowledge. For example, take my current belief that there’s a bird on a branch outside my office window. I believe this because I can see the bird and I trust my vision. Is it possible that I am wrong? Yes. I could be hallucinating, or the so-called bird may be a decoy (a fake stuffed bird). But let’s grant that there is indeed a real bird on the branch and that “there is a bird on that branch” is true right now. Can I say that I know there is a bird on the branch, given that I believe it, it’s true, and I have good reason to believe it? If yes, then the “certainty” thesis is flawed. Certainty is not necessary to have knowledge. This chapter includes several examples such as this, where a theorist offers an example to undermine a particular account of knowledge or justification.
Arguments
As with all areas of philosophy, epistemology relies on the use of argumentation. As explained in the chapter on logic and reasoning, argumentation involves offering reasons in support of a conclusion. The aforementioned counterexample method is a type of argumentation, the aim of which is to prove that an analysis or definition is flawed. Here is an example of a structured argument:
- Testimonial injustice occurs when the opinions of individuals/groups are unfairly ignored or treated as untrustworthy.
- If the testimony of women in criminal court cases is less likely to be believed than that of men, then this is unfair.
- So, if the testimony of women in criminal court cases is less likely to be believed than that of men, this is a case of testimonial injustice.
The above argument links the general concept of testimonial injustice to a specific possible real-world scenario: women being treated as less believable by a jury. If women are considered less believable, then it is problematic.
Research
Notice that the above argument does not say that women are in fact considered less believable. To establish this thesis, philosophers can offer further arguments. Often, arguments utilize empirical research. If a theorist can find studies that indicate that women are treated less seriously than men in general, then they can argue that this attitude would extend to the courtroom. Philosophers often search for and utilize research from other areas of study. The research used can be wide-ranging. Epistemologists may use research from psychology, sociology, economics, medicine, or criminal justice. In the social and hard sciences, the goal is to accurately describe trends and phenomena. And this is where philosophy differs from the sciences—for epistemology, the goal is not only to describe but also to prescribe. Philosophers can argue that unjustifiably discounting the opinions of groups is bad and to be avoided. Hence, epistemology is a normative discipline.
The Normative Nature of Epistemology
This chapter began with the observation that knowledge is the goal of many disciplines. If knowledge is a goal, then it is desirable. Humans do not like being proven wrong in their beliefs. Possessing justification in the form of reasons and support for beliefs makes a person less likely to be wrong. Hence, both justification and knowledge are valuable. If knowledge is valuable and there are proper methods of justification that we should follow, then epistemology turns out to be a normative discipline. Normativity is the assumption that certain actions, beliefs, or other mental states are good and ought to be pursued or realized. One way to think of epistemology is that in describing what knowledge, truth, and justification are, it further prescribes the proper way to form beliefs. And we do treat knowledge as valuable and further judge others according to the justification for their beliefs.
A Preliminary Look at Knowledge
Because the concept of knowledge is so central to epistemological theorizing, it is necessary to briefly discuss knowledge before proceeding. Knowledge enjoys a special status among beliefs and mental states. To say that a person knows something directly implies that the person is not wrong, so knowledge implies truth. But knowledge is more than just truth. Knowledge also implies effort—that the person who has knowledge did more than just form a belief; they somehow earned it. Often, in epistemology, this is understood as justification. These features of knowledge are important to keep in mind as we continue. First, we will look at the different ways of knowing.
Ways of Knowing
The distinction between a priori knowledge and a posteriori knowledge reveals something important about the possible ways a person can gain knowledge. Most knowledge requires experience in the world, although some knowledge without experience is also possible. A priori knowledge is knowledge that can be gained using reason alone. The acquisition of a priori knowledge does not depend on experience. One way to think of a priori knowledge is that it is logically prior to experience, which does not necessarily mean that it is always prior in time to experience. Knowledge that exists before experience (prior in time) is innate knowledge, or knowledge that one is somehow born with. Theorists disagree over whether innate knowledge exists. But many theorists agree that people can come to know things by merely thinking. For example, one can know that \(4 \times 2 = 8\) without needing to search for outside evidence.
A posteriori knowledge is knowledge that can only be gained through experience. Because a posteriori knowledge depends on experience, it is empirical. Something is empirical if it is based on and verifiable through observation and experience, so empirical knowledge is knowledge gained from sense perception. If my belief that there’s a bird on the branch outside my window is knowledge, it would be a posteriori knowledge. The difference between a posteriori and a priori knowledge is that the former requires experience and the latter does not.
While a priori knowledge does not require experience, this does not mean that it must always be reached using reason alone. A priori knowledge can be learned through experience. Think of mathematical truths. While it is possible to figure out multiplication using thinking alone, many first understand it empirically by memorizing multiplication tables and only later come to understand why the operations work the way they do.
Things You Can Know: Types of Knowledge
Philosophers classify knowledge not only by source but also by type. Propositional knowledge is knowledge of propositions or statements. A proposition or statement is a declarative sentence with a truth value—that is, a sentence that is either true or false. If one knows a statement, that means that the statement is true. And true statements about the world are usually called facts. Hence, propositional knowledge is best thought of as knowledge of facts. Facts about the world are infinite. It is a fact that the square root of 9 is 3. It is a fact that Earth is round. It is a fact that the author of this chapter is five feet, one inch tall, and it is a fact that Nairobi is the capital of Kenya. Often, philosophers describe propositional knowledge as “knowledge that,” and if you look at the structure of the previous sentences, you can see why. Someone can know that Nairobi is the capital of Kenya, and “Nairobi is the capital of Kenya” is a true proposition. Propositional knowledge can be a priori or a posteriori. Knowledge of our own height is clearly a posteriori because we cannot know this without measuring ourselves. But knowing that 3 is the square root of 9 is a priori, given that it’s possible for a person to reason their way to this belief. Propositional knowledge is the primary focus of traditional epistemology. In the following sections of this chapter, keep in mind that knowledge refers to propositional knowledge.
While traditional epistemology focuses on propositional knowledge, other types of knowledge exist. Procedural knowledge is best understood as know-how. Procedural knowledge involves the ability to perform some task successfully. While a person may know that a bicycle stays erect using centrifugal force and forward momentum caused by peddling, and that the forces of friction and air resistance will affect their speed, this does not mean that they know how to ride a bicycle. Having propositional knowledge concerning a task does not guarantee that one has procedural knowledge of that task. Indeed, one could be a physicist who studies the forces involved in keeping a bike upright, and therefore know many facts about bicycles, but still not know how to ride a bike.
Knowledge by acquaintance is knowledge gained from direct experience. A person knows something by acquaintance when they are directly aware of that thing. This awareness comes from direct perception using one’s senses. For example, I have knowledge by acquaintance of pain when I am in pain. I am directly aware of the pain, so I cannot be mistaken about the existence of the pain.
British philosopher Bertrand Russell (1872–1970) is credited with first articulating a distinction between knowledge by acquaintance and propositional knowledge, which he called knowledge by description (Russell 1910–1911). According to Russell, knowledge by acquaintance is a direct form of knowledge. A person has knowledge by acquaintance when they have direct cognitive awareness of it, which is awareness absent of inference. That knowledge by acquaintance is not the product of inference is very important. Inference is a stepwise process of reasoning that moves from one idea to another. When I feel pain, I am acquainted with that pain without thinking to myself, “I am in pain.” No inference is required on my part for me to know of my pain. I am simply aware of it. It is the directness of this knowledge that differentiates it from all other a posteriori knowledge. All knowledge by acquaintance is a posteriori, but not all a posteriori knowledge is knowledge by acquaintance. My awareness of pain is knowledge by acquaintance, yet when I infer that “something is causing me pain,” this belief is propositional.
Russell’s distinction between knowledge by acquaintance and propositional knowledge, if accurate, has important implications in epistemology. It shows that inference is used even in cases of beliefs that people think are obvious: ordinary beliefs based on perception. Russell thought that one can only have knowledge by acquaintance of one’s sensations and cannot have direct awareness of the objects that could be the cause of those sensations. This is a significant point. When I see the bird on a branch outside my office window, I am not immediately aware of the bird itself. Rather, I am directly aware of my perceptual experience of the bird—what philosophers call sense data. Sense data are sensations gained from perceptual experience; they are the raw data obtained through the senses (seeing, smelling, feeling, etc.). One’s perceptual experience is of sense data, not of the objects that could be causing that sense data. People infer the existence of external objects that they believe cause their perceptual experiences. Russell’s view implies that people always use reasoning to access the external world. I have knowledge by acquaintance of my perceptual experience of seeing a bird; I then infer ever so quickly (and often unconsciously) that there is a bird on the branch, which is propositional knowledge.
Not all philosophers think that experience of the external world is mediated through sense data. Some philosophers contend that people can directly perceive objects in the external world. But Russell’s theory introduces an important possibility in epistemological thinking: that there is a gap between one’s experience of the world and the world itself. This potential gap opens up the possibility for error. The gap between experience and the world is used by some thinkers to argue that knowledge of the external world is impossible.
Table 7.1 summarizes the types of knowledge discussed in this section.
Type | Description | Examples |
---|---|---|
Propositional knowledge | Knowledge of propositions or statements; knowledge of facts | Examples are infinite: “I know that…” the Earth is round, two is an even number, lions are carnivores, grass is green, etc. |
Procedural knowledge | “Know-how”; understanding how to perform some task or procedure | Knowing how to ride a bicycle, do a cartwheel, knit, fix a flat tire, dribble a basketball, plant a tree, etc. |
Knowledge by acquaintance | Knowledge gained from direct experience | Perception of physical sensations, such as pain, heat, cold, hunger; important to differentiate between the knowledge by acquaintance that is the sensation (e.g., a physical sensation of feeling cold) and related inferences, such as “the air temperature must be dropping,” which is propositional knowledge. |
Table 7.1 Types of Knowledge
Truth
Philosophers who argue that knowledge of the external world is impossible do so based on the idea that one can never be certain of the truth of one’s external world beliefs. But what does it mean to claim that a belief is true? People are sometimes tempted to believe that truth is relative. A person may say things like “Well, that’s just their truth” as if something can be true for one person and not for others. Yet for statements and propositions, there is only one truth value. One person can believe that Earth is flat while another can believe is it round, but only one of them is right. People do not each personally get to decide whether a statement is true. Furthermore, just because one has no way of determining whether a statement is true or false does not mean that there is no truth to the matter. For example, you probably don’t quite know how to go about determining the exact number of blades of grass on the White House lawn, but this does not mean that there is no true answer to the question. It is true that there is a specific number of blades of grass at this moment, even if you cannot know what that number is.
But what does it mean for a statement to be true? At first, this question may seem silly. The meaning of truth is obvious. True things are correct, factual, and accurate. But to say that something is correct, factual, or accurate is just another way of saying it is true. Factual just means “true.” Creating a noncircular and illuminating account of truth is a difficult task. Nevertheless, philosophers attempt to explain truth. Philosophers often are curious about and question concepts that most people accept as obvious, and truth is no exception.
Theories of truth and the debate over them are a rather complicated matter not suitable for an introductory text. Instead, let’s briefly consider two ways of understanding truth in order to gain a general understanding of what truth is. Aristotle claimed that a true statement is one that says of something that it is what it is or that it is not what it is not (Aristotle 1989). A possible interpretation of Aristotle’s idea is that “A is B” is true if and only if A is B. Notice that this simply removes the quotations around the proposition. The idea is simple: the statement “Dogs are mammals” is true if dogs are mammals.
Another way of understanding truth is as a correspondence between statements and the world. The correspondence theory of truth proposes that a statement is true if and only if that statement corresponds to some fact (David 2015). A fact is a state of affairs in the world—an arrangement of objects and properties in reality—so the statement “The dog is under the bed” is true if and only if there exists in the world a dog and a bed and the dog is related to the bed by being underneath it. The correspondence theory of truth makes truth a relation between statements and the world. If statements are appropriately related to the world—if they correspond to the world—then those statements can be said to be true.