Logic

TODO

Articles

• Logic, Explainability and the Future of Understanding

• Propositional Dynamic Logic

• On the unity of logic

• Finite of Sense and Infinite of Thought: A History of Computation, Logic and Algebra, Part I

Books

• An Introduction to Non-Classical Logic

• Введение в логику и научный метод (Коэн М., Нагель Э.)

• Logic Made Easy: How to Know When Language Deceives You (Deborah J. Bennett)

Courses / Videos

• Семантические аспекты интуиционистской логики

• Introduction to Logic and Critical Thinking

• Курс «Введение в логику»

• Математическая логика

• Введение в логику

• 100 Days of Logic (Full)

• Advanced Logic

Links

• Logic Matters
• Logic and Computation Intertwined
• History of Logic