I've been thinking for a long time about how to do assignments, exams, and grading differently in my intro logic course. Provincial budget cuts mean my enrolment will double to 200 students in the Fall term, and the fact that it will have to be fully online raises additional challenges. So maybe now is a … Continue reading Grading for Mastery in Introductory Logic
Author: rzach
Satisfaction and assignments
When you define satisfaction for quantified formulas, e.g., \(\forall x\, A\), you have to have a way to make \(x\) range over all elements of the domain. Here are the common options: A. Tarski-style: use variable assignments \(s\colon V \to D\) (where \(V\) is the set of variables and \(D\) the domain), then define \[\mathfrak{M}, … Continue reading Satisfaction and assignments
Letter grades in Brightspace/D2L (or other LMS)
So, we're all moving to online courses, and for some of us that means we have to figure out how to switch from scribbling feedback and letter grades on papers, handing them back to students, and turning those letter grades into a course grade at the end. Most of us are using learning management systems … Continue reading Letter grades in Brightspace/D2L (or other LMS)
Need a logic course, fast?
I wasn't going to put this online until it was done and cleaned up, but given the situation, maybe this can be of help. I just developed and tried out a course on formal logic for a 13-week semester. It has: a free online textbook: forall x: Calgarybeamer slides for lectures (or screencasts)problem sets, which … Continue reading Need a logic course, fast?
Chalk-and-talk online: whiteboard screencasting (on Linux)
Well, all my logic lectures moved online as of last week. It's been a bit of a scramble, as I'm sure it's been for you as well. I needed to rapidly produce videos of lectures (on logic in my case) I can give with students to watch. I thought I'd quickly share what I'm doing … Continue reading Chalk-and-talk online: whiteboard screencasting (on Linux)
Adding online exercises with automated grading to any logic course with Carnap
A couple of years ago I posted a roundup of interactive logic courseware with an automatic grading component. The favorite commercial solution is Barwise & Etchemendy's Language, Proof, and Logic textbook that comes with software for doing truth tables, natural deduction proofs, and semantics for propositional and first-order logic, which also automatically grades student's solutions. … Continue reading Adding online exercises with automated grading to any logic course with Carnap
The significance of the Curry-Howard isomorphism
Zach, Richard. 2019. “The Significance of the Curry-Howard Isomorphism.” In Philosophy of Logic and Mathematics. Proceedings of the 41st International Ludwig Wittgenstein Symposium, edited by Gabriele M. Mras, Paul Weingartner, and Bernhard Ritter, 313–25. Publications of the Austrian Ludwig Wittgenstein Society, New Series 26. Berlin: De Gruyter. https://doi.org/10.1515/9783110657883-018. The Curry-Howard isomorphism is a proof-theoretic result … Continue reading The significance of the Curry-Howard isomorphism
Boxes and Diamonds: An Open Introduction to Modal Logic
A textbook on modal and other intensional logics based on the Open Logic Project. It covers normal modal logics, relational semantics, axiomatic and tableaux proof systems, intuitionistic logic, and counterfactual conditionals. LINK
Incompleteness and Computability: An Open Introduction to Gödel’s Theorems
Textbook on Gödel’s incompleteness theorems and computability theory, developed for Calgary’s Logic III course, based on the Open Logic Project. Covers recursive function theory, arithmetization of syntax, the first and second incompleteness theorem, models of arithmetic, second-order logic, and the lambda calculus. LINK
Sets, Logic, Computation: An Open Introduction to Metalogic
Sets, Logic, Computation is an introductory textbook on metalogic. It covers naive set theory, first-order logic, sequent calculus and natural deduction, the completeness, compactness, and Löwenheim-Skolem theorems, Turing machines, and the undecidability of the halting problem and of first-order logic. The audience is undergraduate students with some background in formal logic, e.g., what is covered … Continue reading Sets, Logic, Computation: An Open Introduction to Metalogic
forall x: Calgary. An Introduction to Formal Logic
forall x: Calgary is a full-featured textbook on formal logic. It covers key notions of logic such as consequence and validity of arguments, the syntax of truth-functional propositional logic TFL and truth-table semantics, the syntax of first-order (predicate) logic FOL with identity (first-order interpretations), translating (formalizing) English in TFL and FOL, and Fitch-style natural deduction … Continue reading forall x: Calgary. An Introduction to Formal Logic
Rudolf Carnap: Early Writings
The Collected Works of Rudolf Carnap, Volume 1 Edited by A.W. Carus, Michael Friedman, Wolfgang Kienzler, Alan Richardson, and Sven Schlotter. With editorial assistance by Steve Awodey, Dirk Schlimm, and Richard Zach. Oxford: Oxford University Press, 2019. Publisher linkGoogle Books
Fall 2019 edition of forall x:YYC is out
The Fall 2019 edition of forall x: Calgary is officially out. It’s available for download at forallx.openlogicproject.org and can be […]
Tim Button’s Open Set Theory now part of the Open Logic Project
Tim Button (University College London) based an entire (open) textbook on set theory on the existing set theory coverage of […]
BibTeX-friendly PDF management with Zotero
For years I've been jealous of colleagues with Macs who apparently all use BibDesk for managing their article PDF collections and BibTeX citations in one nice program. I think I've finally figured out how to do both things on Linux: Zotero, with the Better BibTeX and ZotFile add-ons. Zotero is first of all a citation … Continue reading BibTeX-friendly PDF management with Zotero
New Layout, Cover Design for forall x
I’ve updated the layout for the default PDF for forall x. It now has much tighter margins and the page […]
The Emergence of First-Order Logic
The SEP entry on "The Emergence of First-Order Logic" by William Ewald is out today.
Indian Conference on Logic and its Applications 2019
The Association for Logic in India (ALI) announces the eighth edition of its biennial International Conference on Logic and its Applications (ICLA), to be held at the Indian Institute of Technology Delhi from March 3 to 5, 2019. ICLA is a forum for bringing together researchers from a wide variety of fields in which formal logic … Continue reading Indian Conference on Logic and its Applications 2019
forall x is going CC BY
The original forall x by P.D. Magnus, as well as Tim Button’s forall x: Cambridge, and the forallx: Calgary remix are now released under a Creative Commons Attribution (rather than the more restrictive Attribution-ShareALike license). The Fall 2018 version also incorporates some of Tim’s revisions for the latest version of forall x: Cambridge.
You can find all three on Github: forall x, forall x: Cambridge, and forall x: YYC.
Non-analytic tableaux for Chellas’s conditional logic CK and Lewis’s logic of counterfactuals VC
Zach, Richard. 2018. “Non-Analytic Tableaux for Chellas’s Conditional Logic CK and Lewis’s Logic of Counterfactuals VC.” Australasian Journal of Logic 15 (3): 609–28. https://doi.org/10.26686/ajl.v15i3.4780. Priest has provided a simple tableau calculus for Chellas's conditional logic Ck. We provide rules which, when added to Priest's system, result in tableau calculi for Chellas's CK and Lewis's VC. … Continue reading Non-analytic tableaux for Chellas’s conditional logic CK and Lewis’s logic of counterfactuals VC