These notes are intended to accompany an informal class on formal logic held at Queerious Labs in early 2023. The notes will try to be a complete reference of what the class is about, hopefully enough to be usable by anyone who isn't physically at the class.
- What is logic for and how does it relate broadly-speaking to computation and programs?
- Overviews of kinds of logics
- Boolean logic and other value-oriented logics -- the tools in every computer geek's back pocket
- Exploration of Proof Techniques and how they relate to different logics (by way of implementations, if so desired)