Logic Courses and Certifications

Semantics of First-Order Logic

6 ratings at edX

Explore the semantics of first-order logic with Stanford University in a 4-week course. Learn to make precise statements, understand truth and falsehood, and discover the limits of logic.

• edX
• 4 weeks, 5-10 hours a week
• On-Demand
• Free Online Course (Audit)

Microcredential

Introduction to Logic and Critical Thinking

Duke University's 17-week course enhances your logic and critical thinking skills, teaching you to analyze and construct arguments effectively. Expect a 5-hour weekly commitment.

• Coursera
• 17 weeks, 5 hours a week
• On-Demand
• Paid Course
• 4 courses

Logic and Economic Thinking - Reasoning

1 review

Shift from Efficient Markets (EMH) to Behavioral Finance (BF): Solving the "Rationality" Paradox in One Minute.Social Dilemmas and Prisoner's Dilemma (PD): Definition, Meaning and Example Explained in One Minute.The Economics Behind...

• YouTube
• 1 hour 30 minutes
• On-Demand
• Free Online Course

Logic: The Language of Truth

51 ratings at FutureLearn

Learn how to use logic to evaluate arguments and discover more about philosophical concepts like truth-tables and logical form.

• FutureLearn
• 4 weeks, 4 hours a week
• On-Demand
• Free Online Course (Audit)

Universidad de Navarra

Logic and Paradoxes

Explore the philosophical significance of the sorites and Liar paradoxes, learn reactions to them, and master logics K3, LP, and ST with Universidad de Navarra. 7 weeks, 3 hours/week. Access videos and key content.

• Miríadax
• 7 weeks, 3 hours a week
• On-Demand
• Free Online Course

Basic Concepts of Logic University Freshman

This course covers basics of logic, ranging from recognizing arguments and conditional statement to evaluating inductive and deductive arguments.

• YouTube
• 3 hours 30 minutes
• On-Demand
• Free Online Course

Informal Fallacy Logic

Explore the intricacies of informal fallacy logic in a 6-hour program by Ethiopian University, covering topics from weak induction to grammatical analogy.

• YouTube
• 6 hours
• On-Demand
• Free Online Course

PHIL102: Introduction to Critical Thinking and Logic

This course introduces students to critical thinking and logic through units on argument analysis, basic sentential logic, fallacies, scientific reasoning, and strategic reasoning. By the end of the course, students will be able to analyze arguments, ide…

• Saylor Academy
• 40 hours
• On-Demand
• Free Certificate

Logic 101 MOOC

Logic 101 is a set of rules for the study of logic. The rules include: Conditional (If-Then) Statements, OR/Disjunction, Negation, and Material Implication. The book also includes the theory of conjunctions and proof theory. It is available in English, F…

• YouTube
• 4 hours 30 minutes
• On-Demand
• Free Online Course

Wondrium

Solving Impossible Puzzles - Math Logic and Games

Explore the intersection of math and logic with Wondrium's short program, where Art Benjamin deciphers classic puzzles like the 15 Puzzle and Peg Solitaire.

• YouTube
• 45 minutes
• On-Demand
• Free Online Course

Hausdorff Center for Mathematics

Graham Leigh: On the Computational Content of Classical Sequent Calculus

Explore computational interpretations of classical logic with the Hausdorff Center for Mathematics. Learn about Herbrand's Theorem, higher-order recursion schemes, and term application in under an hour.

• YouTube
• 35 minutes
• On-Demand
• Free Online Course

Alan Turing Institute

Learning Logically Defined Hypotheses - Martin Grohe, RWTH Aachen University

Explore the intersection of logic and machine learning in this under 1-hour workshop by Martin Grohe from the Alan Turing Institute. Dive into declarative ML frameworks, learnability results, and logic-affine applications.

• YouTube
• 45 minutes
• On-Demand
• Free Online Course

Fields Institute

What Makes a Proof Acceptable?

Explore the principles of proof acceptance with Andrew Granville from Université de Montréal, in a 1-2 hour session organized by Fields Institute.

• YouTube
• 1 hour 11 minutes
• On-Demand
• Free Online Course

Hausdorff Center for Mathematics

Constructive Mathematics in Univalent Type Theory

Dive into Constructive Mathematics in Univalent Type Theory with Martin Hötzel Escardó at the Hausdorff Center for Mathematics. Expect 1-2 hours of material.

• YouTube
• 1 hour
• On-Demand
• Free Online Course

Hausdorff Center for Mathematics

An Introduction to Tensorial Logic and Dialogue Categories

Explore tensorial logic and its relationship with dialogue games and categories in this brief lecture by Paul Andre Mellies, offered by the Hausdorff Center for Mathematics.

• YouTube
• 33 minutes
• On-Demand
• Free Online Course