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.

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 ...

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 ...

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 ...

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.