Philosophy, Mathematics, Logic, AI, Life Sciences, and Alignment
Reordered by logical dependence: easiest prerequisites first
If you need to refresh pre-calculus or basic proof techniques before Phase 1.
Goal: Understand representations as vectors in high-dimensional space and learning as moving down a slope. Grasp the logical foundations of meaning and semantics. Ground your intuitions about agency before formalizing them. Internal order matters: Mind → Mereology → Language/Pragmatics → Action → Math → Logic → Biology. Each step prepares the vocabulary for the next.
Goal: Master the mathematics of uncertainty and counterfactuals — the bridge between ethics and technical AI. Understand the ultimate framework for "why" intelligence exists: evolution.
Goal: Understand "What should agents do?" (Parfit) meeting "What can agents calculate?" (AI). Having completed Phase 1d, you now encounter formal decision theory as a formalization of concepts already examined philosophically — including the reasons/causation tension from Davidson, the planning structures from Bratman, and the hierarchy of desires from Frankfurt. Notice how often the formal tools are incomplete formalizations of the philosophical problems.
Goal: Build technical fluency in how neural networks actually work. Understand the fundamental unit of life: the cell, and the architecture of the brain.
Goal: Understand why "next token prediction" is so powerful and how modern LLMs work. Understand the architecture of the most complex system we know: the human body.
Goal: Master the core alignment literature and connect it to your architectural vision. The mereology you read in Phase 1b now pays off in category theory; the philosophy of action from Phase 1d pays off in discussions of goal-directed behavior; Bratman's planning structures appear almost verbatim in agent foundations work. The advanced logic and substructural logics here are genuinely hard prerequisites on each other — read them in the order given.