Logic Courses and Certifications

Semantics of First-Order Logic

6 ratings at edX

Explore first-order logic's language, semantics, and limitations. Investigate sentence truth, logical truths, and relationships between expressions. Gain foundational knowledge for advanced logic studies.

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

Microcredential

Introduction to Logic and Critical Thinking

Enhance critical thinking skills to analyze and construct arguments effectively. Learn to identify, evaluate, and apply logical reasoning in various contexts, from politics to everyday decision-making.

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

Seminar on Latest Development in Logic

This course consists of a series of talks which introduce the latest development of logic and its application in other areas.

• XuetangX
• On-Demand
• Free Online Course

Logic and Economic Thinking - Reasoning

1 review

Explore logical reasoning, economic concepts, and critical thinking skills through concise explanations of fallacies, biases, investment strategies, and financial theories.

• YouTube
• 1 hour 30 minutes
• On-Demand
• Free Video

Logic: The Language of Truth

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)

Logic and Paradoxes

Explora la lógica proposicional clásica, la vaguedad, la paradoja del sorites y la paradoja del mentiroso. Aprende sobre lógicas no clásicas y técnicas de prueba para abordar estos desafiantes conceptos filosóficos.

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

PHIL102: Introduction to Critical Thinking and Logic

Develop critical thinking skills, analyze arguments, learn sentential logic, and explore scientific reasoning and creativity in this comprehensive philosophy course.

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

Basic Concepts of Logic University Freshman

Explore fundamental logic concepts, including argument recognition, conditional statements, and evaluating deductive and inductive arguments for Ethiopian university freshmen.

• YouTube
• 3 hours 30 minutes
• On-Demand
• Free Video

Informal Fallacy Logic

Explore informal fallacies in logic, including appeal to people, straw man arguments, hasty generalizations, and more. Enhance critical thinking and argument analysis skills.

• YouTube
• 6 hours
• On-Demand
• Free Video

Association for Computing Machinery (ACM)

Turing Award Recipient Dana S. Scott - Reflections on Logic and Computer Science - Part 4

Explore Dana S Scott's contributions to computer science, including his work on LCF, Scott Domains, and Category Theory Type Theory, in this insightful interview segment.

• YouTube
• 50 minutes
• On-Demand
• Free Video

Logic 101 MOOC

Master sentential logic through comprehensive lessons on simple sentences, compound statements, truth tables, logical rules, and proof strategies.

• YouTube
• 4 hours 30 minutes
• On-Demand
• Free Video

Fields Institute

What Makes a Proof Acceptable?

Explore the criteria for acceptable mathematical proofs, examining rigor, clarity, and convincing arguments in this thought-provoking lecture by Andrew Granville.

• YouTube
• 1 hour 11 minutes
• On-Demand
• Free Video

Hausdorff Center for Mathematics

Constructive Mathematics in Univalent Type Theory

Explore constructive mathematics within univalent type theory, delving into advanced concepts and their applications in modern mathematical foundations.

• YouTube
• 1 hour
• On-Demand
• Free Video

Hausdorff Center for Mathematics

An Introduction to Tensorial Logic and Dialogue Categories

An introduction to tensorial logic, exploring its relationship with dialogue games and categories. Refines linear logic and provides insights into dialogical interpretations of proofs and programs.

• YouTube
• 33 minutes
• On-Demand
• Free Video

Hausdorff Center for Mathematics

Cyclic Modal Proofs

Exploring cyclic proof theory for modal fixed point logic, its applications in deriving completeness results, and its advantages over traditional finite tree proofs in applied logic.

• YouTube
• 30 minutes
• On-Demand
• Free Video