Glossary & References
The definitive lexicon of rational inquiry. Over 70 rigorous definitions across propositional logic, epistemology, cognitive science, and scientific demarcation, paired with a curated three-tier academic reading library.
How to Navigate This Library
This repository connects foundational vocabulary across logic, epistemology, philosophy of science, and critical argumentation. Every term links to its structural siblings and cross-references interactive exercises across the Architecture of Knowledge.
- In-Page Anchors: Clicking any related term or an incoming reference immediately focuses and highlights the definition via its unique
#term-<id>hash. - Cross-Disciplinary Links: Each card's “Explained in” pill routes directly to the dedicated laboratory or workshop where that concept is tested with working models.
- Epistemic Status: Each entry carries an explicit epistemic badge clarifying whether it is an axiomatic logical result, an empirical finding, or a normative philosophical argument.
Fictional Demonstrations vs. Real Sources
Pedagogical examples used in definitions are designed as stylized, simplified thought experiments or toy scenarios to isolate logical mechanics. They should never be confused with historical or clinical facts.
Conversely, entries in the Reading & Reference Library below represent genuine peer-reviewed monographs, historical treatises, and canonical philosophy texts.
Glossary of Rational Concepts
Search over 70 formal definitions across propositional logic, epistemology, cognitive science, and philosophical inquiry. Each entry specifies precise logical definitions, counterexamples, and connected laboratories.
A Posteriori
Empirical findingKnowledge or justification that depends directly on empirical evidence or sensory experience. Such propositions cannot be known through pure intellectual deduction alone.
“Knowing that light travels at approximately 300,000 km/s in a vacuum requires physical measurement and observation.”
A Priori
Logical resultKnowledge or justification that can be known independently of sensory experience, relying solely on conceptual analysis, formal deduction, or definitions. Its warrant does not rest on ongoing empirical observation.
“Knowing that all bachelors are unmarried, or that 7 + 5 = 12, requires grasping definitions rather than conducting a field survey.”
Abduction
Philosophical argumentA mode of inference that begins with an observation and forms the most likely or explanatory hypothesis to account for it. Often termed inference to the best explanation.
“Observing wet grass and grey clouds in the morning leads to the abductive inference that it rained overnight, rather than that a neighbor sprayed a hose.”
Absence of Evidence
Philosophical argumentThe state of lacking positive proof for a claim, which does not automatically constitute positive evidence for its falsity unless an exhaustive, highly sensitive investigation was conducted where evidence should have appeared.
“Not having detected microbial life under a single rock on Mars is an absence of evidence, not proof that Mars has never harbored microscopic organisms.”
Ad Hominem
Philosophical argumentAn informal fallacy occurring when an argument attacks the personal traits, motives, background, or character of the advocate rather than engaging with the objective merits of their premise.
“Dismissing an astrophysicist's orbital calculation because you dislike their tone on social media commits an ad hominem error.”
Affirming the Consequent
Logical resultA formal logical fallacy where one infers the truth of an antecedent condition from the observed truth of its consequent conditional: If P then Q; Q; therefore P.
“If it rains, the street gets wet; the street is wet; therefore, it rained (ignoring street cleaners, broken fire hydrants, or melted snow).”
Ambiguous Definition
Philosophical argumentThe flaw of formulating a term or premise using phrasing that supports multiple conflicting interpretations, obscuring whether an argument is valid or sound.
“Arguing that 'natural foods are always good for health' without defining whether deadly hemlock counts as natural.”
Amphiboly
Philosophical argumentA fallacy of ambiguity resulting from loose or defective grammatical syntax rather than the double meaning of a single specific word.
“The sign read 'Save soap and waste paper', which could mean conserve soap and discard paper, or treat both soap and paper as wasteful.”
Anecdotal Evidence
Unsupported claimEvidence derived from isolated personal testimony, informal stories, or individual incidents rather than systematic sampling and controlled empirical measurement.
“Concluding that a dietary supplement cures arthritis because an uncle took it and reported feeling better two days later.”
Analytic–Synthetic Distinction
Philosophical argumentThe philosophical distinction between statements true purely by virtue of their meanings (analytic, such as 'all bachelors are unmarried') and statements whose truth depends on how the physical world actually is (synthetic).
“'Triangles have three sides' is analytic; 'this triangle is drawn in cyan chalk' is synthetic.”
Appeal to Emotion
Philosophical argumentAn informal fallacy that substitutes an emotional reaction—such as pity, fear, or outrage—for relevant evidence and valid argumentation.
“Demanding that a flawed engineering proposal be funded because the inventor worked through personal heartbreak to complete it.”
Appeal to Ignorance
Philosophical argumentAn informal fallacy asserting that a proposition must be true simply because it has not yet been proven false, or false simply because it has not yet been proven true.
“Claiming that telepathic signals exist because scientists haven't conclusively disproven every conceivable psychic mechanism.”
Appeal to Irrelevant Authority
Philosophical argumentCiting the endorsement of a prominent individual whose prestige or expertise lies outside the specialized domain of the claim being evaluated.
“Citing a Nobel laureate in literature to substantiate an unproven claim regarding subatomic quantum entanglement.”
Appeal to Novelty
Philosophical argumentThe fallacy of claiming that an idea, policy, or invention is inherently superior simply because it is newer, modern, or recently discovered.
“Assuming that a newly proposed nutritional theory is more accurate than 50 years of biochemistry research merely because it was published this week.”
Appeal to Popularity
Philosophical argumentAn informal fallacy asserting that a proposition is true or desirable merely because a large majority or crowd of people believe it.
“Arguing that the Earth was flat in medieval times because thousands of people held that intuition.”
Appeal to Tradition
Philosophical argumentAn informal fallacy arguing that an action or belief is justified solely because it has been practiced or accepted for generations.
“Maintaining that medical diagnoses should rely on herbal folklore simply because our ancestors did so for four centuries.”
Argument
Logical resultA structured series of statements comprising one or more premises intended to provide inferential support, justification, or proof for a concluding proposition.
“'Premise 1: All humans are mortal. Premise 2: Socrates is human. Conclusion: Therefore, Socrates is mortal.'”
Assumption
Philosophical argumentA premise, presupposition, or condition accepted as true or given without explicit defense or argument within a specific line of reasoning.
“Assuming that physical laws remain uniform across unobserved regions of the cosmos when analyzing distant stellar spectra.”
Base Rate
Empirical findingThe unconditional baseline frequency, incidence, or percentage of an event or characteristic occurring within a given reference population.
“If a rare disease affects only 1 in 10,000 individuals, the base rate is 0.01%, meaning even a 99% accurate test may yield more false positives than true positives.”
Base Rate Neglect
Empirical findingA cognitive and probabilistic error where judgment focuses excessively on specific individual case features while ignoring the prior statistical prevalence of the phenomenon in the population.
“Believing a person is almost certainly a librarian after hearing a description of their introversion, while ignoring that sales clerks outnumber librarians 50 to 1.”
Begging the Question
Philosophical argumentAn informal fallacy in which an argument's premises secretly assume the truth of the conclusion they are supposed to establish, yielding circular justification.
“'Miracles are impossible because any reported event violating natural law simply could not have occurred.'”
Belief
Philosophical argumentA psychological or cognitive state in which an agent takes an attitude of acceptance or assent toward a proposition, regarding it as true.
“Holding the belief that the Sun will rise tomorrow, which may or may not be accompanied by conclusive justification.”
Biconditional
Logical resultA compound logical connective expressing that two propositions have the exact same truth value: 'P if and only if Q' (P ↔ Q). It is true when both are true or both are false.
“'A polygon is a triangle if and only if it has exactly three internal angles.'”
Burden of Proof
Philosophical argumentThe epistemic obligation placed on the party making an affirmative or non-default claim to provide adequate justification, reasoning, or evidence for it.
“If someone claims that an invisible teapot orbits Jupiter, the burden of proof rests on them to provide evidence, not on others to disprove it.”
Causation
Empirical findingA direct generative relationship between two events wherein the occurrence of the cause produces, brings about, or determines the occurrence of the effect.
“Striking a cue ball into the eight ball transfers kinetic energy, causing the eight ball to accelerate across the table.”
Certainty
Philosophical argumentThe epistemic condition of being completely free from doubt or the possibility of error. Most contemporary epistemologists distinguish psychological conviction from objective certainty.
“Descartes argued that 'I think, therefore I exist' possesses indubitable certainty, whereas empirical claims rarely achieve absolute certainty.”
Cherry-Picking
Unsupported claimThe selective presentation of evidence, studies, or observations that favor a predetermined stance while systematically suppressing or ignoring contradictory data.
“Highlighting three cold winter days in one city to dispute global climatic warming trends while ignoring centuries of planetary temperature data.”
Circular Reasoning
Philosophical argumentA defect in reasoning where the conclusion is directly or indirectly used as a supporting premise, meaning the argument assumes the very thing it aims to prove.
“'The book is entirely infallible because it is dictated by divine truth, and we know divine truth exists because the book says so.'”
Cognitive Bias
Empirical findingA systematic, subconscious pattern of deviation from norm, logic, or rational probability in human judgment, judgment formation, and decision-making.
“Anchoring bias, where people rely too heavily on the first piece of information encountered when estimating the value of an unknown item.”
Coherentism
Philosophical argumentThe epistemic theory that a belief is justified not by resting on foundational basic beliefs, but by fitting into a mutually reinforcing, harmonious web of other beliefs.
“A detective's theory of a crime is justified because physical evidence, witness accounts, timelines, and motives all interlock without contradiction.”
Fallacy of Composition
Philosophical argumentThe erroneous inference that because every individual part or member of a system possesses a certain attribute, the whole system must also possess that attribute.
“Arguing that because every brick in a building weighs under two kilograms, the entire building must weigh under two kilograms.”
Conceptual Analysis
Philosophical argumentThe core philosophical method of breaking complex, foundational concepts into their constituent necessary and sufficient conditions to clarify meaning and resolve paradoxes.
“Analyzing the concept of 'knowledge' into belief, truth, and justification to test whether all three together are sufficient.”
Conclusion
Logical resultThe principal proposition in an argument whose truth or probability the premises are offered to establish or support.
“In the syllogism 'All metals expand when heated; iron is a metal; therefore, iron expands when heated', the final clause is the conclusion.”
Conditional Statement
Logical resultA hypothetical proposition of the form 'If P, then Q', where P is the antecedent condition and Q is the consequent outcome.
“'If an atom absorbs a photon of sufficient energy, then an electron transitions to a higher energy level.'”
Conditional Probability Confusion
Logical resultThe error of conflating the probability of event A given B with the probability of event B given A: P(A|B) ≠ P(B|A).
“Assuming that because most convicted bank robbers owned gloves, someone caught wearing gloves is almost certainly a bank robber.”
Confirmation Bias
Empirical findingThe human tendency to search for, interpret, favor, and recall evidence in a way that confirms prior hypotheses while disregarding disconfirming evidence.
“A researcher noticing only clinical trials showing a drug works while overlooking three replicated studies reporting no statistical benefit.”
Confounding Variable
Empirical findingAn unmeasured or extraneous factor that correlates with both the supposed cause and the supposed effect, creating a spurious statistical association.
“Ice cream sales and drowning rates correlate strongly because warmer summer weather increases both, not because eating ice cream causes drowning.”
Conjunction
Logical resultA truth-functional connective ('and', denoted P ∧ Q) that produces a true proposition if and only if both conjuncts are simultaneously true.
“'Mars has two moons AND Venus has no moons' is true only because both component assertions are independently true.”
Conjunction Fallacy
Logical resultA probabilistic error in which a person estimates that a compound condition (P and Q) is more probable than one of its single constituent conditions (P alone).
“Judging that Linda is more likely to be 'a bank teller active in the feminist movement' than simply 'a bank teller', defying basic probability axioms.”
Consistency
Logical resultThe property of a set of propositions such that it is logically possible for all of them to be true at the exact same time without generating contradiction.
“The statements 'The lamp is on' and 'The room is dark' can be consistent if the lamp is shaded and the room is vast.”
Contingency
Logical resultA proposition that is neither necessarily true in all possible worlds (tautology) nor necessarily false (contradiction), but whose truth depends on how things actually are.
“'The Earth has one natural moon' is a contingent truth; it could have had zero or two moons without violating the laws of logic.”
Contradiction
Logical resultA proposition or conjunction of statements that asserts both P and not-P at the same time and in the same respect, which is logically impossible to be true.
“'The particle is completely at rest AND the particle is moving at 100 km/s relative to this frame.'”
Correlation
Empirical findingA mutual statistical relationship or association between two variables, such that changes in one accompany predictable changes in the other.
“A high statistical correlation between smoking prevalence and lung cancer rates across demographic groups.”
Counterexample
Logical resultA specific instance, specimen, or case that directly refutes a universal claim, rule, or proposed definition by demonstrating its failure.
“Presenting a black swan is a decisive counterexample to the universal generalization 'All swans are white.'”
Deduction
Logical resultA form of reasoning in which the conclusion necessarily follows from the premises; if all premises are true and the argument form is valid, the conclusion cannot be false.
“'All prime numbers greater than 2 are odd. 17 is a prime number greater than 2. Therefore, 17 is odd.'”
Denying the Antecedent
Logical resultA formal logical fallacy where one infers the falsity of the consequent from the falsity of the antecedent: If P then Q; not P; therefore not Q.
“If you are a dog, you are a mammal. You are not a dog. Therefore, you are not a mammal (ignoring cats, whales, and humans).”
Descriptive Claim
Empirical findingA statement asserting how the world, reality, or state of affairs actually is, verifiable or falsifiable through empirical observation or logical analysis.
“'Carbon dioxide concentrations in the atmosphere exceed 420 parts per million.'”
Disjunction
Logical resultA truth-functional connective ('or', denoted P ∨ Q) which, in standard logic, is inclusive: true if either conjunct is true, or if both are true.
“'The light switch is up OR the backup generator is running.'”
Disjunctive Syllogism
Logical resultA valid deductive inference rule of the form: P or Q; Not P; Therefore Q.
“The key is either in my coat or in the drawer. The key is not in my coat. Therefore, it is in the drawer.”
Fallacy of Division
Philosophical argumentThe erroneous inference that because an entire system or whole entity possesses a certain property, each of its individual constituent parts must also possess it.
“Arguing that because a supercomputer is capable of running complex molecular dynamics, a single screw in its chassis must also do molecular dynamics.”
Dualism
Philosophical argumentThe metaphysical position that reality consists of two fundamentally distinct categories of substances, properties, or entities, typically mental and physical.
“Cartesian substance dualism posited that the physical body (res extensa) and immaterial conscious mind (res cogitans) interact causally.”
Empiricism
Philosophical argumentThe epistemological theory asserting that substantive knowledge arises primarily through sensory perception, experimental observation, and inductive generalization.
“Locke's argument that the mind begins as a blank slate (tabula rasa) upon which sensory experience writes.”
Epistemology
Philosophical argumentThe core branch of philosophy concerned with the nature, origin, scope, justification, and limits of knowledge and rational belief.
“Investigating whether belief accompanied by true justification is sufficient to count as knowledge in Gettier-style counterexamples.”
Equivocation
Philosophical argumentAn informal fallacy that exploits multiple distinct meanings of a single word or phrase within an argument, treating them as identical to reach a deceptive conclusion.
“'A feather is light. What is light cannot be dark. Therefore, a feather cannot be dark.'”
Estimate as Exact
Unsupported claimThe misleading presentation of rough heuristic approximations, model extrapolations, or speculative estimates as if they were pin-point empirical measurements.
“Stating that exactly 4,218,912 alien civilizations exist in the galaxy based solely on speculative parameter inputs into the Drake Equation.”
Evidence
Empirical findingFacts, documentation, observational data, or reasoned demonstrations that serve to increase or decrease the epistemic probability of a hypothesis.
“The detection of the cosmic microwave background radiation provided decisive evidence supporting the Big Bang cosmological model.”
Expertise
Empirical findingHigh-level specialized domain competence, methodological training, and empirical mastery recognized through peer evaluation, credentials, and sustained track records.
“Consulting peer-reviewed virology research when assessing the transmission dynamics of an airborne respiratory pathogen.”
Externalism
Philosophical argumentThe epistemological thesis that factors external to an agent's conscious awareness—such as reliable causal cognitive mechanisms—determine whether a belief is justified or counts as knowledge.
“A person's true belief that a tree is outside is justified because their visual cortex functions reliably in broad daylight, even if they cannot articulate cognitive neuroscience.”
Fallacy
Philosophical argumentA defect or flaw in reasoning that impairs the logical validity or evidentiary soundness of an argument, rendering its conclusion unearned.
“Dismissing an opponent's statistical findings because you dislike their demeanor is a fallacious move.”
Fallibilism
Philosophical argumentThe epistemological principle that empirical knowledge can never be claimed with absolute, Cartesian certainty, and that any of our beliefs could conceivably turn out to be mistaken.
“Accepting general relativity as our best current description of gravitation while recognizing that future quantum gravity discoveries may revise it.”
False Dilemma
Philosophical argumentAn informal fallacy that artificially constrains a complex spectrum of possibilities into only two mutually exclusive extremes, ignoring viable middle alternatives.
“'Either you support this unvetted budget allocation 100%, or you want our scientific department to collapse entirely.'”
Falsifiability
Scientific theoryThe methodological requirement formulated by Karl Popper that an empirical scientific hypothesis must make testable predictions capable of being shown false by observation.
“The claim 'all massive bodies attract each other inversely proportional to the square of their distance' is falsifiable because an observed violation would refute it.”
Formal Fallacy
Logical resultA defect in the structural form or syntax of a deductive argument that renders the inference invalid, regardless of whether the premises happen to be factually true.
“Affirming the consequent: If P then Q; Q; therefore P.”
Foundationalism
Philosophical argumentThe epistemic doctrine that all knowledge and justified beliefs ultimately rest upon basic beliefs that are self-justifying or directly warranted without needing further inference.
“Descartes' pursuit of an unshakable foundation in the certainty of his own conscious experience.”
Gambler's Fallacy
Logical resultThe mistaken belief that past independent random outcomes influence the probability of the next independent random trial in a Bernoulli sequence.
“Believing that after a fair coin lands on tails seven times consecutively, the eighth flip is 'due' to be heads.”
Genetic Fallacy
Philosophical argumentEvaluating the truth or validity of an assertion solely by examining its historical origin, causal lineage, or how it arose, rather than testing its independent justification.
“Arguing that modern chemistry is bogus because its historical ancestor was medieval alchemy seeking to turn lead into gold.”
Gettier Case
Philosophical argumentA philosophical thought experiment demonstrating that justified true belief (JTB) is not sufficient for knowledge, because luck or epistemic coincidence can connect the belief to the truth.
“Smith justifiedly believes someone in his office owns a Ford (because Nogot showed documents), but unbeknownst to Smith, Nogot was faking, yet Havit secretly owns a Ford.”
Hasty Generalization
Unsupported claimDrawing a sweeping universal conclusion about an entire population based on an unrepresentative, biased, or tiny sample size.
“Interviewing two commuters at 6:00 AM and concluding that all residents of the metropolitan region wake up before dawn.”
Hypothesis
Scientific theoryA proposed, provisional explanation or testable conjecture for an observed phenomenon, offered as a starting point for further empirical investigation.
“Formulating the hypothesis that introducing an iron catalyst will decrease the activation energy of the ammonia synthesis reaction.”
Hypothetical Syllogism
Logical resultA valid deductive inference rule linking conditional statements in a transitive chain: If P then Q; If Q then R; Therefore, If P then R.
“If it freezes, water turns to ice. If water turns to ice, it expands. Therefore, if it freezes, water expands.”
Idealism
Philosophical argumentThe metaphysical thesis that reality, or reality as we know it, is fundamentally mental, immaterial, or constituted by ideas, minds, or perceptions.
“George Berkeley's subjective idealism, summarized as 'esse est percipi' (to be is to be perceived).”
Ignoring Intervals
Unsupported claimThe error of treating a statistical estimate as a certain scalar number while neglecting the margin of error or confidence intervals accompanying it.
“Reporting that Candidate A (49% ± 3%) is definitively beating Candidate B (48% ± 3%), despite the confidence intervals overlapping substantially.”
Incorrect Conditional Inference
Logical resultAn umbrella term for invalid deductive moves on conditional propositions, including affirming the consequent and denying the antecedent.
“Treating 'If it rains, the grass is wet' as if it automatically proved 'If the grass is wet, it must have rained.'”
Induction
Empirical findingA mode of reasoning that draws probabilistic, generalized conclusions from finite sets of specific observations, where true premises render the conclusion probable but not logically certain.
“Observing 10,000 sunrises and inferring that the sun will probabilistically rise tomorrow.”
Inference to the Best Explanation
Philosophical argumentAn abductive principle that licenses accepting a hypothesis if it provides a superior, simpler, and more coherent explanatory account of observed phenomena than rival hypotheses.
“Geologists inferring continental drift because plate tectonics elegantly accounts for fossil distributions, mountain ranges, and earthquakes.”
Infinitism
Philosophical argumentThe epistemological theory that justification is an infinite, non-repeating chain of reasons, rejecting both foundational stopping points and circular webs.
“An epistemic model where every justifying reason must itself be supported by a further distinct, unrepeated reason ad infinitum.”
Informal Fallacy
Philosophical argumentA defect in reasoning that depends on the substantive content, context, or semantics of an argument rather than its formal deductive structure.
“Committing a straw-man fallacy by exaggerating an opponent's environmental policy to make it easy to ridicule.”
Internalism
Philosophical argumentThe epistemological view that the factors determining the justification of a belief must be cognitively internal and accessible to the believer's conscious reflection.
“The requirement that for a belief to be justified, the thinker must consciously grasp the justifying reasons or evidence supporting it.”
Invalid
Logical resultThe property of a deductive argument whose structural form fails to guarantee that if all its premises are true, its conclusion must also be true.
“'All trees have leaves. My houseplant has leaves. Therefore, my houseplant is a tree.' (Invalid categorical structure).”
Invalid Conversion
Logical resultA formal fallacy in term logic where the subject and predicate of a universal affirmative proposition are swapped without qualification: converting 'All S is P' into 'All P is S'.
“Converting 'All golden retrievers are dogs' into 'All dogs are golden retrievers.'”
Justification
Philosophical argumentThe rational ground, evidence, argument, or reliable cognitive warrant that confers epistemic legitimacy on a belief.
“Having clear laboratory logs, replicated readings, and rigorous calibration provides justification for believing a new reaction temperature.”
Justified True Belief (JTB)
Philosophical argumentThe traditional tripartite definition of propositional knowledge dating to Plato, holding that an agent knows that P if and only if P is true, the agent believes P, and the agent is justified in believing P.
“You know Paris is the capital of France because it is factually true, you believe it, and you hold legitimate geographic justification for that belief.”
Knowledge
Philosophical argumentCognitive grasp of objective reality characterized by truth, adequate epistemic justification or warrant, and immunity to Gettier-style epistemic accidents.
“Grasping that water molecules consist of two hydrogen atoms bonded to one oxygen atom through verified molecular spectroscopy.”
Loaded Question
Philosophical argumentAn informal fallacy consisting of a question containing an unjustified, unproven presumption of guilt or fact built into its presupposition.
“'Have you finally stopped falsifying your research data?' (Answering yes or no concedes the prior falsification).”
Logical Equivalence
Logical resultThe relationship between two propositions that necessarily share the exact same truth value under all possible truth-value assignments.
“The conditional 'P → Q' is logically equivalent to its contrapositive '¬Q → ¬P'.”
Metaphysics
Philosophical argumentThe branch of philosophy that investigates the fundamental nature of reality, existence, identity, causation, time, space, and being.
“Debating whether abstract objects such as mathematical numbers possess real metaphysical existence independent of human thought.”
Misinformation
Unsupported claimFalse, inaccurate, or misleading information communicated regardless of whether there is deliberate intent to deceive.
“Sharing an outdated, uncorrected map of atmospheric storm tracks that inadvertently misleads coastal residents.”
Misleading Framing
Philosophical argumentStructuring how a situation, statistic, or argument is verbally presented to evoke a biased conclusion while omitting crucial context.
“Advertising a surgical procedure as having 'a 90% survival rate' while omitting that untreated patients have a 98% survival rate.”
Misleading Sample
Unsupported claimUsing a data sample that is systematically unrepresentative of the target population to infer a general claim.
“Surveying customer sentiment about high-speed internet only among attendees at an exclusive luxury electronics gala.”
Misreading Significance
Empirical findingConflating statistical significance (p < 0.05) with substantive, practical, or clinical importance in the physical world.
“Claiming an educational breakthrough because a massive sample showed a 0.2% test score improvement with p = 0.001.”
Scientific Model
Scientific theoryA conceptual, mathematical, or computational representation of an empirical system designed to simulate its behavior and generate testable predictions.
“The standard cosmological model (Lambda-CDM) representing cosmic expansion and galactic structure formation.”
Modus Ponens
Logical resultThe fundamental valid deductive rule of inference asserting that if a conditional statement is true and its antecedent is true, its consequent must be true: If P then Q; P; therefore Q.
“If a compound contains carbon, it is organic. This sample contains carbon. Therefore, this sample is organic.”
Modus Tollens
Logical resultThe valid deductive rule of inference asserting that if a conditional statement is true and its consequent is false, its antecedent must also be false: If P then Q; Not Q; therefore Not P.
“If the reactor had breached, radiation alarms would be sounding. Radiation alarms are silent. Therefore, the reactor has not breached.”
Moving the Goalposts
Philosophical argumentAn informal fallacy where an arguer arbitrarily changes the accepted criteria of proof or evidence as soon as the initial criteria have been successfully satisfied.
“Demanding a fossil showing transition between land mammals and whales, and upon being shown it, demanding two new transitional fossils bridging the new gap.”
Necessary Condition
Logical resultA requirement that must be satisfied for a condition or statement to hold true; without it, the condition cannot occur.
“Having oxygen is a necessary condition for open terrestrial combustion (without oxygen, wood fire cannot burn).”
Negation
Logical resultThe unary logical operator ('not', denoted ¬P) that inverts the truth value of a proposition, turning true into false and false into true.
“If P is 'The photon has zero rest mass' (true), then ¬P is 'The photon has non-zero rest mass' (false).”
No Significance Is Not No Effect
Empirical findingThe error of treating an underpowered study that failed to reach statistical significance (p > 0.05) as definitive proof that the phenomenon does not exist.
“Testing a new antiviral on only six patients, observing a 20% benefit that wasn't statistically significant, and concluding the drug has zero efficacy.”
No True Scotsman
Philosophical argumentAn informal fallacy where an arguer protects a universal generalization from a clear counterexample by arbitrarily redefining membership in the category to exclude the case.
“'No real philosopher would ever doubt logic.' When shown a philosopher who does: 'Well, they aren't a true philosopher.'”
Normative Claim
Philosophical argumentA statement asserting how things ought to be, what is good or bad, or which actions are morally obligatory, rather than merely describing what is.
“'Societies ought to distribute resources to minimize extreme suffering.'”
Ontology
Philosophical argumentThe subfield of metaphysics focused specifically on the taxonomy of being, studying what categories of entities fundamentally exist.
“Debating whether conscious minds are distinct substances or physical configurations of matter.”
Oversimplified Cause
Unsupported claimAttributing an outcome driven by complex multifactorial causes to a single isolated variable.
“Claiming that the global economic recession of 2008 was caused entirely by one bank teller's mistake.”
Paradox
Philosophical argumentAn apparently sound argument originating from seemingly true premises that leads to a conclusion that is self-contradictory or completely unacceptable.
“The Liar Paradox: 'This statement is false', which cannot be true without being false, nor false without being true.”
Physicalism
Philosophical argumentThe metaphysical thesis that everything in reality is ultimately physical, and that all mental, biological, and social properties supervene on fundamental physical processes.
“The view that conscious human experience is identical to or supervenient upon neurobiological activity in the brain.”
Post Hoc Ergo Propter Hoc
Philosophical argumentThe informal causal fallacy of inferring that because event Y occurred immediately after event X, event X must have caused event Y.
“A rooster crows before sunrise every dawn; inferring that the rooster's crow causes the sun to rise.”
Premise
Logical resultA proposition in an argument offered as foundational support or evidence from which a conclusion is inferred.
“In 'All men are mortal; Socrates is a man; therefore Socrates is mortal', the first two statements are premises.”
Primary Source
Empirical findingAn immediate, first-hand artifact, recorded empirical dataset, or original text created at the time under study by direct participants.
“A laboratory notebook recording raw telescope photon detector outputs during a supernova event.”
Principle of Charity
Philosophical argumentThe methodological norm requiring an analyst to interpret an interlocutor's argument in its strongest, most coherent, and most rational form before critiquing it.
“Fixing an accidental verbal slip in an opponent's premise rather than seizing upon the typo to dismiss their entire mathematical proof.”
Prosecutor's Fallacy
Logical resultA fallacy of statistical reasoning where the probability of a match given innocence P(Match|Innocent) is conflated with the probability of innocence given a match P(Innocent|Match).
“Arguing that because a DNA match occurs in only 1 in 1,000,000 innocent people, a suspect found in a national database of 10,000,000 has a 99.9999% chance of guilt.”
Quantifier
Logical resultA logical operator that specifies the quantity of specimens in the domain of discourse that satisfy a given open predicate, primarily universal (∀, 'for all') and existential (∃, 'there exists').
“The proposition '∀x (Human(x) → Mortal(x))' asserts that for every entity x, if x is human, x is mortal.”
Rationalism
Philosophical argumentThe epistemological theory asserting that reason, deduction, and innate intellectual intuition are the primary sources and tests of knowledge, distinct from sensory perception.
“Spinoza's geometric deduction of metaphysical principles in his Ethics.”
Realism
Philosophical argumentThe metaphysical and epistemological view that reality exists independently of our conceptual frameworks, beliefs, perceptions, or linguistic descriptions.
“Scientific realism asserts that unobservable entities postulated by our best theories (such as quarks and black holes) genuinely exist in nature.”
Red Herring
Philosophical argumentAn informal fallacy where an arguer introduces an irrelevant, distracting topic into a discussion to divert attention away from the core issue.
“When asked about missing laboratory research funds, an administrator responds with an impassioned speech praising campus landscaping.”
Reductio ad Absurdum
Logical resultA valid form of deductive refutation that disproves a proposition by showing that assuming its truth leads inexorably to a logical contradiction or absurd consequence.
“Euclid's proof of the infinitude of prime numbers assumes there is a largest prime and derives an irreconcilable contradiction.”
Reflective Equilibrium
Philosophical argumentA state of dynamic balance arrived at by deliberative mutual adjustment between our general principles and our considered judgments about specific cases.
“John Rawls' method in political philosophy of aligning intuitive judgments about fair distribution with general principles of justice.”
Regression to the Mean
Empirical findingThe statistical phenomenon where extreme or unusual measurements are naturally followed by subsequent measurements that lie closer to the population average.
“A student who scores an unusually high 99% on an exam tends to score closer to their true average (say 85%) on the next exam, without needing any special intervention.”
Reification (Hypostatization)
Philosophical argumentThe fallacy of treating an abstract concept, metaphor, or heuristic model as if it were a concrete, physically existing entity with causal agency.
“Claiming that 'Mother Nature decided to punish the coastline with hurricanes' treats a poetic metaphor as an intentional physical agent.”
Relative vs. Absolute Risk
Empirical findingThe confusion or misleading framing that occurs when changes in probability are reported as dramatic relative percentages rather than modest absolute changes.
“Reporting that a treatment 'doubles your risk (100% increase)' when the baseline absolute risk rises from 1 in 100,000 to 2 in 100,000.”
Reliabilism
Philosophical argumentThe externalist epistemological theory holding that a belief is justified if and only if it is generated by a cognitive process that reliably produces a high ratio of true beliefs.
“Visual perception in normal lighting is a reliable belief-forming mechanism, whereas wishful thinking is not.”
Reverse Causation
Empirical findingThe causal fallacy of inverting directionality between cause and effect, misinterpreting the consequence as the trigger.
“Observing that frequent hospital visits correlate with severe illness and concluding that hospitals make healthy people sick.”
Selective Reporting
Unsupported claimThe practice of publishing or publicizing only the empirical trials or sub-analyses that yield statistically significant or desirable findings.
“The publication bias phenomenon (the 'file drawer problem') where 19 trials showing no drug efficacy remain unpublished while one lucky trial is printed.”
Simulation Argument
Speculative hypothesisNick Bostrom's trilemma argument showing that at least one of three propositions is almost certainly true: humanity goes extinct before reaching posthuman technological capability, posthuman civilizations lose interest in running ancestor simulations, or we are almost certainly living in a simulation.
“If ancestor simulations are technologically feasible and routinely run by advanced intelligences, simulated minds vastly outnumber biological minds.”
Skepticism
Philosophical argumentThe philosophical stance or inquiry questioning the certainty, reliability, or foundational grounds of knowledge claims.
“Methodological Cartesian skepticism, which systematically doubts every belief that admits of even the slightest conceivable error.”
Slippery Slope
Philosophical argumentAn informal fallacy asserting that taking a relatively modest initial step will inevitably lead through an uncontrollable chain reaction to a catastrophic outcome, without establishing causal links.
“'If we permit students to retake a quiz, soon nobody will ever attend lectures and the entire university system will collapse into anarchy.'”
Sound
Logical resultThe property of a deductive argument that is both structurally valid AND whose premises are all factually true in the real world, guaranteeing a true conclusion.
“'All mammals have hearts. All blue whales are mammals. Blue whales have hearts.' (Valid deductive form with true premises).”
Special Pleading
Philosophical argumentAn informal fallacy wherein an arguer applies a rigorous standard or rule to others while exempting themselves without providing a justifiable, non-arbitrary reason.
“'Everyone must submit to strict safety audits, except my laboratory, because our work is uniquely visionary.'”
Steelmanning
Philosophical argumentThe practice of reconstructing an opposing argument in its strongest, most sophisticated, and most defensible form before proceeding to evaluate its merits.
“Addressing the best empirical and statistical objections of an economic critic rather than their most trivial rhetorical quip.”
Straw Man
Philosophical argumentAn informal fallacy in which an opponent's actual argument is mischaracterized, exaggerated, or distorted into a weaker version that is easier to attack and refute.
“'Advocates for public transit simply want to ban all private automobiles and force everyone to ride bicycles in blizzards.'”
Sufficient Condition
Logical resultA condition that, if satisfied, entirely guarantees the truth or occurrence of another event or statement.
“Being a blue whale is a sufficient condition for being a mammal (satisfying it guarantees mammal status).”
Survivorship Bias
Empirical findingA logical and statistical error that focuses only on successful or surviving specimens that passed an ordeal while ignoring those that failed, skewing conclusions.
“Examining returning combat bombers to armor where bullet holes are densest, ignoring that aircraft shot in other areas did not survive to be examined.”
Syllogism
Logical resultA classic form of deductive argument comprising three propositions: a major premise, a minor premise, and a conclusion derived through term analysis.
“'All humans are mortal (major). Socrates is human (minor). Socrates is mortal (conclusion).'”
Tautology
Logical resultA compound proposition in formal logic that evaluates to true under every possible assignment of truth values to its constituent atomic variables.
“'P ∨ ¬P' (Either it is raining or it is not raining) is true under all possible circumstances.”
Testimony
Philosophical argumentAn epistemic source of belief and knowledge based on what other persons communicate, assert, or document.
“Learning the historical date of the Apollo 11 lunar landing from verified astronomical archives and astronaut logs.”
Texas Sharpshooter Fallacy
Unsupported claimThe fallacy of cherry-picking clusters of data or coincidences within random scatter and retrospectively drawing a bullseye target around them to claim meaning.
“Noticing that five people in a town of 100,000 contracted rare cancers in the same decade and claiming a local factory must be culpable before conducting a cluster analysis.”
Scientific Theory
Scientific theoryA comprehensive, structured explanatory framework validated by extensive predictive accuracy, falsifiability testing, and widespread scientific consensus.
“The theory of quantum electrodynamics explaining interactions between photons and charged matter with extreme mathematical precision.”
Thought Experiment
Philosophical argumentAn imaginative, controlled mental scenario designed to isolate conceptual principles, expose logical contradictions, or test the implications of a hypothesis.
“Einstein's gedankenexperiment of chasing a light beam, which stimulated the formulation of special relativity.”
Truth
Philosophical argumentThe property of a proposition corresponding to objective reality, state of affairs, or factual being.
“The proposition 'Gold has atomic number 79' is true because gold nuclei in physical reality contain exactly 79 protons.”
Tu Quoque
Philosophical argumentA specific variant of the ad hominem fallacy that attempts to discredit an argument by pointing out that the speaker has acted inconsistently with their own claim.
“'Why should I listen to your advice on reducing carbon emissions when you just drove an SUV to this conference?'”
Uncertainty
Scientific theoryThe state of lacking complete knowledge or exact predictability regarding outcomes, parameter measurements, or future events.
“Quantum mechanical Heisenberg uncertainty, where a particle's position and momentum cannot simultaneously be measured with arbitrary precision.”
Undistributed Middle
Logical resultA formal syllogistic fallacy occurring when the middle term connecting the premises is not distributed in at least one premise.
“'All sharks are fish. All salmon are fish. Therefore, all sharks are salmon.' ('Fish' is undistributed in both premises).”
Valid
Logical resultThe structural property of a deductive argument such that it is logically impossible for its premises to be true while its conclusion is false.
“'If it is a square, it is a rectangle. It is a square. Therefore, it is a rectangle.'”
Virtue Epistemology
Philosophical argumentAn approach to epistemology that evaluates the intellectual virtues, cognitive character traits, and conscientious motivations of the thinker rather than assessing beliefs in isolation.
“Cultivating open-mindedness, intellectual humility, and rigorous curiosity as personal guardrails against dogmatism.”
Weak Analogy
Philosophical argumentAn informal fallacy that assumes because two things are similar in one superficial respect, they must also be similar in another substantive, unrelated respect.
“'A watch has intricate gears and requires an intelligent watchmaker; the solar system has orbital bodies, so it must have gears.'”
Probability
Logical resultA number from 0 to 1 measuring how likely an outcome is, or how strongly the evidence supports a claim. Philosophers and statisticians disagree about what exactly it measures, but the arithmetic rules are shared.
“A fair coin has a probability of 0.5 of landing heads on any single toss.”
Empirical
Empirical findingBased on observation, measurement or experiment rather than on reasoning alone.
“Measuring how quickly a satellite's orbit decays gives empirical data about atmospheric drag.”
Antecedent
Logical resultThe 'if' part of a conditional statement. In 'If P then Q', P is the antecedent and Q is the consequent.
“In 'If the temperature drops below freezing, the puddle ices over', the antecedent is 'the temperature drops below freezing'.”
Bayes' Theorem
Logical resultA rule for updating a probability when new evidence arrives: P(H|E) = P(E|H) × P(H) / P(E). It shows why the starting (base-rate) probability matters.
“Fictional numbers: if 1% of people have a condition, a test catches 90% of cases and wrongly flags 9% of healthy people, then a positive result means about a 9% chance of having it (0.009 / (0.009 + 0.0891)).”
Fictional Assumption
Demonstration assumptionAn invented scenario or number used only to demonstrate an idea. It is not a claim about the real world.
“The pages on this site use made-up patients, towns and statistics to show how a calculation works.”
Epistemic Classification Key
Claims in the Architecture of Knowledge are explicitly classified to distinguish established formal logic, replicated empirical findings, ongoing scientific debates, normative philosophical arguments, and speculative hypotheses.
Formally proven deductive theorem, valid deductive inference, or definitional entailment whose truth follows strictly from its axiomatic premises.
Systematically observed, peer-reviewed, and replicated empirical evidence grounded in controlled observation and measurement.
Comprehensive, structured explanatory framework validated by extensive predictive accuracy, falsifiability testing, and widespread scientific consensus.
Legitimate, ongoing empirical or theoretical inquiry where competing hypotheses remain under investigation and decisive consensus is not yet reached.
Normative, conceptual, or metaphysical analysis developed through reasoned premises, reflective equilibrium, and thought experiments.
Interpretive position, paradigm, or conceptual framing with substantial counterarguments and rival frameworks within scholarly discourse.
Provocative theoretical extrapolation, thought experiment, or mathematical conjecture currently lacking definitive empirical verification.
Hypothetical scenario, illustrative counterfactual premise, or toy model adopted solely to test deductive implications or explore principles.
Assertion failing to meet evidentiary thresholds, lacking valid inference, or contradicted by systematic observation.
Foundational Literature & References
A three-tiered reading library categorizing primary historical treatises and peer-reviewed scholarly interpretations across epistemology, classical logic, and scientific demarcation.
Thinking from A to Z
Nigel Warburton (1996 · 3rd ed. 2007)
An accessible pocket guide clarifying core philosophical tools, argumentative pitfalls, informal fallacies, and rhetorical maneuvers with direct, everyday examples.
The Problems of Philosophy
Bertrand Russell (1912)
Russell's classic, lucid introduction to the nature of reality, appearance versus reality, the limits of philosophical knowledge, and induction.
Thinking, Fast and Slow
Daniel Kahneman (2011)
A comprehensive synthesis of behavioral economics and cognitive psychology exploring dual-process cognition (System 1 heuristics and System 2 deliberation).
Epistemology
Matthias Steup & Ram Neta (2005 · Substantive revision 2020)
The authoritative Stanford Encyclopedia of Philosophy overview detailing theories of justification, internalism vs externalism, and the nature of knowledge.
Fallacies
Hans Hansen (2020)
Comprehensive Stanford Encyclopedia of Philosophy entry charting the historical evolution of fallacy theory from Aristotle to contemporary dialectics.
Meno
Plato (c. 385 BCE)
Foundational Socratic dialogue exploring the definition of virtue, learning as recollection, and the famous distinction between true belief and justified knowledge.
Meditations on First Philosophy (Meditationes de Prima Philosophia)
René Descartes (1641)
The foundational text of modern rationalism and radical skepticism, introducing the dream argument, the evil demon hypothesis, and the indubitable 'Cogito'.
An Enquiry Concerning Human Understanding
David Hume (1748)
Seminal British empiricist critique establishing Hume's Fork (relations of ideas vs matters of fact), the problem of induction, and the nature of causal inference.
Utilitarianism
John Stuart Mill (1863)
Classic philosophical treatise on consequentialist normative ethics, distinguishing quantitative and qualitative pleasures and exploring moral justification.
Judgment under Uncertainty: Heuristics and Biases
Amos Tversky & Daniel Kahneman (1974 · Science, 185(4157), pp. 1124–1131)
Groundbreaking empirical paper identifying representativeness, availability, and anchoring heuristics, demonstrating systematic human errors in statistical inference.
Is Justified True Belief Knowledge?
Edmund L. Gettier (1963 · Analysis, 23(6), pp. 121–123)
A three-page paper that dismantled the classic tripartite definition of knowledge by presenting two decisive counterexamples involving justified true belief formed by epistemic luck.
Are You Living in a Computer Simulation?
Nick Bostrom (2003 · Philosophical Quarterly, 53(211), pp. 243–255)
The seminal trilemma argument proving that if advanced civilizations develop immense computing power to simulate ancestors, we are almost certainly simulated beings.
Skepticism
Peter Klein (2001 · Substantive revision 2015)
Detailed scholarly analysis of philosophical skepticism, Agrippa's trilemma, Cartesian doubt, and contemporary epistemic responses.
Classical Logic
Stewart Shapiro & Teresa Kouri Kissel (2000 · Substantive revision 2021)
Scholarly overview of propositional calculus, first-order predicate logic, semantic models, soundness, and completeness theorems.
Prior Analytics (Analytica Priora)
Aristotle (c. 350 BCE)
The founding text of formal deductive logic in the Western canon, formulating categorical syllogisms, mood and figure classifications, and direct proofs.
Critique of Pure Reason (Kritik der reinen Vernunft)
Immanuel Kant (1781 · 2nd ed. (B-Kritik) 1787)
Monumental philosophical synthesis reconciling rationalism and empiricism through transcendental idealism, synthetic a priori judgments, and the categories of understanding.
The Logic of Scientific Discovery (Logik der Forschung)
Karl R. Popper (1934 · English translation 1959)
Popper's groundbreaking treatise introducing the demarcation criterion of falsifiability, rejecting verificationist inductivism in favor of deductive conjecture and refutation.
The Analysis of Knowledge
Jonathan Jenkins Ichikawa & Matthias Steup (2001 · Substantive revision 2017)
Exhaustive critical examination of post-Gettier attempts to define knowledge (no-false-lemmas, defeasibility, sensitivity, safety, and virtue conditions).
The Internet Encyclopedia of Philosophy
Internet Encyclopedia of Philosophy Editors (1995)
Peer-reviewed digital scholarly encyclopedia dedicated to academic philosophy, featuring comprehensive surveys of epistemology, logic, and philosophy of mind.
Explore Connected Laboratories & Workshops
Test formal validity, build propositional truth tables, and examine syllogistic deductions in an interactive proof simulator.
Deconstruct arguments into premises, practice the principle of charity, and steelman counter-arguments.
Examine interactive specimens of formal, informal, and probabilistic fallacies with active diagnostic tests.
Investigate theories of justification, examine Gettier counterexamples, and test foundationalism vs coherentism.
Explore conceptual analysis, thought experiments, and reflective equilibrium as rigorous investigative tools.
Apply epistemological skepticism, probability theory, and physicalist models to Nick Bostrom's simulation trilemma.