An open symbolic logic project that includes a textbook, sample problems, and an interactive proof testing system.
Category: PHIL 210
forallx: An Introduction to Formal Logic (Magnus, 2017) (CC BY-SA)
A Concise Introduction to Logic (DeLancey, 2017) (CC BY-NC-SA) A Concise Introduction to Logic is an introduction to formal logic suitable for undergraduates taking a general education course in logic or critical thinking and is accessible and useful to any interested in gaining a basic understanding of logic. This text takes the unique approach of teaching …
A Concise Introduction to Logic (DeLancey, 2017) – LibreTexts (CC BY-NC-SA)Read More »
Modern Formal Logic Primer (Teller, 1989) (Copyrighted, Free for Instructional and Educational Use)