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
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)
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?
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)
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
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
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
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 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 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
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
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
The SEP entry on "The Emergence of First-Order Logic" by William Ewald is out today.
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
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
Postdoc position in Logic at Utrecht University, the Netherlands. The postdoc is embedded in the research project “Optimal Proofs” funded by the Netherlands Organization for Scientific Research led by Dr. Rosalie Iemhoff, Department of Philosophy and Religious Studies, Utrecht University. The project in mathematical and philosophical logic is concerned with formalization in general and proof … Continue reading PhD, Postdoc with Rosalie Iemhoff