Welcome to BLOGIC. This site includes an interactive online textbook and, for those who register, graded quizzes -- a complete, one-semester course covering the standard syllabus in logic taught by most American philosophy departments. Topics include:

• Symbolizing arguments
• Truth tables
• Natural deduction for propositional logic
• Models for predicate logic
• Natural deduction for predicate logic

• The logic of Boolean searching
• An introduction to logic circuits, with interactive working models
• An introduction to computability, with a working, programmable Turing Machine
• An introduction to modal logic, with possible-worlds diagrams

Students of Set Theory, try PROOF DESIGNER, by my brother Dan.