Gain insight into a topic and learn the fundamentals. This course is an introduction to Logic from a computational perspective.

Click here to learn more about the rationale for this course. Research on the foundations of logic, the development of innovative educational materials and technology, and the use of these innovations in …

In this course we will cover central aspects of modern formal logic, beginning with an explanation of what constitutes good reasoning. Topics will include validity and soundness of arguments, formal …

Logic & Proofs is an introduction to modern symbolic logic, covering sentential and predicate logic (with identity). The course is highly interactive and engaging.

Embark on a captivating journey through the world of logic, a discipline that has fascinated scholars for centuries and goes beyond mere common sense. This course explores both formal and informal …

These courses provide a comprehensive introduction to the main areas of mathematical logic. In particular, Phil 144 provides an introduction to proof theory and recursion theory, while Phil 143Y …

Welcome to Let’s Learn Logic, your gateway to a world of logic and philosophy made accessible through free, easy-to-grasp educational videos. Dive into the captivating realm of symbolic logic, unravel …

It shows how to encode information in the form of logical sentences; it shows how to reason with information in this form; and it provides an overview of logic technology and its applications - in …

There are a number of online courses and professional certificate programs in logic and computational thinking. These courses introduce learners to logic, critical thinking, and analytical reasoning.