Logic
Explore fundamental principles of reasoning, argumentation, and logic, mastering deductive and inductive techniques, syllogisms, fallacies, and quantification to sharpen critical thinking skills.
Explore fundamental principles of reasoning, argumentation, and logic, mastering deductive and inductive techniques, syllogisms, fallacies, and quantification to sharpen critical thinking skills.

Explore the definition of logic from ancient Greece to today. Learn about Aristotle, psychologism, Stebbing, and good vs. bad arguments.

Explore formal vs. material logic: Understand deductive & inductive reasoning, validity, soundness, and how they shape knowledge and arguments.

Explore logic’s nature: Is it a science uncovering reasoning rules, or an art of applying them? Dive into its history and modern role.

Explore the debate: Is logic a descriptive science (“is”) or a normative one (“ought”)? Dive into its unique role and formal principles.

Explore logic’s profound impact on knowledge, metaphysics, psychology, language, science, and math. Discover its unifying role in rigorous inquiry.

Explore logic’s building blocks: concepts, words, & terms. Learn how they relate & why these distinctions matter for clear, valid reasoning.

Explore logical terms: connotation, denotation, and how they define classes. Master clear reasoning with this guide to understanding terms.

Explore intension & extension in logic: How meaning shapes definitions, categories, & reasoning, from science to law.

Explore extension & intension in logic: Discover the inverse relationship shaping definitions, classifications, and reasoning.

Learn about logical terms: simple vs composite, singular vs general, concrete vs abstract, positive vs negative, absolute vs relative.

Explore the nature of definition in logic: verbal vs. real, Aristotle’s method, genus & differentia, rules for good definitions & their limits.

Master logical definitions: Avoid fallacies like circular reasoning with our guide. Learn to craft clear, precise definitions for stronger arguments.

Explore the limits of definition in logic: summum genus, abstract names, proper names. Understand language, meaning, and conceptual analysis.

Explore logical division: master breaking down concepts into genus, species, differentia, and avoid common errors for clear reasoning.

Master logical division: Learn rules for clear thinking, avoiding fallacies, and creating sound classifications in knowledge organization.

Explore division by dichotomy in logic: its definition, foundations in non-contradiction & excluded middle, strengths, limitations, & applications.

Explore the history of logic, from Aristotle to Abelard, and learn about the evolution of propositions and reasoning.

Learn the difference between sentences and propositions in logic. Discover why only declarative sentences can be true or false in arguments.

Explore propositions vs. judgments in logic: Understand the difference between objective truth and subjective belief.

Explore proposition types in logic: simple/ complex, categorical/ conditional, universal/particular, affirmative/negative, necessary/possible.

Learn about quality & quantity in logic: affirmative/negative, universal/particular propositions. Master A, E, I, O forms & the Square of Opposition.

Explore reasoning and inference: the core of logical thought, knowledge expansion, and clear arguments. Understand deduction, induction, and abduction.

Explore philosophical critiques of reasoning and inference, including cognitive biases and Harman’s view on logic vs. reasoning.

Explore deductive vs. inductive reasoning: logic, validity, strength, and how they shape arguments. Sharpen your critical thinking skills now!

Explore deductive & inductive reasoning, their criticisms, and defenses. Understand logic’s power and limits in science & philosophy.

Learn about generalizations in logic: unrestricted, restricted, & statistical. Improve reasoning skills & avoid hasty conclusions.

Explore deductive arguments: truth-conditions, logical relations (equivalence, contradiction & more), validity, and the Square of Opposition.

Explore categorical propositions, quality, quantity, and the square of opposition in logic. Understand contradiction, contrariety & subalternation.

Learn categorical propositions: quality, quantity, A, E, I, O forms, distribution of terms, and validity in syllogistic reasoning.

Explore Euler & Venn diagrams: Visualize logic, categorical propositions, & distribution of terms. Understand syllogisms with spatial reasoning.

Explore logical equivalence: conversion, obversion, & how to restate propositions without changing their meaning. Improve your reasoning skills!

Explore limits of deductive reasoning: immediate inference, existential import, & critiques from Boole & Strawson. Is logic detached from reality?

Explore dilemmas in logic: types, structures, & why they’re rhetorically powerful but logically limited. Spot the false dichotomy fallacy!

Explore the 4 types of logical dilemmas: constructive & destructive, simple & complex. Learn to build & counter these arguments.

Master logical dilemmas: Learn strategies to escape “either/or” traps, challenge premises, and build counter-arguments for sharper thinking.

Learn about logical fallacies: petitio principii, fallacy of accident, & argumentum ad hominem. Spot errors in reasoning and strengthen arguments.

Learn about formal fallacies: errors in argument structure, hypothetical & disjunctive fallacies, and how to spot them in real-life reasoning.

Learn to identify and avoid informal fallacies in arguments. Master relevance & clarity for stronger reasoning in politics, ads, & everyday life.

Explore fallacies of ambiguity: equivocation, amphiboly, accent. Learn how unclear language undermines arguments & how to identify them.

Explore inductive reasoning & false cause fallacies: post hoc, cum hoc, & why we make causal errors. Improve your critical thinking skills now!

Explore Kant’s solution to Hume’s problem of induction: synthetic a priori knowledge, causality, and the mind’s role in structuring experience.

Explore Hume’s Problem of Induction: Can science truly justify its laws, or is it all just habit? Dive into this classic philosophical challenge.

Explore the problem of induction: Can we justify reasoning based on past experiences? Discover philosophical defenses & why induction is vital.

Explore Karl Popper’s falsificationism: a philosophy of science rejecting induction, emphasizing testing and refuting theories to advance knowledge.

Explore Karl Popper’s falsification: How it distinguishes science from pseudoscience by focusing on disprovability, not proof.

Explore the evolution of symbolic logic, from Aristotle to modern computer science, and its impact on math, philosophy, and AI.

Explore the history of symbolic logic: Leibniz, Boole, Frege, Russell, and how it revolutionized reasoning & shaped modern computing.

Explore Principia Mathematica: Russell & Whitehead’s logic masterpiece, its impact, Gรถdel’s theorems, and its surprising legacy in computer science.

Learn the difference between simple & compound statements in logic. Master connectives (AND, OR, NOT, IF-THEN) & truth values for clear reasoning.

Learn sentential connectives: and, or, not, if…then, if and only if. Master logic, truth tables, and their real-world applications.

Learn propositional logic: truth tables, connectives (and, or, not, if/then), & how they form arguments. Improve reasoning & critical thinking.

Learn propositional logic: master compound propositions, connectives, parentheses & truth values. Decode complex arguments & improve reasoning skills.

Learn categorical syllogisms: structure, terms (major, minor, middle), standard form, mood, figure, distribution, validity, & spotting fallacies.

Explore syllogistic logic: Learn about quantity, quality, distribution axioms, & avoid fallacies for sound reasoning in arguments.

Explore syllogisms: Learn about moods, figures, and validity in logic. Discover how these tools reveal the structure of deductive arguments.

Learn to identify formal fallacies in categorical syllogisms: undistributed middle, illicit major/minor, exclusive premises, negative conclusions.

Explore Aristotle’s logic: Learn about syllogisms, figures, moods, and reduction techniques for valid deductive reasoning.

Explore antilogism, a logic technique by Christine Ladd-Franklin, to test syllogism validity by checking for contradictions. Learn with examples.

Learn how to use Venn diagrams to test the validity of logical arguments and categorical syllogisms. Clear examples included!

Explore material implication in logic: truth tables, equivalent forms (disjunction, contrapositive), contradictions, and applications in math/CS.

Explore disjunction in logic: inclusive/exclusive “or,” truth tables, equivalence to implication, De Morgan’s Laws, and applications.

Explore negation in logic: truth tables, De Morgan’s laws, double negation, proof by contradiction, and its applications in math & computer science.

Explore conjunction and biconditional logical connectives: truth tables, examples, and their use in arguments, proofs, and computer science.

Explore contradictions in logic: definitions, truth tables, the Law of Non-Contradiction, and their role in reasoning and proofs.

Explore the Sheffer stroke (NAND), a single connective able to express all of propositional logic. History, truth tables, and applications in computing.

Explore the dagger function (NOR), a single logical operator able to express all propositional logic, its history, and philosophical significance.

Explore formal proofs of validity in logic: understand rules, symbolic representation, and their importance beyond the classroom.

Learn the 9 rules of inference in propositional logic: Modus Ponens, Modus Tollens, Hypothetical Syllogism, Disjunctive Syllogism, and more.

Explore argument validity with truth tables and formal proofs. Learn to verify claims and master logical reasoning skills.

Learn how to symbolize verbal arguments, test validity, and apply rules of inference in formal logic. Improve reasoning with symbolic logic!

Learn rules of replacement in logic: De Morgan’s laws, commutation, distribution, more. Master formal proofs and logical equivalences!

Learn formal logic: Master rules of replacement to rewrite arguments, expose hidden connections, and test validity. Examples included.

Master formal logic: Learn inference & replacement rules, how they combine to build valid proofs, and their real-world applications.

Learn to translate verbal arguments into logical form, test validity, and sharpen critical thinking skills using symbolic logic.

Learn conditional proof in logic: master “if-then” arguments with assumptions, subproofs, tautologies, and nested structures.

Explore indirect proof (reductio ad absurdum): logic, history, structure, direct vs indirect, examples (irrationality of โ2), & its power.

Learn the strengthened rule of conditional proof: a flexible logic tool for complex arguments, nested sub-proofs, and broader applications.

Learn how to prove arguments are invalid in logic using counterexamples, truth tables, and model universes. Spot faulty reasoning & improve critical thinking.

Understand quantification in logic: universal & existential quantifiers, propositions, and why precision matters in arguments and reasoning.

Explore quantifiers in logic: learn about universal & existential quantifiers, the Square of Opposition, and logical equivalences.

Learn the rules of quantification in logic: universal & existential instantiation/generalization. Master predicate logic for valid arguments.

Explore syllogism validity: Learn how quantification offers a rigorous alternative to term distribution for testing logical arguments.

Learn about multiply general propositions in logic: quantifiers, order, translation, negation, prenex normal form, and why they matter.

Learn about the Strengthened Rule of Conditional Proof, logic’s tool for proving “if-then” statements with universal & existential quantifiers.

Learn how to prove invalidity in quantified logic: model construction, expansions, universe size, short method, and counterexamples.

Explore non-syllogistic arguments: relational, conditional, & quantitative reasoning explained. Master logic beyond Aristotle’s syllogisms.