Online interactive introductory logic textbook
August 5, 2010
Blogic is an interactive web-based textbook in introductory logic. The textbook includes interactive exercises that automatically correct the student’s work. Topics covered include: Boolean connectives in online search-strings, logic circuits, propositional logic with truth-tables, modal logic and counterfactuals with possible-worlds diagrams, the logic of frequencies and probabilities, the language of quantification. Created by J. David Velleman, Professor of Philosophy at New York University.