Open Logic Project
A collaborative, open-source logic textbook that teachers can freely customize, covering propositional and first-order logic, computability, and incompleteness.
No account needed · sign in to keep your taste everywhere
More like this
Pages that share Open Logic Project's themes. Or browse all of Education.
Some Invalid Arguments Are More Bad Than Others
An essay proposing a formal way to score how flawed an invalid argument is, combining where the errors occur, whether th…
Modal Logic Playground
An interactive playground for modal logic where you build Kripke models and test formulas against them to see which worl…
Thought Experiments
A blog walking through famous thought experiments across philosophy, physics, and history, from quantum suicide to ident…
Tree Proof Generator
A browser tool that builds analytic tableaux (tree proofs) for propositional and predicate logic formulas, showing step…
Open Music Theory
A free, open-source college-level music theory textbook covering everything from notation fundamentals to post-tonal ana…
Linear Algebra Done Right
The companion site for Sheldon Axler's proof-based linear algebra textbook, offering the book for free along with extra…
Stumble onto more like this
One click takes you to a page you didn't know you were looking for. Rate it and the next one lands closer to your taste.
Add to Browser — it's freeWorks in Chrome, Edge and Brave. No account needed.