Critical Thinking Logic

This deck introduces the foundational concepts of critical thinking and logic, walking you through the building blocks of clear reasoning. You'll explore what makes an argument, how premises lead to conclusions, and the differences between valid, sound, and invalid reasoning. The cards also cover common reasoning patterns like deductive, inductive, and abductive reasoning, along with classic forms such as syllogisms, modus ponens, and modus tollens.

It's a great starting point if you're new to formal logic or simply want to sharpen how you evaluate arguments in everyday life. Students taking philosophy, debate, or rhetoric courses will find the vocabulary and distinctions especially useful, but anyone interested in thinking more clearly can benefit. The terminology can feel abstract at first, but the cards break each idea down into manageable pieces.

To get the most out of the deck, try studying in short sessions over several days rather than cramming all at once — logic concepts build on one another, so spacing your review helps the earlier terms stay fresh as you move into more complex patterns. When you encounter a formal term like "syllogism" or "modus ponens," pause to come up with your own everyday example; applying the concept actively will make it stick far better than passive memorization.

Critical thinking is the disciplined process of analyzing, evaluating, and reasoning about information to form well-justified beliefs and decisions. As a practice, it rests on logic, which is the study of valid inference and the principles that distinguish correct reasoning from incorrect. When we engage in critical thinking, we typically work with arguments—sets of statements intended to support a conclusion. The statements that provide support are called premises, and the statement that the argument aims to establish is the conclusion. Recognizing the structure of an argument is the first step toward evaluating it.

The strength of an argument is judged along two dimensions. A valid argument is one whose conclusion must be true if its premises are true; the conclusion follows necessarily from the premises. An invalid argument is one in which the conclusion could be false even when the premises are true. Validity concerns logical structure, not factual content. A sound argument goes further: it is a deductively valid argument with all true premises. Thus soundness combines validity with truth, while validity alone guarantees only that truth is transmitted, not that the premises actually are true.

Reasoning itself takes several forms. Deductive reasoning moves from general premises to a specific conclusion that follows with necessity—if the premises are true, the conclusion cannot be otherwise. Inductive reasoning works in the opposite direction, drawing a probable general conclusion from specific observations. Abductive reasoning, sometimes called inference to the best explanation, formulates the most plausible account of the available evidence. A classic deductive form is the syllogism, such as: all humans are mortal; Socrates is human; therefore, Socrates is mortal.

Two important patterns of deductive inference are modus ponens (if \(P\) then \(Q\); \(P\); therefore \(Q\)) and modus tollens (if \(P\) then \(Q\); not \(Q\); therefore not \(P\)). These forms are valid because the conclusion necessarily follows from the premises whenever logical entailment holds—whenever the truth of one statement requires the truth of another. Related to entailment are the notions of necessary and sufficient conditions: a necessary condition must be present for an outcome, while a sufficient condition, by its presence alone, guarantees that outcome.

A fallacy is any error in reasoning that undermines the support an argument offers for its conclusion. Fallacies divide into two broad kinds. A formal fallacy is a flaw in the logical structure of an argument, often identifiable by its symbolic form. Two classic examples are affirming the consequent (if \(P\) then \(Q\); \(Q\); therefore \(P\)) and denying the antecedent (if \(P\) then \(Q\); not \(P\); therefore not \(Q\)). Both patterns resemble valid deductive forms but commit the structural error of reversing or negating the wrong term. In contrast, an informal fallacy arises from errors in content, context, or language rather than in formal pattern.

Many informal fallacies concern relevance—reasons offered in place of actual evidence. The ad hominem attack dismisses an argument by attacking the person who made it. Tu quoque, the "you too" fallacy, rejects criticism by accusing the critic of similar wrongdoing. The straw man misrepresents an opponent's view to make it easier to attack. A red herring introduces an irrelevant topic to divert attention. The genetic fallacy judges an idea by its origin rather than its merits. Poisoning the well discredits a speaker in advance so that anything they say is dismissed. Whataboutism deflects criticism by pointing to others' faults. None of these moves engages the substance of the argument at issue.

Other informal fallacies arise from weak inductive support. Hasty generalization draws a broad conclusion from too few examples; anecdotal evidence substitutes a personal story for systematic data. The post hoc fallacy assumes that because \(B\) followed \(A\), \(A\) must have caused \(B\); the broader correlation/causation fallacy treats any statistical association as a causal relationship. The gambler's fallacy mistakenly believes that past random events influence future independent ones. Cherry-picking selects evidence that supports a conclusion while ignoring contradicting evidence, and the Texas sharpshooter fallacy draws a conclusion from data by highlighting clusters after the fact. A further cluster of fallacies stems from ambiguity: equivocation uses a word with multiple meanings inconsistently; amphiboly arises from ambiguous sentence structure. The composition fallacy assumes what is true of parts is true of the whole, while the division fallacy commits the reverse error. The false cause fallacy, more generally, misidentifies a cause.

A final family of informal fallacies involves false presuppositions and illegitimate appeals. A loaded question smuggles in an unjustified assumption, as in "Have you stopped lying?" Begging the question assumes the very point at issue, and circular reasoning embeds the conclusion in a premise. The false dilemma presents only two options when more exist; the slippery slope claims that one step will trigger an inevitable chain of disasters without justification. Special pleading exempts oneself from a standard applied to others, and moving the goalposts shifts the criteria of an argument once they have been met. The no true Scotsman fallacy arbitrarily redefines a category to exclude counterexamples. Appeals to authority, popularity (ad populum or bandwagon), tradition, ignorance, nature, consequences, and emotion—particularly fear—all substitute psychological pressure for evidence. The middle-ground or fallacy of moderation assumes that the truth lies between two positions simply because they are opposed, and the perfect solution fallacy rejects good solutions because they are not flawless. The gish gallop overwhelms opponents with many rapid, weak arguments. Recognizing these patterns is essential because they are common in everyday reasoning, advertising, and political debate.

Human cognition is shaped by systematic tendencies called cognitive biases, which are predictable deviations from rational judgment. Confirmation bias leads us to favor information that confirms our existing beliefs and discount evidence that contradicts them. Availability bias makes us judge the probability of events by how easily examples come to mind, often overestimating vivid or recent occurrences. Anchoring bias causes us to rely too heavily on the first piece of information presented, even when it is irrelevant. Hindsight bias, the "I knew it all along" effect, distorts memory of past predictions after the outcome is known. These biases shape not just what we believe but how confident we feel about those beliefs.

Biases also distort how we assess ourselves and others. The Dunning-Kruger effect describes how those with limited skill tend to overestimate their ability, while experts often underestimate theirs. Overconfidence bias reflects excessive trust in one's own judgment. In-group bias favors members of our own group, and the fundamental attribution error overemphasizes personal traits while underestimating situational factors in explaining others' behavior. Self-serving bias attributes our successes to ourselves and our failures to external circumstances. Naive realism is the belief that we see the world objectively and that those who disagree are simply biased. Motivated reasoning is the broader pattern of reasoning toward a preferred conclusion rather than the most accurate one. Cognitive dissonance—the discomfort of holding contradictory beliefs—often triggers rationalization, in which we produce plausible but false reasons to ease the tension, and in extreme cases, denial, in which we refuse to accept reality despite evidence.

Decision-making is also shaped by how information is framed and how options feel. Loss aversion makes us prefer avoiding losses over acquiring equivalent gains, while the framing effect shows that the presentation of information influences our choices independently of the underlying facts. Status quo bias produces a preference for the current state of affairs, and the halo and horn effects cause one positive or negative trait to color our overall judgment of a person. The planning fallacy leads us to underestimate the time and resources tasks require, while recency bias weighs recent events more heavily than distant ones. Survivorship bias directs attention to those who "survived" a process while ignoring those who did not. The bandwagon effect, the IKEA effect (overvaluing what we helped create), and the endowment effect (valuing what we own) all reveal how context and ownership distort valuation. The just-world hypothesis leads to victim-blaming under the assumption that the world is fair, and moral licensing permits unethical behavior after a virtuous act. The bystander effect shows that helping behavior is reduced when others are present.

Beyond these motivational and social biases, several biases distort our statistical and probabilistic reasoning. The conjunction fallacy leads us to judge the conjunction of two events as more probable than one of them alone. Base rate neglect causes us to ignore underlying statistical frequencies in favor of specific information. Regression to the mean describes the tendency for extreme observations to be closer to average on subsequent measurements, often misinterpreted as a real effect; the law of large numbers, by contrast, states that as sample size grows, the sample mean approaches the population mean, while the cognitive law of small numbers reflects the mistaken belief that small samples reliably reflect population properties. The illusion of control makes us overestimate our influence over events, and optimism bias leads us to underestimate the likelihood of negative events affecting us personally. Many of these errors arise from heuristics—mental shortcuts that are often useful but systematically mislead in particular conditions—and represent a bias-variance tradeoff in belief formation, balancing simplification against capturing variability.

Epistemology is the branch of philosophy that examines knowledge—its nature, sources, and limits. The classical definition holds that knowledge is justified true belief: a person knows a proposition when they believe it, the belief is true, and they have adequate justification for it. The Gettier problem, however, presents cases in which someone has justified true belief yet seems to lack knowledge, suggesting that justification and truth may not be sufficient. Epistemology also contrasts two major sources of knowledge. Empiricism holds that knowledge comes primarily from sensory experience, while rationalism argues that reason is the principal source, especially for necessary truths. Skepticism pushes these questions further by doubting claims to knowledge whenever sufficient evidence is lacking, demanding rigorous standards for any assertion.

A foundational distinction in critical thinking is between facts, opinions, and value judgments. A fact is a statement that can be verified as true. An opinion is a personal judgment or belief that need not be verifiable. A value judgment is an assessment rooted in personal or cultural values. The is-ought distinction, articulated by Hume, warns that one cannot logically derive what ought to be from what is; the naturalistic fallacy is the error of inferring moral claims from natural facts, while the moralistic fallacy is its reverse, inferring facts from moral preferences. These distinctions help separate descriptive claims about how things are from normative claims about how they ought to be.

Ethics itself can be approached through several lenses. Utilitarian reasoning judges actions by their consequences for overall well-being. Deontological reasoning judges actions by adherence to rules or duties, regardless of outcomes. Virtue ethics focuses on the character traits that make for a good life. Thought experiments such as the trolley problem probe the tensions between these approaches, while the prisoner's dilemma, a classic scenario from game theory, illustrates how individually rational choices can produce collectively worse outcomes. Practical wisdom, called phronesis, is the intellectual virtue of knowing how to act well in particular situations—balancing principles, context, and consequence.

Philosophers have also proposed different accounts of how beliefs are justified. Coherentism holds that a belief is justified by its coherence with other beliefs, forming a web of mutual support. Foundationalism argues that some beliefs are basic and self-justifying, providing the ground on which other beliefs rest. The Münchhausen trilemma observes that attempts to justify beliefs ultimately face three options: circularity, infinite regress, or an arbitrary stopping point. The principle of sufficient reason asserts that everything must have a reason or cause, while pragmatism treats truth as bound up with practical consequences. Teleological reasoning explains things by their ends or purposes, and reductionism, holism, emergence, and supervenience offer competing accounts of how complex wholes relate to their parts. Rationality means acting in accordance with reason and evidence, though bounded rationality, as Simon emphasized, recognizes that human reasoning is limited by available information, cognitive capacity, and time.

Science provides a particularly rigorous model of inquiry. The scientific method is a systematic cycle: making observations, forming hypotheses, conducting experiments, analyzing results, and drawing conclusions. A hypothesis is a testable proposed explanation, while a theory is a well-substantiated explanation supported by extensive evidence. According to Popper, the criterion of falsifiability distinguishes science from non-science: a theory is scientific only if it makes predictions that could, in principle, be shown false. Operational definitions specify precisely how a concept is to be measured, allowing others to apply them consistently. A measure is valid to the extent that it assesses what it claims to assess, and reliable to the extent that it produces consistent results across instances. Accuracy refers to closeness to the true value, while precision refers to repeatability of measurements; the two can come apart.

Scientific work is sustained by communal practices designed to catch error. Peer review subjects scholarly work to expert evaluation before publication. Reproducibility means that others can obtain the same results using the same data and methods, while replication refers to obtaining similar results via a new study. The replication crisis is the troubling finding that many published results cannot be reliably replicated, prompting reforms in research methods. Good science also disciplines itself through standards such as Sagan's standard—that extraordinary claims require extraordinary evidence—and through skeptical maxims like Hitchens's razor: what can be asserted without evidence can be dismissed without evidence.

The burden of proof is the obligation to provide evidence for a claim, typically on the asserter; burden of disproof, by contrast, is usually inappropriate because it asks doubters to prove a negative. Russell's teapot analogy illustrates that the unfalsifiability of a claim does not make it credible. Several patterns distort scientific and quasi-scientific reasoning. Pseudoscience presents claims as scientific while lacking proper methodology or evidence. Conspiracy thinking explains events as the result of secret, malevolent plots. Cargo cult science, a phrase from Feynman, mimics the form of science without its substance or rigor. Data dredging, also called p-hacking, repeatedly tests data until a statistically significant result emerges by chance. Overfitting builds explanations too tightly tailored to limited evidence, capturing noise rather than signal. The principle of parsimony, also known as Occam's razor, recommends preferring simpler explanations when all else is equal. Together, these principles and pitfalls form a toolkit for evaluating claims that purport to be empirical, and the principle of charity—interpreting others' arguments in their strongest reasonable form, or steelmanning them—encourages fair engagement with opposing views.

Formal logic provides a precise language for reasoning about statements. Logical operators combine simple statements into more complex ones. Conjunction, written \(P \land Q\), is true only when both \(P\) and \(Q\) are true. Disjunction, written \(P \lor Q\), is true when at least one of them is true in inclusive logic. Negation, written \(\neg P\), is true when \(P\) is false. Implication, written \(P \rightarrow Q\), is false only when the antecedent is true and the consequent is false. The biconditional, written \(P \leftrightarrow Q\), is true exactly when both sides have the same truth value. A truth table is a systematic display of all combinations of truth values for the inputs and the resulting truth value of a compound expression. Using truth tables, we can identify tautologies (statements true in all interpretations), contradictions (statements false in all interpretations), and contingencies (statements true in some and false in others).

Propositional logic treats statements as indivisible units, but predicate logic adds quantifiers and predicates over variables to capture more. The universal quantifier, written \(\forall\), asserts that something holds for all; the existential quantifier, written \(\exists\), asserts that it holds for at least one. Several equivalences are central to reasoning in both systems. De Morgan's laws state that \(\neg(P \land Q)\) is equivalent to \(\neg P \lor \neg Q\), and \(\neg(P \lor Q)\) is equivalent to \(\neg P \land \neg Q\). Contraposition tells us that "if \(P\) then \(Q\)" is logically equivalent to "if \(\neg Q\) then \(\neg P\)." The converse ("if \(Q\) then \(P\)") and the inverse ("if \(\neg P\) then \(\neg Q\)") are not logically equivalent to the original conditional—though confusion between them is a common source of error.

A few additional tools and principles deserve attention. Reductio ad absurdum proves a claim by assuming its contrary and deriving an absurd or contradictory consequence. The law of non-contradiction holds that a statement cannot be both true and false at the same time and in the same sense; the law of excluded middle holds that every statement is either true or false. Dialetheism is the controversial view that some contradictions can be true. Identity is the principle that everything is identical to itself. It is also important to distinguish inference—the act of concluding—from implication, which is the logical relationship between statements. Finally, several paradoxes reveal the subtleties of self-reference and infinity: the liar paradox ("This sentence is false"), Russell's paradox (about the set of all sets that do not contain themselves), and Zeno's paradoxes (such as Achilles and the tortoise). These puzzles are not mere curiosities; they show how careful one must be when reasoning about the foundations of language and mathematics.

Critical thinking is as much a set of habits and dispositions as a body of knowledge. The intellectual virtues are character traits conducive to good thinking. Intellectual humility recognizes the limits of one's knowledge and the possibility of being wrong. Intellectual honesty requires truthful acknowledgment of evidence and arguments, including those that cut against one's views. Intellectual courage is the willingness to defend unpopular but reasoned conclusions. Intellectual empathy involves putting oneself in another's shoes to understand their reasoning. Intellectual perseverance is the commitment to pursue inquiry despite difficulty. Open-mindedness, the willingness to consider new ideas and revise beliefs, is the counterpart to dogmatism, the rigid holding of beliefs without examining alternatives. Fanaticism, by contrast, is excessive and uncritical zeal for a cause. Intellectual integrity holds oneself to the same standards of evidence one demands of others, and intellectual honesty in disagreement means engaging the actual content of opposing views rather than caricatures. Together, these virtues form the practical backbone of good reasoning.

Critical thinking also requires awareness of how our minds operate. Metacognition is thinking about one's own thinking—monitoring one's reasoning, noticing errors, and adjusting. Kahneman's distinction between System 1 (fast, intuitive, automatic) and System 2 (slow, deliberate, effortful) thinking helps explain why we so often slip into bias: System 1 handles most daily tasks efficiently but is prone to predictable errors, while System 2 can correct these errors at a cost in time and effort. The Socratic method pursues knowledge through systematic questioning, exposing assumptions and refining concepts. The dialectical method advances understanding by contrasting viewpoints. Thought experiments and counterexamples probe ideas by imagining cases: the ship of Theseus asks whether an object remains the same after all its parts are replaced; solipsism pushes the limits of certainty by holding that only one's own mind is sure to exist.

In a world saturated with information, critical thinking demands practical skills. Reading comprehension is the ability to understand and interpret text; bias detection is the recognition of assumptions, perspectives, or interests shaping that text. Fact-checking verifies claims against authoritative sources, lateral reading evaluates a source by checking what others say about it, and source triangulation confirms claims across multiple independent sources. The information ecosystem, however, is shaped by deliberate manipulation. Propaganda is information used systematically, often deceptively, to promote a viewpoint. Censorship is the suppression of information deemed objectionable. Misinformation is false information shared without intent to deceive; disinformation is false information shared with intent to deceive; malinformation is true information shared to cause harm, as in doxxing. Gaslighting manipulates someone into doubting their own perception. The spotlight effect makes us overestimate how much others notice us, while reification, treating an abstract concept as a concrete thing, can lend false solidity to ideas like "the market" or "the people." Against these forces, intellectual integrity is the practical discipline that ties critical thinking to everyday life.