IB Philosophy 10.1.4 Theory of Knowledge and Analytic/synthetic Distinction Notes

Ayer's Epistemological Framework

The Analytic as Tautology

1. Ayer's theory of knowledge in Language, Truth and Logic follows directly from the verification principle established in 10.1.1. If meaning requires either analytic truth (true purely by definition, like 'all bachelors are unmarried') or empirical verifiability (checkable against experience), then all genuine knowledge must fall into one of two categories: knowledge of analytic truths (logic, mathematics, definitions) or knowledge of synthetic truths (empirical facts about the world).
2. This two-category division leaves no room for a third. Ayer explicitly rejects Kant's synthetic a priori (the idea that some propositions can be both informative about the world AND knowable without any experience, like a magic shortcut), the claim that some propositions are both informative about the world and knowable independently of experience.
3. For Kant, mathematical truths and the principle of causality are synthetic a priori; for Ayer, this category is incoherent.
4. Ayer argues that all a priori knowledge (knowledge you can have without checking the world, like pure logic or maths) is analytic. Mathematical truths such as '7 + 5 = 12' appear to convey information about the world, but Ayer contends they are tautologies that make explicit the rules governing our use of numerical symbols.
5. They tell us how we have decided to use certain signs, not how things are.
6. This position draws on the logicist programme (the attempt to show that all of mathematics is really just logic in disguise) of Frege and Russell. If all mathematical truths are ultimately logical tautologies, then they are analytic in Ayer's sense: necessarily true by virtue of meaning but devoid of empirical content.

A Posteriori Knowledge and the Scope of Philosophy

1. All substantive knowledge, on Ayer's view, is a posteriori (derived from experience, from actually looking at the world): it derives from experience. Science is the paradigm of genuine knowledge because it formulates hypotheses about the world and tests them against observation.
2. Philosophy contributes not by producing knowledge of its own but by clarifying the concepts and methods of the sciences.
3. This framework connects directly to Ayer's rejection of metaphysics (10.1.2). Metaphysical claims pretend to be synthetic a priori truths about ultimate reality, but since Ayer denies that category exists, metaphysical claims are neither analytic tautologies nor testable empirical hypotheses.
4. They are cognitively meaningless.
5. Logical truths receive the same treatment. "Either it is raining or it is not raining" is necessarily true, but it tells us nothing about the weather.
6. Its truth is guaranteed by the logical structure of disjunction, not by any feature of reality. All of logic, for Ayer, consists of such tautologies.
7. The consequences for epistemology are profound. If a priori knowledge is merely analytic, then reason alone cannot discover substantive truths about reality.
8. The rationalist ambition, from Plato through Descartes to Leibniz, of deducing truths about the world from pure thought is fundamentally misguided.

The Analytic/Synthetic Distinction Under Pressure

Kant's Challenge to Ayer

1. The analytic/synthetic distinction is not original to Ayer; it derives from Kant's Critique of Pure Reason (1781). Kant introduced the distinction to address Hume's challenge to the foundations of knowledge: if all knowledge comes from experience, how can we have certain knowledge of mathematical and causal truths?
2. Kant's solution was the synthetic a priori: certain propositions are both informative and necessarily true because they reflect the structure that the mind imposes on experience.
3. Space, time, and causality are not features of things in themselves but forms through which we organise experience. Knowledge of these forms is synthetic (informative) and a priori (independent of particular experiences).
4. Kant's clearest examples are geometrical: 'The straight line between two points is the shortest' seems to tell us something about space (synthetic) yet cannot be established by observation alone (a priori). For Ayer, this is an illusion: the statement either reduces to a definition of 'straight line' (analytic) or is a disguised empirical claim.
5. If Kant is right that a third category exists, Ayer's entire two-category system collapses and much of what he called meaningless might be rehabilitated.
6. Ayer dismisses Kant's synthetic a priori on the grounds that it violates the verification principle. If a proposition is genuinely informative about the world, it must be testable against experience and therefore a posteriori.
7. If it is knowable independently of experience, it must be a tautology and therefore analytic. There is no logical space for a proposition that is both.