history of logic on Digitable Courses

history of logic on Digitable Courses https://courses.digitable.life/en/tags/history-of-logic/ Recent content in history of logic on Digitable Courses Hugo -- gohugo.io en-US Tue, 28 Jul 2026 10:05:00 +0300 How humanity learned to reason: from Aristotle to programs and categories https://courses.digitable.life/en/post/logic/14-history-and-levels-of-abstraction/ Tue, 28 Jul 2026 10:05:00 +0300 https://courses.digitable.life/en/post/logic/14-history-and-levels-of-abstraction/ Two complete versions of one story: the human path from belief to proof and the engineering path from requirements to types, policies, tests, and architecture.