First Principles & Axioms
The bedrock starting points that every proof depends on yet none can prove — where the endless chain of 'why?' finally has to stop.
Archái and axiómata are the foundational assumptions from which all logical reasoning begins—the bedrock truths that cannot themselves be proven without circular reasoning. Aristotle developed the systematic account of first principles, arguing that every demonstration must start somewhere, and that starting point cannot be demonstrated. These are not opinions or guesses but necessary truths that serve as anchors for all knowledge that follows.
In practice, a mathematician might begin with the axiom that equals added to equals produce equals, then build theorems upon it without needing to justify that axiom itself. Similarly, in natural philosophy, Aristotle insists that first principles about causation and existence must be established as fact before we can properly explain anything else. The entire edifice of rational inquiry depends on identifying and agreeing upon these indemonstrable truths.
Where this idea shows up
41 Greek sources·1 Jewish-canon citationWhere to read it
- Magna Moralia322 BCEAristotle· Chalcis
- Nicomachean Ethics322 BCEAristotle· Chalcis
- Analytica priora322 BCEAristotle· Chalcis
- Metaphysics322 BCEAristotle· Chalcis
- Eudemian Ethics322 BCEAristotle· Chalcis
- Fragmenta varia287 BCETheophrastus· Athens
- Metaphysics287 BCETheophrastus· Athens
- Epistula ad Herodotum270 BCEEpicurus· Athens
- Archimedes· Syracuse (Sicily)
- De sphaera et cylindro212 BCEArchimedes· Syracuse (Sicily)
- De Rerum Natura55 BCELucretius· Rome
- Institutio Oratoria95 CEQuintilian· Rome
- Discourses108 CEEpictetus· Nicopolis
- De Virtute Morali120 CEPlutarch· Chaeronea
- De Defectu Oraculorum120 CEPlutarch· Chaeronea
- De E apud Delphos120 CEPlutarch· Chaeronea
- Plutarch· Chaeronea
- Plutarch· Chaeronea
- Plutarch· Chaeronea
- De primo frigido120 CEPlutarch· Chaeronea
- Quaestiones Convivales120 CEPlutarch· Chaeronea
- The Handbook135 CEEpictetus· Nicopolis
- Galen· Rome
- Hermotimus180 CELucian of Samosata· Samosata
- Noctes Atticae180 CEAulus Gellius· Rome
- Necyomantia180 CELucian of Samosata· Samosata
- Icaromenippus180 CELucian of Samosata· Samosata
- Adversus Mathematicos190 CESextus Empiricus· Alexandria
- Pyrrhoniae Hypotyposes210 CESextus Empiricus· Alexandria
- Sefer HaIkkarim1425 CE