Western Metaphysics and Epistemology: From the Pre-Socratics to the Gettier Problem
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.
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.
| View | Thinker | Claim |
|---|---|---|
| Interactionism | Descartes | Two substances causally act on each other |
| Parallelism | Spinoza | One substance; thought and extension are its attributes, running in step with no interaction |
| Occasionalism | Malebranche | God causes the apt mental and bodily events on each occasion |
| Pre-established harmony | Leibniz | Windowless 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.
Which Pre-Socratic philosopher held that reality is one, uncreated, indivisible and changeless, so that the world of change is mere opinion?
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.In Aristotle's metaphysics, a concrete substance is best described as which of the following?
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.On St Augustine's standard account, the metaphysical status of evil is best captured by which claim?
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.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?
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.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?
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.In Kant's theoretical philosophy, what exactly does the transcendental deduction of the categories set out to establish?
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.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?
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.Descartes' first indubitable truth, reached at the end of his method of doubt, rests on which consideration?
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.Berkeley's thesis esse est percipi ("to be is to be perceived") is most directly supported by which further Berkeleian claim?
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.Kant describes his central move as a "Copernican revolution" in philosophy. What is the core of this move?
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.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?
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.Hume analyses our idea of causation. On his view, what do we actually observe when we say one event causes 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.Which of the following correctly pair a Pre-Socratic thinker with the first principle (archē) attributed to them?
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.Which of the following are genuinely empiricist theses held by Locke, Berkeley or Hume?
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.Which of the following statements about Plato and Aristotle on Being are correct?
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.