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.

Some of the most important developments of symbolic logic took place in the 1920s. Foremost among them are the distinction between syntax and semantics and the formulation of questions of completeness ...

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