Logic I
Formal logic from MIT OpenCourseWare, covering what counts as good reasoning and how to test it. The course builds from validity and soundness of arguments through formal derivations, truth-functions, and truth-tables, then moves into translating between English and a formal language. Sentential calculus and predicate logic get full treatment, including their soundness and completeness results, the proofs that show a formal system proves exactly what is true. Materials follow MIT's OpenCourseWare format: lecture notes, problem sets, and assignments that build derivation skills step by step, with no cost to access the content. The course suits a first encounter with symbolic logic, whether for philosophy, mathematics, or linguistics, and gives a grounding in the formal apparatus that later courses in metalogic or computability assume you already have.