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:
In addition to these standard topics, the textbook also includes:
- 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.