# Logic

TODO

## Articles

* [Logic, Explainability and the Future of Understanding](https://writings.stephenwolfram.com/2018/11/logic-explainability-and-the-future-of-understanding/)
* [Propositional Dynamic Logic](https://plato.stanford.edu/entries/logic-dynamic/)
* [On the unity of logic](https://www.sciencedirect.com/science/article/pii/016800729390093S)
* [Finite of Sense and Infinite of Thought: A History of Computation, Logic and Algebra, Part I](https://pron.github.io/posts/computation-logic-algebra-pt1)

## Books

* [An Introduction to Non-Classical Logic](https://www.cambridge.org/ie/academic/subjects/philosophy/philosophy-science/introduction-non-classical-logic-if-2nd-edition?format=PB\&isbn=9780521670265)
* Введение в логику и научный метод (Коэн М., Нагель Э.)
* Logic Made Easy: How to Know When Language Deceives You (Deborah J. Bennett)

## Courses / Videos

* [Семантические аспекты интуиционистской логики](https://compsciclub.ru/courses/intuitionisticsemantics/2021-autumn/)
* [Introduction to Logic and Critical Thinking](https://www.coursera.org/specializations/logic-critical-thinking-duke)
* [Курс «Введение в логику»](https://youtube.com/playlist?list=PLo6puixMwuSNCt4bd99UheEjaS4EudoGJ)
* [Математическая логика](https://youtube.com/playlist?list=PLDrmKwRSNx7JW-pjDoo6gEFdvA4tFUYQB)
* [Введение в логику](https://youtube.com/playlist?list=PLDrmKwRSNx7J68M1-xHVCtravxeQmarQ8)
* [100 Days of Logic (Full)](https://youtube.com/playlist?list=PLz0n_SjOttTcjHsuebLrl0fjab5fdToui)
* [Advanced Logic](https://youtube.com/playlist?list=PLz0n_SjOttTfubgY0h2AJhNyRSsog1X9P)

## Links

* [Logic Matters](https://www.logicmatters.net/)
* [Logic and Computation Intertwined](https://cs.uwaterloo.ca/~plragde/flaneries/LACI/)
* [History of Logic](https://github.com/prathyvsh/history-of-logic)