> For the complete documentation index, see [llms.txt](https://documentation.specollective.org/llms.txt). Markdown versions of documentation pages are available by appending `.md` to page URLs; this page is available as [Markdown](https://documentation.specollective.org/knowledge-base/formal-sciences/logic.md).

# Logic

Logic is the study of truth and reasoning. It is concerned with the nature and validity of arguments and logical statements. The subject matter of logic includes informal logic, formal logic, mathematical logic, and philosophical logic.

**Books**

* [Open Logic Project](https://openlogicproject.org/)

**Courses**

* [MIT Open Courseware - Logic 1](https://ocw.mit.edu/courses/linguistics-and-philosophy/24-241-logic-i-fall-2009/)