Parts of the Open Logic Text as well as the textbooks Sets, Logic, Computation and Set Theory are now available in (Brazilian) Portuguese. The Portuguese translation and adaptation is by Pedro Lima, a philosophy student based in Portugal. H…
Most of the Open Logic textbooks have seen lots of changes from the versions currently available in hardcopy, so it’s […] Peter Selinger’s fitch.sty package is a popular way to produce nicely formatted Fitch-style natural deduction proofs (…
Most of the Open Logic textbooks have seen lots of changes from the versions currently available in hardcopy, so it’s time to refresh those to Fall 2025 editions. These will incorporate all the corrections reported by readers since at least…
Most of the Open Logic textbooks have seen lots of changes from the versions currently available in hardcopy, so it’s […] Peter Selinger’s fitch.sty package is a popular way to produce nicely formatted Fitch-style natural deduction proofs (…
Peter Selinger’s fitch.sty package is a popular way to produce nicely formatted Fitch-style natural deduction proofs (e.g., in the free/open logic textbooks of the forall x family). It is now maintained again and a new version is in prepara…
I’ve removed the “beta” from the Fall 2023 edition of forall x: Calgary. It is now available in paperback on Amazon (US | CA | UK | DE | AU). It’s is an open-source, collaborative textbook of logic and formal methods, starting at an interme…
I’ve removed the “beta” from the Fall 2023 edition of forall x: Calgary. It is now available in paperback on […] I’ve put up the (beta) version of forall x: Calgary. I’ll hold off on putting it on Amazon for a […] I’m happy to report that f…
I’ve put up the (beta) version of forall x: Calgary. I’ll hold off on putting it on Amazon for a bit to see if there are any problems. Here’s a list of changes: It’s is an open-source, collaborative textbook of logic and formal methods, sta…
I’m happy to report that forall x: Calgary is now available in an HTML version for reading online. It turned out that LaTeXML has come a long way and basically produced good results without too much fiddling—there were only a handful of bit…
The first section texts were checked in to the OLP GitHub repository just over 10 years ago. That first checkin consisted of just a few style files and six sections on sets and relations, and relational semantics for modal logic. Meanwhile
In preparation for the Fall 2021 edition of Sets, Logic, Computation, the material in the Open Logic Project has seen a number of recent changes and additions. Here’s a rundown. I’d be glad to get feedback on the changes, esp. if you find a…
ICYMI, forall x: Calgary has been translated into German and Portuguese! forall x: Dortmund by Simon Wimmer is the German version (PDF) and para todxs: Natal by Daniel Durante et al is the Portuguese version. If I understand correctly, they…