Skip to content

Theories of Truth and Knowledge

Welcome, Knowledge Explorers!

Sofia waving welcome In the last chapter, we discovered that knowledge requires more than just belief — it demands truth and justification. But what exactly is truth? Philosophers have debated this question for millennia, and there is no single answer that satisfies everyone. But how do we know which theory of truth is the right one — or whether there even is a right one? Let's find out together as we explore the fascinating landscape of truth, knowledge, and the challenges that arise when we try to define them.

Summary

Explores competing theories of truth — correspondence, coherence, and pragmatic — and the classical definition of knowledge as justified true belief. Students examine the Gettier Problem, fallibilism, and epistemic humility, while distinguishing between propositional, procedural, and acquaintance knowledge, and between a priori and a posteriori reasoning.

Concepts Covered

This chapter covers the following 15 concepts from the learning graph:

  1. Correspondence Theory
  2. Coherence Theory
  3. Pragmatic Theory of Truth
  4. Knowledge Claims
  5. Evidence
  6. Justified True Belief
  7. Intersubjectivity
  8. Value-Laden Inquiry
  9. Gettier Problem
  10. Fallibilism
  11. Propositional Knowledge
  12. A Priori Knowledge
  13. Epistemic Humility
  14. Procedural Knowledge
  15. Acquaintance Knowledge

Prerequisites

This chapter builds on concepts from:


Making Knowledge Claims

In Chapter 1, you learned that knowledge involves belief, truth, and justification. Now we need to examine these ideas more carefully, beginning with the concept of a knowledge claim.

A knowledge claim is a statement that asserts something to be true. When someone says "The Earth orbits the Sun" or "Democracy is the best form of government," they are making knowledge claims. But not all knowledge claims are equal. Some are well-supported, others are questionable, and some turn out to be entirely wrong.

Knowledge claims come in different varieties:

  • Empirical claims assert something about the observable world: "Water freezes at 0°C."
  • Normative claims assert what should be the case: "People should treat each other with respect."
  • Metaphysical claims assert something about the fundamental nature of reality: "The mind is more than just the brain."
  • Analytic claims are true by definition: "All bachelors are unmarried."

Each type of claim requires different kinds of support. An empirical claim demands observation and measurement. A normative claim requires ethical reasoning. Recognizing what type of claim you are dealing with is the first step toward evaluating it well.

The Role of Evidence

Supporting a knowledge claim requires evidence — information that gives us reason to believe something is true or false. Evidence is the bridge between mere opinion and justified belief.

Consider a courtroom trial. The prosecution presents fingerprints, witness testimony, and security camera footage. Each piece of evidence makes the claim "the defendant committed the crime" more or less convincing. In everyday life, you are constantly evaluating evidence, even if you do not realize it — checking weather forecasts before deciding what to wear, or reading reviews before choosing a restaurant.

Not all evidence is equally strong. A single anecdote is weaker than a carefully designed scientific study. A rumour heard from a friend carries less weight than a report from a credible news organization. Throughout this course, you will develop the skills to weigh evidence thoughtfully — a practice that is essential in every area of knowledge.

Three Types of Knowledge

Before we explore theories of truth, we need to understand that knowledge itself comes in different forms. Philosophers traditionally distinguish three types.

Propositional knowledge (also called "knowing that") consists of factual claims about the world. When you know that Paris is the capital of France, or that DNA carries genetic information, you possess propositional knowledge. This is the type of knowledge most often discussed in epistemology because it can be stated in propositions — sentences that are either true or false.

Procedural knowledge (also called "knowing how") is the ability to perform actions or skills. You know how to ride a bicycle, how to write an essay, or how to solve a quadratic equation. Procedural knowledge is often difficult to put into words. A skilled musician may not be able to fully explain how they produce a beautiful phrase — they just know how to do it.

Acquaintance knowledge (also called "knowing by experience") comes from direct personal encounter. You know the taste of chocolate, the sound of your best friend's laugh, or the feeling of standing in a thunderstorm. This type of knowledge is inherently subjective — no amount of description can fully convey what it is like to have the experience yourself.

The following table summarizes how these three types compare:

Type Also Called Example Can Be Stated as a Proposition?
Propositional "Knowing that" Knowing that the Earth is round Yes
Procedural "Knowing how" Knowing how to swim Partially
Acquaintance "Knowing by experience" Knowing what coffee tastes like No

Sofia's Reflection

Sofia thinking Notice something interesting: most of our everyday knowledge is actually procedural or acquaintance knowledge — riding bikes, recognizing faces, tasting food. Yet philosophers have spent most of their time analyzing propositional knowledge. What perspective might we be missing by focusing so heavily on "knowing that" rather than "knowing how" or "knowing by experience"?

A Priori and A Posteriori Knowledge

There is another important distinction in epistemology, and it cuts across the three types we just discussed. This distinction is about how we come to know something.

A priori knowledge is knowledge that can be gained independently of experience, through reasoning alone. Mathematical truths are the classic example. You do not need to go out and measure triangles to know that the angles of a triangle add up to 180 degrees in Euclidean geometry — you can work this out through logical reasoning. Similarly, you know that "all squares have four sides" without needing to examine every square in existence.

A posteriori knowledge (also called empirical knowledge) requires experience or observation. You cannot know the boiling point of water just by thinking about it — you need to heat water and measure the temperature. Historical facts, scientific discoveries, and personal experiences are all examples of a posteriori knowledge.

This distinction matters because it affects how we justify our claims. A priori claims are justified through logic and reasoning. A posteriori claims are justified through evidence and observation. When someone makes a knowledge claim, one of the first questions to ask is: can this be known through reasoning alone, or does it require evidence from the world?

What Is Truth? Three Competing Theories

We have established that knowledge requires truth — you cannot truly know something that is false. But this raises a profound question: what does it mean for something to be true?

Philosophers have proposed several answers, and three theories dominate the discussion. Before we examine each one, let us define the key terms. The correspondence theory asks whether a claim matches reality. The coherence theory asks whether a claim fits with our other beliefs. The pragmatic theory asks whether a claim works in practice.

The Correspondence Theory of Truth

The correspondence theory of truth is perhaps the most intuitive. It holds that a statement is true if and only if it corresponds to — or matches — the way the world actually is. The statement "Snow is white" is true because, in fact, snow is white. The statement "The moon is made of cheese" is false because the moon is not, in fact, made of cheese.

This theory has deep roots. The ancient Greek philosopher Aristotle wrote: "To say of what is that it is, and of what is not that it is not, is true." In other words, truth is a matter of getting reality right.

The correspondence theory is powerful and appealing, but it faces challenges. How do we access "reality" independently of our own perceptions and interpretations? If all our knowledge of the world comes through our senses and our minds, can we ever be certain that our beliefs truly correspond to the way things are? This is a question we will return to throughout the course.

The Coherence Theory of Truth

The coherence theory of truth takes a different approach. Instead of asking whether a belief matches external reality, it asks whether a belief fits consistently with our other beliefs. A statement is true if it coheres — fits logically and consistently — with the rest of our belief system.

Consider how historians work. They rarely have direct access to past events. Instead, they evaluate whether a claim about the past is consistent with the available evidence, other historical records, and what we know about the period. A historical claim that contradicts well-established evidence from multiple sources is likely false — not because a historian can travel back in time to check, but because it fails to cohere with everything else we know.

The coherence theory is especially useful in areas of knowledge where direct observation is impossible — mathematics, logic, and theoretical physics, for example. However, it has a significant weakness: it is possible for a set of beliefs to be perfectly consistent with each other and yet entirely wrong. A conspiracy theory can be internally coherent without corresponding to reality at all.

The Pragmatic Theory of Truth

The pragmatic theory of truth, developed by American philosophers Charles Sanders Peirce, William James, and John Dewey, offers yet another perspective. It holds that a statement is true if it works — if believing it leads to successful predictions, practical results, and useful outcomes.

Consider a medical treatment. If a drug consistently reduces symptoms and improves health, pragmatists would say the claim "this drug is effective" is true — not because we can see the drug working at a molecular level, but because the belief produces reliable, beneficial results.

The pragmatic theory is particularly relevant in science, where theories are valued for their predictive power. Newton's laws of motion are "true" in the pragmatic sense because they allow engineers to build bridges that stand and rockets that fly. Even after Einstein showed that Newton's laws are not perfectly accurate at extreme speeds, they remain pragmatically true for everyday applications.

The following table compares the three theories:

Theory Central Question Truth Means... Strength Weakness
Correspondence Does it match reality? Accurately describing the world Intuitive, matches common sense How do we access "reality" directly?
Coherence Does it fit with other beliefs? Internal consistency Works for abstract domains Consistent beliefs can still be wrong
Pragmatic Does it work? Practical usefulness Values results and predictions What "works" can change over time

Sofia's Tip

Sofia giving a tip When you encounter a knowledge claim in your TOK essay or exhibition, try applying all three theories of truth. Ask: Does this claim correspond to observable reality? Does it cohere with other things we know? Does it work in practice? You will often find that different theories give different verdicts — and explaining why is exactly the kind of analysis that earns high marks.

Diagram: Three Theories of Truth Comparison

Three Theories of Truth Comparison

Type: infographic sim-id: three-theories-of-truth
Library: p5.js
Status: Specified

Bloom Taxonomy Level: Understand (L2) Bloom Verb: Compare, contrast

Learning Objective: Students will compare and contrast the three major theories of truth by exploring their central questions, strengths, and weaknesses through an interactive infographic.

Instructional Rationale: An interactive comparison allows students to examine each theory side-by-side, hover for detailed explanations, and see how the same knowledge claim is evaluated differently under each theory. This supports the Understand level by enabling students to compare and contrast rather than merely recall.

Layout: Three columns, one per theory (Correspondence, Coherence, Pragmatic), arranged horizontally across the canvas.

Visual elements: - Three large rounded rectangles in distinct colours (blue for Correspondence, green for Coherence, orange for Pragmatic) - Each rectangle contains the theory name, central question, and a brief definition - Below each column, a shared example knowledge claim ("The Earth is round") is evaluated from each theory's perspective - Hover over any element to reveal a detailed explanation panel at the bottom of the canvas

Interactive elements: - Dropdown to select different example claims ("The Earth is round," "Democracy is the best system," "2 + 2 = 4," "This medicine works") - Each claim updates the evaluation text under all three columns simultaneously - Hover over strength/weakness icons to see expanded text - A "Quiz Me" button that presents a random claim and asks the student to identify which theory would most easily accept or reject it

Responsive design: Canvas resizes to container width. On narrow screens, columns stack vertically.

Colour scheme: - Correspondence: steel blue (#4682B4) - Coherence: sea green (#2E8B57) - Pragmatic: dark orange (#FF8C00) - Background: light grey (#F5F5F5) - Hover panel: white with subtle shadow

Default state: "The Earth is round" selected, no hover active.

Justified True Belief: The Classical Definition of Knowledge

Now that we have explored what truth means, we can tackle the most influential definition of knowledge in Western philosophy. The classical definition, often attributed to Plato, holds that knowledge is justified true belief (JTB).

According to this definition, you know something if and only if three conditions are met:

  1. Belief — You believe the claim is true.
  2. Truth — The claim actually is true.
  3. Justification — You have good reasons or evidence for believing it.

Consider an example. Suppose you believe that "Water boils at 100°C at sea level." Is this knowledge?

  • Do you believe it? Yes.
  • Is it true? Yes (under standard conditions).
  • Do you have justification? Yes — you have learned this through science education, experiments, and reliable sources.

All three conditions are met, so according to the JTB definition, you know this claim.

Now consider a different case. Suppose you believe that "It will rain tomorrow" based on nothing more than a vague feeling. Even if it does happen to rain, most philosophers would say you did not truly know it would rain — you were just lucky. You lacked adequate justification.

The JTB definition elegantly captures our intuition that knowledge is more than lucky guessing. It requires that your belief be connected to reality (truth) through some reliable process (justification).

Diagram: Justified True Belief Venn Diagram

Justified True Belief Venn Diagram

Type: diagram sim-id: jtb-venn-diagram
Library: p5.js
Status: Specified

Bloom Taxonomy Level: Understand (L2) Bloom Verb: Classify, interpret

Learning Objective: Students will classify examples of belief into the correct region of a Venn diagram showing the overlap of Belief, Truth, and Justification, identifying which examples qualify as knowledge under the JTB definition.

Instructional Rationale: A Venn diagram with draggable examples makes the abstract JTB criteria concrete. Students must actively reason about each example rather than passively reading, supporting the Understand/classify objective.

Visual elements: - Three overlapping circles labelled "Belief," "Truth," and "Justification" - The central overlap of all three is labelled "Knowledge (JTB)" and highlighted in gold - Surrounding the diagram are 6-8 draggable example cards (e.g., "You believe 2+2=4 and can prove it" → Knowledge; "You believe a false rumour with evidence" → Justified false belief; "You guess correctly without evidence" → True belief without justification)

Interactive elements: - Drag example cards into the appropriate region of the Venn diagram - On drop, the system provides feedback: correct placement turns the card green, incorrect turns it red with an explanation - A "New Examples" button generates a fresh set of examples - A score tracker shows how many correct placements out of total

Layout: Venn diagram centred on canvas, example cards arranged along the bottom. Responsive to container width.

Colour scheme: - Belief circle: light blue (#ADD8E6) - Truth circle: light green (#90EE90) - Justification circle: light coral (#F08080) - Knowledge overlap: gold (#FFD700) - Background: white

The Gettier Problem: When JTB Is Not Enough

You've Got This!

Sofia encouraging The next concept can feel tricky at first — it challenges a definition of knowledge that seems perfectly reasonable. If you find yourself confused, that is actually a sign that you are thinking carefully. Philosophers have been debating this problem since 1963, and there is still no universally accepted solution. The goal is not to find the answer but to understand why the question matters.

For over two thousand years, the JTB definition seemed unassailable. Then, in 1963, the American philosopher Edmund Gettier published a three-page paper that shook epistemology to its foundations. Gettier showed that it is possible to have a justified true belief that still does not count as knowledge.

The Gettier Problem demonstrates this through counterexamples — situations where all three JTB conditions are met, yet we intuitively feel that the person does not truly know.

Here is a classic Gettier-style example:

Imagine you are driving through the countryside and see what appears to be a barn. You form the belief: "There is a barn in that field." Your belief is justified — it looks exactly like a barn, the lighting is clear, and your vision is good. And your belief is true — there really is a barn there.

But here is the catch: unknown to you, every other "barn" in the area is actually a cleverly painted façade — a flat wooden cutout designed to look like a barn from the road. You just happened to look at the one real barn in the entire county. Your belief is true and justified, but it seems like you got lucky rather than genuinely knowing. You could easily have been looking at a façade instead.

This example reveals that justified true belief might not be sufficient for knowledge. Something more seems to be required — perhaps that your justification must be connected to the truth in the right way, not just by accident.

The Gettier Problem has generated enormous philosophical debate. Some responses include:

  • Adding a fourth condition: Perhaps knowledge requires JTB plus the absence of "defeaters" — facts that, if known, would undermine the justification.
  • Reliabilism: Perhaps justification should come from a reliable process, not just any process that happens to produce a true belief.
  • Virtue epistemology: Perhaps knowledge is a true belief formed through the knower's intellectual virtues — careful reasoning, open-mindedness, and intellectual honesty.

No single solution has gained universal acceptance, but the Gettier Problem has made epistemologists far more careful about what they mean by "knowledge."

Intersubjectivity: Between Objectivity and Subjectivity

In Chapter 1, you explored the concepts of objectivity (knowledge independent of personal perspective) and subjectivity (knowledge shaped by individual experience). But in practice, most knowledge lives somewhere between these extremes. This middle ground is called intersubjectivity.

Intersubjectivity refers to agreement or shared understanding among multiple people. A claim is intersubjective when different knowers, approaching the question independently, arrive at the same conclusion. Scientific knowledge is a powerful example: when researchers in different countries, using different equipment, replicate the same experimental result, the finding gains intersubjective status.

Intersubjectivity matters because pure objectivity may be impossible for human knowers. We always bring our perspectives, assumptions, and cultural backgrounds to our inquiries. But when multiple people from diverse backgrounds agree on a finding, we can be more confident — even if we cannot claim perfect objectivity.

Consider the peer review process in science. A researcher submits a paper, and other experts independently evaluate whether the methods are sound, the data supports the conclusions, and the reasoning is valid. This process does not guarantee truth, but it is a powerful mechanism for achieving intersubjective agreement — and it is one of the best tools we have for building reliable shared knowledge.

Value-Laden Inquiry

A related concept is value-laden inquiry — the recognition that the questions we ask, the methods we choose, and the way we interpret results are often influenced by our values, interests, and assumptions.

Consider medical research. Which diseases receive the most funding? Often, the diseases that affect wealthy nations receive more attention than diseases that are equally deadly but primarily affect poorer populations. The knowledge produced is genuine, but the direction of inquiry is shaped by values — in this case, economic and political priorities.

Value-laden inquiry does not mean that all knowledge is merely subjective opinion. It means that we should be aware of the values embedded in our knowledge-producing systems. Recognizing this helps us ask better questions: Whose interests are being served? What perspectives are being excluded? What might we be missing because of the values that shape our inquiry?

Key Insight

Sofia thinking Intersubjectivity and value-laden inquiry reveal something profound: knowledge is not simply "out there" waiting to be discovered. It is actively constructed by communities of knowers whose perspectives, values, and methods shape what counts as knowledge. This is where it gets interesting — even the most rigorous scientific inquiry is shaped by human choices about what to study and how to study it.

Fallibilism: Embracing Uncertainty

If the Gettier Problem teaches us that even justified true beliefs can fail to be knowledge, and if value-laden inquiry shows us that our methods are shaped by human assumptions, then perhaps we should adopt a more humble stance toward our own claims to know.

Fallibilism is the philosophical position that any of our beliefs could turn out to be wrong, no matter how well-justified they seem right now. Fallibilists do not deny that we have knowledge — they simply maintain that all knowledge is provisional and open to revision in light of new evidence.

This might sound unsettling, but fallibilism is actually one of the most productive attitudes in the history of human thought. Science progresses precisely because scientists are willing to revise their theories when new evidence demands it. The history of science is full of ideas that were once considered certain — the geocentric model of the universe, the theory of spontaneous generation, the concept of a luminiferous ether — that were eventually overturned by better evidence and stronger theories.

Fallibilism stands in contrast to dogmatism, which holds that certain beliefs are absolutely certain and cannot be questioned. While dogmatism provides psychological comfort, it tends to block the growth of knowledge by preventing the revision that discovery requires.

The following list summarizes the key differences:

  • Fallibilism: All beliefs are open to revision; knowledge grows through correction.
  • Dogmatism: Some beliefs are beyond question; certainty is achievable and final.
  • Radical skepticism: We cannot know anything at all (we will explore this in Chapter 8).

Fallibilism occupies a productive middle ground — it takes knowledge seriously without claiming that our current understanding is perfect.

Epistemic Humility

Epistemic humility is the practical expression of fallibilism. It is the intellectual virtue of recognizing the limits of your own knowledge and being open to learning from others, including those who disagree with you.

Epistemic humility does not mean lacking confidence or refusing to take positions. It means holding your positions with an awareness that you could be wrong, and being genuinely willing to revise your views when presented with compelling reasons. It means asking: "What evidence would change my mind?" — and meaning it.

In the context of TOK, epistemic humility is particularly important when examining different areas of knowledge. A physicist might be highly knowledgeable about quantum mechanics but epistemic humility reminds them that their expertise does not automatically extend to ethics, history, or art. Each area of knowledge has its own methods, standards, and forms of expertise.

Epistemic humility also applies to how we engage with knowledge from different cultures. Indigenous knowledge systems, for example, often take holistic approaches that differ from Western analytical methods. Epistemic humility asks us to approach these systems with genuine curiosity rather than dismissing them because they do not fit our own frameworks.

Diagram: From Claim to Knowledge Workflow

From Claim to Knowledge Workflow

Type: workflow sim-id: claim-to-knowledge-workflow
Library: p5.js
Status: Specified

Bloom Taxonomy Level: Apply (L3) Bloom Verb: Apply, use

Learning Objective: Students will apply the concepts from this chapter — knowledge claims, evidence, theories of truth, JTB criteria, and fallibilism — by tracing a real-world claim through a structured evaluation workflow.

Instructional Rationale: A workflow diagram with interactive hover text connects the abstract concepts from the chapter into a coherent evaluation process. By clicking through each stage with a concrete example, students apply the individual concepts they have learned rather than merely recalling them.

Process steps: 1. Start: "Knowledge Claim Made" Hover text: "Someone asserts something to be true — e.g., 'Vaccines are safe and effective'" 2. Process: "Identify Claim Type" Hover text: "Is this empirical, normative, metaphysical, or analytic? (Empirical in this case)" 3. Process: "Gather Evidence" Hover text: "What evidence supports or undermines this claim? Clinical trials, epidemiological data, expert testimony" 4. Decision: "Apply Theories of Truth" Hover text: "Correspondence: Does it match observed reality? Coherence: Does it fit with other medical knowledge? Pragmatic: Do vaccines produce beneficial health outcomes?" 5. Process: "Check JTB Conditions" Hover text: "Do you believe it? Is it true? Do you have adequate justification?" 6. Decision: "Gettier Check" Hover text: "Is the connection between your justification and the truth accidental, or is there a reliable link?" 7. Process: "Apply Fallibilism" Hover text: "Even if you conclude this is knowledge, remain open to revision if new evidence emerges" 8. End: "Provisional Knowledge" Hover text: "You hold this as knowledge while maintaining epistemic humility about its revisability"

Visual style: Vertical flowchart with rounded rectangles for processes, diamonds for decisions, and an oval for start/end states. Arrows connect stages sequentially.

Interactive elements: - Hover over any step to see the detailed explanation - A dropdown menu at the top lets students select different example claims to trace through the workflow - Example claims: "Vaccines are safe," "Democracy is the best system," "The universe began with the Big Bang," "Stealing is wrong"

Colour scheme: - Process steps: teal (#008080) - Decision diamonds: amber (#FFBF00) - Start/End: soft green (#66CDAA) - Hover panel: white with border - Background: light grey (#F0F0F0)

Responsive: Adapts to container width; on narrow screens, the flowchart scales proportionally.

Diagram: Knowledge Type Classification Game

Knowledge Type Classification Game

Type: microsim sim-id: knowledge-type-classifier
Library: p5.js
Status: Specified

Bloom Taxonomy Level: Analyze (L4) Bloom Verb: Classify, differentiate

Learning Objective: Students will classify examples of knowledge into the correct type (propositional, procedural, or acquaintance) and identify whether each example is a priori or a posteriori, reinforcing their ability to differentiate between knowledge types.

Instructional Rationale: A classification game requires students to actively analyze each example rather than passively read definitions. The dual classification (type + a priori/a posteriori) requires students to apply two frameworks simultaneously, deepening their understanding of how knowledge types intersect.

Visual elements: - Three labelled drop zones across the top: "Propositional (Knowing That)," "Procedural (Knowing How)," "Acquaintance (Knowing By Experience)" - A secondary classification bar below: "A Priori" and "A Posteriori" - A stack of example cards at the bottom, each containing a knowledge example - Score display showing correct/incorrect/remaining

Example cards (15 examples, randomised): - "Knowing that 7 × 8 = 56" → Propositional, A Priori - "Knowing how to cook pasta" → Procedural, A Posteriori - "Knowing the smell of freshly baked bread" → Acquaintance, A Posteriori - "Knowing that all triangles have three sides" → Propositional, A Priori - "Knowing how to play guitar" → Procedural, A Posteriori - "Knowing what heartbreak feels like" → Acquaintance, A Posteriori - "Knowing that Paris is the capital of France" → Propositional, A Posteriori - "Knowing how to do long division" → Procedural, could be argued as A Priori - "Knowing the taste of chocolate" → Acquaintance, A Posteriori - "Knowing that nothing can be both true and false simultaneously" → Propositional, A Priori - "Knowing how to ride a bicycle" → Procedural, A Posteriori - "Knowing what it feels like to be in love" → Acquaintance, A Posteriori - "Knowing that the angles of a triangle sum to 180°" → Propositional, A Priori - "Knowing how to speak a second language" → Procedural, A Posteriori - "Knowing the feeling of cold ocean water" → Acquaintance, A Posteriori

Interactive controls: - Drag each card to the appropriate drop zone - After placing in a type zone, a secondary prompt asks "A Priori or A Posteriori?" - Immediate feedback: correct placements turn green, incorrect turn red with explanation - "Hint" button reveals a brief clue for the current card - "New Round" button shuffles and selects a new random subset of 8 cards - Final score summary after all cards are placed

Responsive: Canvas adapts to container width. Cards and drop zones scale proportionally.

Colour scheme: - Propositional zone: blue (#4682B4) - Procedural zone: green (#2E8B57) - Acquaintance zone: purple (#8B668B) - A Priori: light gold (#FFE4B5) - A Posteriori: light cyan (#E0FFFF) - Correct feedback: green (#228B22) - Incorrect feedback: red (#CD5C5C)

Putting It All Together

This chapter has covered a great deal of philosophical ground. Let us trace the connections between the concepts you have explored.

We began with knowledge claims — assertions that something is true — and the evidence needed to support them. We then distinguished three types of knowledge (propositional, procedural, and acquaintance) and two ways of knowing (a priori and a posteriori).

Next, we examined what truth itself means through three competing theories: correspondence (matching reality), coherence (fitting with other beliefs), and pragmatism (producing useful results). Each theory captures something important about truth, and each has limitations.

We then explored the classical definition of knowledge as justified true belief, only to discover through the Gettier Problem that JTB might not be sufficient. This led us to consider the social dimension of knowledge through intersubjectivity and to recognize how values shape inquiry through value-laden inquiry.

Finally, we embraced fallibilism — the view that all knowledge is provisional — and its practical expression, epistemic humility.

Together, these concepts form a toolkit for thinking carefully about knowledge. In the chapters ahead, you will apply these tools to specific areas of knowledge, from mathematics and science to history, the arts, and ethics.

Test Your Understanding — Click to reveal the answer

Question: A scientist develops a hypothesis based on limited data, tests it rigorously, publishes results, and the findings are replicated by independent researchers worldwide. Later, new evidence suggests the theory needs revision. Using the concepts from this chapter, explain which theory of truth best describes why the original finding was accepted, and which concept explains why revision is appropriate.

Answer: The original finding was accepted primarily through a combination of correspondence (the results matched observable data) and pragmatic truth (the theory made accurate predictions). The intersubjective agreement from independent replication strengthened confidence. The revision is appropriate because of fallibilism — the recognition that even well-justified, widely-accepted knowledge claims remain open to correction when new evidence emerges. The scientist who accepts this revision demonstrates epistemic humility.

Excellent Progress!

Sofia celebrating You've now explored the deepest questions about truth and knowledge — and discovered that even the most famous definition of knowledge has its cracks. You're thinking like an epistemologist! In the next chapter, we will dive deeper into evidence and justification, examining how different types of evidence carry different weight and how we can evaluate the reliability of our sources.