Training in symbolic logic is critical in many careers, for responsible citizenship and better lives. It is also an underexploited antidote to today’s bizarre conspiracy thinking ...

Logic is an ancient discipline that has undergone striking modern developments through the introduction of rigorous formal methods, stimulated largely by foundational problems in mathematics.

Logic is an ancient discipline that has undergone striking modern developments through the introduction of rigorous formal methods, stimulated largely by foundational problems in mathematics.

Outline of topics Ever since modern symbolic logic was consolidated (in the mid 1900s), the standard format for an introductory logic class has been to learn the classical predicate calculus in three ...

We’re about halfway through the initial content unit in GE 103, which is on logic and argumentation. The main flow of the unit is that we learn about statements and representing statements in ...

T. Barrett and H. Halvorson. Quine's conjecture on many-sorted logic. Synthese (2017) H. Lederman et al. Prospects for a naive theory of classes Notre Dame Journal of Formal Logic (2017) J. Burgess ...