Open Logic Textbook forall x: Calgary Joins ChapterPal's Free Textbook Collection
burkov · x · 2026-10-16
forall x: Calgary: An Introduction to Formal Logic (2023), by P. D. Magnus, Tim Button, Robert Trueman, and Richard Zach, is now available in ChapterPal's collection of open textbooks.
Aimed at undergraduates and independent learners with no background in formal reasoning or advanced math, the book:
- Covers truth-functional sentential logic, first-order predicate logic, and elementary modal logic in full
- Organizes material around validity, satisfiability, and entailment
- Teaches students to formalize natural-language reasoning and evaluate it via both semantic models and syntactic methods, with rigor but without heavy metatheoretic machinery
More from Companies & People
- Resurfaced 2021 Anthropic roadmap tied AI progress to personal-life decisions — akbirthko · 2026-10-16
- MIT Biology and Schwarzman College hiring tenure-track professor in computational biology with generative AI focus — anshulkundaje · 2026-10-16
- DynaRobotics CEO Lindon Gao on running deployment and research feedback loops together — micoolcho · 2026-10-16
- Companies rushed in on AI. Now some are pulling back — return2ozma · 2026-10-16
- ai& × AMD Build Day hackathon in Tokyo: 8 teams, 4.5 hours, Chinese models allowed — DavidBennett__ · 2026-10-16
- Sakana AI opens first dedicated ISV, SI and CS roles in Japan GTM push — SakanaAILabs · 2026-10-16