Western Metaphysics and Epistemology: From the Pre-Socratics to the Gettier Problem

This chapter is the first of Section XH4.3, "Classical and Modern Western Philosophy", one of the four sections of XH4 Philosophy, which is one of the six optional sections of the Humanities and Social Sciences (XH) paper, chosen at the time of application. It answers the Metaphysics and Epistemology parts of the heading: the Pre-Socratics on the first principle (archē); Plato and Aristotle on Being (ousia), Idea and the matter-form synthesis; the problem of evil and the existence of God in Augustine, Anselm and Aquinas; modern metaphysics of substance, dualism, parallelism, pre-established harmony, phenomena and noumena, the transcendental deduction and absolute idealism; and the theory of knowledge from Plato and Aristotle through Descartes, Locke, Berkeley, Hume, Kant and Hegel to the Gettier problem. Learn to scope each doctrine to the thinker who held it, because the traps here pair a real position with the wrong name.

1. The Pre-Socratics: the search for the first principle

The first Greek philosophers asked for the archē, the single underlying principle from which everything comes and into which it returns. The Milesians of Ionia each named a basic stuff: Thales said water, Anaximander named the apeiron, the boundless and indefinite, and Anaximenes said air, which becomes other things by condensing and rarefying. This is the move that founds the discipline: to explain the many by one, using nature rather than myth.

  • Pythagoras held that number is the essence of things; mathematical ratio and harmony structure the cosmos.
  • Heraclitus of Ephesus made becoming primary: everything flows, you cannot step into the same river twice, and the Logos is the hidden law of ordered change, symbolised by fire and the unity of opposites.
  • Parmenides of Elea argued the opposite: Being is, and non-being is not, so reality is one, uncreated, indivisible and changeless, and the world of change is mere opinion (doxa). He opposes Heraclitus directly.
  • Anaxagoras posited infinitely divisible "seeds" with a portion of everything in everything, set in order by Nous (Mind). Democritus (with Leucippus) founded atomism: reality is atoms and the void, atoms being indivisible, eternal and differing only in shape, size and arrangement.
⚠️ Heraclitus and Parmenides are mirror images
The classic trap swaps them. Heraclitus is the philosopher of flux and becoming (change is real, permanence is illusion); Parmenides is the philosopher of being (permanence is real, change is illusion). Plato's Forms and Aristotle's substance are both attempts to reconcile the two.

2. Plato and Aristotle: Being, knowledge and the four causes

For Plato, true Being is the Idea or Form (eidos): eternal, non-material, unchanging archetypes that the sensible world merely imitates. The Phaedo links the Forms to the immortal soul and knowledge as recollection; the Republic makes the Form of the Good the highest, illuminating all others (the Sun, Line and Cave); the Sophist examines how being and non-being mix among the Forms. Knowledge divides accordingly: doxa (opinion) grasps the changing sensible world, while episteme (knowledge) and sophia (wisdom) grasp the Forms. The ascent from appearance to Form is the work of dialectic.

Aristotle rejects a separate world of Forms. Being is primarily substance (ousia), and every concrete substance is a synthesis of matter (hyle) and form (morphe) — hylomorphism. The form is what a thing is; matter is what it is made of. In the Metaphysics and Physics he explains any thing by four causes: the material (what it is made of), the formal (its shape or essence), the efficient (what brought it about) and the final (its end or purpose). Change is the passage from potentiality to actuality.

Their epistemologies differ in the same way. Plato is rationalist: real knowledge is of eternal Forms, reached by reason against the deceptions of sense. Aristotle grounds knowledge in sense-perception and induction to universals, and distinguishes theoretical reason (aimed at truth, yielding sophia) from practical reason (aimed at action, yielding phronesis). His theory of causation is the four causes above.

3. God and the problem of evil: Augustine, Anselm, Aquinas

The problem of evil asks how a wholly good, all-powerful God can coexist with evil. St Augustine answers that evil has no positive being of its own: it is a privation of good (privatio boni), a lack or corruption in something that is itself good. Moral evil arises from the misuse of free will, which is a genuine good; so God is the author of free will but not of the evil some wills choose.

St Anselm offers the ontological argument (Proslogion): God is "that than which nothing greater can be conceived". If God existed only in the understanding, a greater being — one existing also in reality — could be conceived, which is a contradiction; therefore God must exist in reality. It is an a priori argument from the concept of God alone, famously challenged by Gaunilo's "lost island".

St Thomas Aquinas rejects Anselm's argument as not self-evident to us and argues a posteriori, from the world, in his Five Ways: from motion to an unmoved mover, from efficient causes to a first cause, from contingency to a necessary being, from degrees of perfection to a maximally perfect being, and from the governance of things to an intelligent designer. On evil, Aquinas follows Augustine's privation view and holds that God permits evil only for the sake of a greater good.

ℹ️ A priori versus a posteriori proofs
Anselm's ontological argument is a priori (from the concept alone). Aquinas's Five Ways are a posteriori (from observed features of the world: motion, causation, contingency). Keeping this split clear defeats most questions in this area.

4. Modern metaphysics: substance, mind, phenomena and the Absolute

Modern metaphysics turns on substance and the mind-body relation. Descartes is a substance dualist: mind is thinking substance (res cogitans) and body is extended substance (res extensa), two really distinct substances that nonetheless interact. The difficulty of explaining this interaction generates the alternatives.

Four modern solutions to the mind-body relation
ViewThinkerClaim
InteractionismDescartesTwo substances causally act on each other
ParallelismSpinozaOne substance; thought and extension are its attributes, running in step with no interaction
OccasionalismMalebrancheGod causes the apt mental and bodily events on each occasion
Pre-established harmonyLeibnizWindowless monads, synchronised in advance by God

Spinoza admits only one substance, God-or-Nature, whose infinite attributes include thought and extension; mind and body are the same thing expressed two ways, which is why they run parallel. Leibniz fills reality with monads, simple windowless substances, and explains their apparent interaction by pre-established harmony. The over-reliance on one's own mind as the only certainty is solipsism, a threat Descartes' method raises. On personal identity, Locke makes it a matter of continuity of consciousness and memory, while Hume reduces the self to a bundle of perceptions with no underlying substance.

Kant reshapes the whole field. We know only phenomena (things as they appear, structured by our forms of intuition and categories), never noumena (things-in-themselves). His transcendental deduction shows that the pure concepts of the understanding (the categories) must apply to every possible object of experience, because they are the conditions of a unified consciousness. This limits metaphysics to the knowable. Hegel rejects the unknowable thing-in-itself and advances absolute idealism: reality is the self-unfolding of Spirit (Geist), and "the rational is the real". The ancient contrast of Being and Becoming is thus taken up into a developing Absolute.

5. Modern epistemology: rationalism, empiricism, Kant and Gettier

Descartes seeks certainty through the method of doubt: he doubts everything that can possibly be doubted, including the senses and even mathematics (the evil-demon hypothesis), until he reaches one indubitable truth — cogito ergo sum, "I think, therefore I am", for even to doubt is to think. On this he rebuilds knowledge using clear and distinct ideas and innate ideas such as the idea of God. The principle of non-contradiction (nothing can both be and not be) is a first law of thought; Leibniz adds the principle of sufficient reason (nothing is without a reason) and the identity of indiscernibles (no two things share all properties).

The empiricists reply that all materials of knowledge come from experience. Locke denies innate ideas (the mind is a blank sheet) and recognises three grades of knowledge — intuitive (immediate), demonstrative (by proof) and sensitive (of particular external things). Berkeley attacks abstract ideas (we cannot form the idea of a triangle that is no particular triangle) and concludes esse est percipi — to be is to be perceived — denying matter altogether. Hume distinguishes vivid impressions from their faint copies, ideas, and insists every idea trace to an impression; finding no impression of necessary connection, he reduces causality to constant conjunction plus the mind's habit, and shows that induction has no non-circular rational justification.

Kant answers Hume with the Copernican revolution: instead of our knowledge conforming to objects, objects conform to the forms our mind imposes — space and time as the forms of sensibility, the categories as the forms of understanding. This makes synthetic a priori judgments possible: judgments that are informative (synthetic) yet known independently of experience (a priori), such as "7 + 5 = 12" and "every event has a cause". Hegel's dialectic then treats knowledge as a historical movement through opposition toward a more complete whole, commonly summarised as thesis, antithesis and synthesis.

The traditional analysis called knowledge justified true belief (JTB). In 1963 Edmund Gettier gave cases where a belief is true and justified yet is not knowledge, because its truth rests on luck: one infers a true conclusion from a justified but false premise. The Gettier problem sparked responses that add a fourth condition — ruling out false lemmas, requiring the right causal connection, or demanding that the belief be reliably produced.

Key takeaways

  • The Pre-Socratics sought the archē: Thales (water), Anaximander (apeiron), Anaximenes (air), Pythagoras (number), Heraclitus (becoming/Logos), Parmenides (changeless Being), Anaxagoras (Nous and seeds) and Democritus (atoms and void).
  • Plato locates Being in eternal Forms (Idea) grasped by reason and dialectic, dividing doxa from episteme; Aristotle locates it in substance as a synthesis of matter (hyle) and form (morphe), explained by the four causes and the move from potentiality to actuality.
  • On God and evil: Augustine treats evil as privation of good from misused free will; Anselm's ontological argument is a priori; Aquinas's Five Ways are a posteriori (motion, cause, contingency, degree, governance).
  • Mind-body: interactionism (Descartes), parallelism (Spinoza's one substance with attributes), occasionalism (Malebranche) and pre-established harmony (Leibniz's monads). Kant limits knowledge to phenomena, not noumena, with the transcendental deduction; Hegel's absolute idealism makes reality the self-unfolding of Spirit.
  • Rationalists (Descartes' doubt and cogito, innate ideas, Leibniz's sufficient reason) face empiricists (Locke's three grades and rejection of innate ideas, Berkeley's esse est percipi, Hume on impressions, causality and induction); Kant's Copernican revolution makes synthetic a priori judgments possible.
  • Knowledge as justified true belief faces Gettier's 1963 counterexamples, where a justified true belief is true only by luck; responses add a fourth condition such as no false lemmas, a causal link or reliability.

Practice questions (15)

Attempt each one before opening the answer. Every explanation names the tempting wrong option as well as the right one, because that is where marks are lost.

  1. Which Pre-Socratic philosopher held that reality is one, uncreated, indivisible and changeless, so that the world of change is mere opinion?

    1. Parmenides, who argued that Being is and non-being is not
    2. Heraclitus, for whom everything flows and permanence is an illusion
    3. Democritus, who reduced all things to atoms moving in the void
    4. Anaximenes, who derived all things from air by condensation
    Show answer

    Answer: A — Parmenides, who argued that Being is and non-being is not

    Parmenides of Elea is the philosopher of unchanging Being: change and plurality belong to the way of opinion, not truth. Heraclitus holds the opposite (flux and becoming), which is the tempting swap. Democritus and Anaximenes offer material principles that fully allow change.
  2. In Aristotle's metaphysics, a concrete substance is best described as which of the following?

    1. A pure Form existing apart from the sensible world and imitated by particulars
    2. A bundle of fleeting perceptions with no underlying unity
    3. A synthesis of matter (hyle) and form (morphe) in a single individual
    4. A mode of the one divine substance expressed under an attribute
    Show answer

    Answer: C — A synthesis of matter (hyle) and form (morphe) in a single individual

    Aristotle's hylomorphism makes every concrete substance a compound of matter and form. The separate Form belongs to Plato, whom Aristotle criticises; the bundle view is Hume's; the mode-of-one-substance view is Spinoza's.
  3. On St Augustine's standard account, the metaphysical status of evil is best captured by which claim?

    1. Evil is a positive substance in its own right, created as the counterpart and opposite of good
    2. Evil is an illusion produced by the senses, which disappears once the mind attains true knowledge
    3. Evil is a necessary attribute of eternal matter, which God neither created nor was able to remove
    4. Evil is a privation of good, a lack or corruption in a good thing, arising from misused free will
    Show answer

    Answer: D — Evil is a privation of good, a lack or corruption in a good thing, arising from misused free will

    Augustine's privatio boni makes evil a lack of due good rather than a thing in its own right, so God creates only good and moral evil flows from the misuse of the (good) gift of free will. Treating evil as a created positive substance or a mere sensory illusion both contradict his view.
  4. A philosopher argues for God purely from the concept of "that than which nothing greater can be conceived", holding that such a being must exist in reality and not merely in the understanding. This is which argument?

    1. Anselm's ontological argument, which is a priori
    2. Aquinas's argument from motion, which is a posteriori
    3. Aquinas's argument from the governance of the world
    4. Augustine's argument from the privation of good
    Show answer

    Answer: A — Anselm's ontological argument, which is a priori

    Reasoning from the concept of God alone, independently of observation, is Anselm's a priori ontological argument. Aquinas's Five Ways, including motion and governance, all argue a posteriori from features of the world, and Augustine's privation claim concerns evil, not a proof of God from a concept.
  5. Two thinkers both deny real causal interaction between mind and body, but one says there is a single substance whose attributes of thought and extension run in step, while the other says many windowless simple substances were synchronised in advance by God. These two views belong, respectively, to whom?

    1. Leibniz (one substance, parallelism) and Spinoza (monads, pre-established harmony)
    2. Spinoza (one substance, parallelism) and Leibniz (monads, pre-established harmony)
    3. Descartes (interaction) and Malebranche (occasionalism)
    4. Malebranche (one substance) and Descartes (monads)
    Show answer

    Answer: B — Spinoza (one substance, parallelism) and Leibniz (monads, pre-established harmony)

    The single substance with parallel attributes of thought and extension is Spinoza's; the plurality of windowless monads coordinated in advance is Leibniz's pre-established harmony. Descartes affirms interaction (not denial), and Malebranche's occasionalism has God act afresh on each occasion rather than synchronise monads beforehand.
  6. In Kant's theoretical philosophy, what exactly does the transcendental deduction of the categories set out to establish?

    1. That things-in-themselves (noumena), lying wholly beyond experience, can nonetheless be known directly once the categories are applied to them
    2. That space and time are properties of things independent of the mind
    3. That the pure concepts of the understanding necessarily apply to all objects of possible experience
    4. That all knowledge is recollection of Forms seen before birth
    Show answer

    Answer: C — That the pure concepts of the understanding necessarily apply to all objects of possible experience

    The transcendental deduction justifies the objective validity of the categories: they must apply to every object of possible experience because they are conditions of a unified consciousness. Kant explicitly denies that noumena are knowable, treats space and time as forms of our sensibility rather than mind-independent properties, and the recollection doctrine is Plato's.
  7. In Plato's epistemology, the cognitive state directed at the changing world of the senses, as opposed to knowledge of the Forms, is called what?

    1. Episteme, the secure knowledge of unchanging reality
    2. Sophia, the highest philosophical wisdom
    3. Doxa, mere opinion about the sensible world
    4. Phronesis, the practical wisdom that guides action
    Show answer

    Answer: C — Doxa, mere opinion about the sensible world

    Doxa is opinion, directed at the shifting sensible world; episteme and sophia are reserved for the Forms. Phronesis is Aristotle's term for practical wisdom and does not name Plato's lower cognitive state.
  8. Descartes' first indubitable truth, reached at the end of his method of doubt, rests on which consideration?

    1. That the senses, though sometimes mistaken, are reliable about ordinary objects
    2. That even the act of doubting is itself a case of thinking, so the doubter must exist
    3. That a perfectly good and non-deceiving God would never allow any of our clear and distinct ideas to turn out to be false
    4. That mathematical truths cannot be doubted under any hypothesis
    Show answer

    Answer: B — That even the act of doubting is itself a case of thinking, so the doubter must exist

    The cogito works because doubting is a mode of thinking, so one cannot doubt that one is thinking, and therefore that one exists. The appeal to a non-deceiving God and the restoration of clear and distinct ideas come later and depend on the cogito, and Descartes in fact doubts even mathematics under the evil-demon hypothesis before reaching it.
  9. Berkeley's thesis esse est percipi ("to be is to be perceived") is most directly supported by which further Berkeleian claim?

    1. That we possess clear innate ideas of an independent material substance entirely prior to any sense experience
    2. That space and time are a priori forms imposed by the mind
    3. That every event is joined to its cause by an observable necessary connection
    4. That we cannot form genuinely abstract ideas, including the idea of unperceived matter
    Show answer

    Answer: D — That we cannot form genuinely abstract ideas, including the idea of unperceived matter

    Berkeley argues that since we cannot abstract the idea of matter existing unperceived, the notion of mind-independent material substance is empty, which supports esse est percipi. Innate ideas of matter are exactly what empiricists deny, the observable necessary connection is what Hume denies, and a priori forms of space and time are Kant's.
  10. Kant describes his central move as a "Copernican revolution" in philosophy. What is the core of this move?

    1. Objects must conform to the a priori forms the mind brings to experience, which is how synthetic a priori knowledge becomes possible
    2. Knowledge must conform to objects as they are in themselves, which we grasp through pure reason
    3. All ideas are faint copies of prior impressions, so metaphysics is impossible
    4. That the whole of reality is nothing but the dialectical self-development of absolute Spirit as it progressively unfolds throughout the course of human history
    Show answer

    Answer: A — Objects must conform to the a priori forms the mind brings to experience, which is how synthetic a priori knowledge becomes possible

    The Copernican revolution reverses the direction of fit: objects conform to the mind's forms of intuition and categories, which is precisely what allows synthetic a priori judgments. The option on which knowledge conforms to things-in-themselves states the pre-Kantian view he overturns; the impressions-and-ideas claim is Hume's; the dialectic of Spirit is Hegel's.
  11. A person believes "the successful candidate has ten coins in their pocket". They infer it from strong evidence that Jones will get the job and that Jones has ten coins; in fact the believer themselves gets the job and happens, unknown to them, to have ten coins. The belief is true and justified yet intuitively not knowledge. This kind of case shows what?

    1. That justified true belief is, after all, entirely sufficient for genuine knowledge in every ordinary and in every unusual case
    2. That knowledge requires only truth, with justification being dispensable
    3. That no empirical belief can ever be justified, as the sceptic holds
    4. That justified true belief can fall short of knowledge when its truth depends on luck, as Gettier argued
    Show answer

    Answer: D — That justified true belief can fall short of knowledge when its truth depends on luck, as Gettier argued

    This is a Gettier case: the belief is true and justified, but true only by luck because it was inferred through a false intermediate claim about Jones, so justified true belief is shown to be insufficient for knowledge. The case does not vindicate JTB, does not drop justification, and does not establish global scepticism.
  12. Hume analyses our idea of causation. On his view, what do we actually observe when we say one event causes another?

    1. A necessary connection binding cause to effect, which reason can demonstrate independently of experience
    2. Only the constant conjunction of the two kinds of event, with necessity supplied by the mind's habit
    3. An innate rational principle, known without experience, guaranteeing that every event has a cause
    4. A real power in the objects themselves, directly perceived by the senses whenever one event follows another
    Show answer

    Answer: B — Only the constant conjunction of the two kinds of event, with necessity supplied by the mind's habit

    Hume finds no impression of a necessary connection; we observe only that events of one type are regularly followed by events of another (constant conjunction), and the mind, by habit, adds the feeling of necessity. The other options assert exactly the rationally demonstrable or directly perceived necessity that Hume denies.
  13. Which of the following correctly pair a Pre-Socratic thinker with the first principle (archē) attributed to them?

    1. Thales — water
    2. Anaximenes — air
    3. Heraclitus — the boundless (apeiron)
    4. Pythagoras — number
    Show answer

    Answer: A — Thales — water; B — Anaximenes — air; D — Pythagoras — number

    Thales named water, Anaximenes air and Pythagoras number as the fundamental principle. The apeiron (the boundless) is Anaximander's, not Heraclitus's, whose principle is fire and the Logos of flux, so that pairing is the false one.
  14. Which of the following are genuinely empiricist theses held by Locke, Berkeley or Hume?

    1. The mind has no innate ideas; all its materials come from experience (Locke)
    2. There are no genuinely abstract general ideas separable from particulars (Berkeley)
    3. Every simple idea is ultimately derived from a corresponding impression (Hume)
    4. Synthetic a priori judgments are the foundation of all natural science
    Show answer

    Answer: A — The mind has no innate ideas; all its materials come from experience (Locke); B — There are no genuinely abstract general ideas separable from particulars (Berkeley); C — Every simple idea is ultimately derived from a corresponding impression (Hume)

    The rejection of innate ideas (Locke), the denial of abstract ideas (Berkeley) and the impression-to-idea principle (Hume) are all core empiricist claims. The thesis that synthetic a priori judgments found natural science is Kant's, who introduces it precisely against this empiricist tradition.
  15. Which of the following statements about Plato and Aristotle on Being are correct?

    1. For Plato, the truly real is the eternal Form (Idea), which the sensible particular only imitates
    2. Aristotle locates Being primarily in substance as a compound of matter and form, rejecting a separate realm of Forms
    3. Aristotle explains a thing through four causes: material, formal, efficient and final
    4. Plato holds that the individual sensible thing is the primary substance and the Form is merely a name
    Show answer

    Answer: A — For Plato, the truly real is the eternal Form (Idea), which the sensible particular only imitates; B — Aristotle locates Being primarily in substance as a compound of matter and form, rejecting a separate realm of Forms; C — Aristotle explains a thing through four causes: material, formal, efficient and final

    Plato makes the Form the truly real; Aristotle makes substance (matter plus form) primary and uses the four causes. The option making the individual sensible thing the primary substance inverts Plato into a nominalist who privileges the particular, which is closer to a critic of Plato than to Plato himself.