50 Fun Facts About Logic

Which fictional detective calls his method deduction, although logicians class it as abduction?

Sherlock Holmes rarely deduces in the strict sense: he spots small details and infers the likeliest story behind them, which logicians call abduction. True deduction would make his conclusions certain.

The five-houses Zebra Puzzle is nicknamed after which physicist, said without evidence to have invented it as a boy?

Albert Einstein gets the credit in the legend, but the best-known version ran in Life International magazine in 1962 and names cigarette brands that did not exist in his boyhood.

Which children's author, an Oxford mathematics lecturer in daily life, also wrote the textbook Symbolic Logic?

Lewis Carroll was the pen name of Charles Dodgson, who held a mathematics lectureship at Christ Church, Oxford, for 26 years. Some of the topsy-turvy reasoning in his Alice books echoes his logic work.

Which Joseph Heller novel gave English a name for a no-win trap created by contradictory rules?

Catch-22 was nearly Catch-18: Joseph Heller changed the number after another novel, Mila 18, came out shortly before his own.

Which number-placement logic puzzle got its modern name in the 1980s from the Japanese publisher Nikoli?

Sudoku shortens a Japanese phrase meaning the digits must be single, yet the puzzle was most likely devised by Howard Garns, a retired architect from Indiana, and first printed in 1979 as Number Place.

In Zeno's best-known paradox, which slow animal can swift Achilles seemingly never overtake once it has a head start?

A tortoise with a head start stays ahead, Zeno argued, because Achilles must first reach the spot it has just left, by which time it has crept on, and so on without end.

Which rule of thumb, named after a medieval English friar, favours the explanation that needs the fewest assumptions?

Occam's razor borrows the name of William of Ockham, a Franciscan probably born in the Surrey village of Ockham, though he never used the famous Latin wording about not multiplying entities.

Which half-human Star Trek science officer was raised on Vulcan to put logic before emotion?

Spock has a Vulcan father and a human mother, and the pull between the two sides drives much of his story. Leonard Nimoy even recorded a novelty song in character about how illogical humans are.

Which fantasy film has teenager Sarah face two door guards, one who always lies and one who never does?

Labyrinth borrows a classic logic puzzle: one well-chosen question, put to either guard, reveals the safe door. In the film one door leads to the castle and the other to certain death.

Which ancient Greek philosopher, tutor to Alexander the Great, wrote the earliest known systematic study of logic?

Aristotle built his system on the syllogism, and it stayed the dominant form of Western logic for some two thousand years, until mathematicians rebuilt the subject in the 1800s.

Which ancient puzzle, linked to Eubulides of Miletus, arises from a sentence that declares itself to be false?

The liar paradox has no stable answer: if the sentence is true then it is false, and if it is false then it is true. Logicians have been arguing over it since the 4th century BC.

In digital electronics, which basic logic gate gives an output of 1 only when all of its inputs are 1?

AND is the electronic twin of the logician's conjunction: the claim 'A and B' is true only when both parts are. In formulas the operation is written with the wedge symbol ∧ or an ampersand.

Which charts of overlapping circles, introduced in 1880 by a Cambridge logician, show how sets of things relate?

Venn diagrams were not John Venn's only invention: he also built a bowling machine that dismissed one of Australia's star batsmen when their cricketers visited Cambridge in 1909.

Which Athenian philosopher gives his name to the probing question-and-answer method still used to teach in law schools?

Socrates authored no texts, so his method survives in the dialogues of his student Plato, where he questions people until their beliefs clash with one another. The technique's Greek name is elenchus.

Which fallacy attacks a distorted, weaker version of an opponent's view instead of the argument actually made?

Straw man arguments are known in Britain as an Aunt Sally, after a pub game of throwing sticks at a target. The opposite habit, answering the strongest form of a rival's case, is called steelmanning.

Which Latin-named fallacy rejects an argument by attacking the character of whoever makes it rather than its reasoning?

Ad hominem is short for a Latin phrase meaning an argument against the person. The modern sense took shape only in the 1800s; earlier writers used the label for arguing from an opponent's own commitments.

Which US admission test dropped its famous logic games section in 2024 after a settlement with blind test takers?

LSAT candidates usually solved the games by sketching diagrams, which blind test takers argued put them at an unfair disadvantage. A second logical reasoning section took the games' place.

Which term names a starting assumption accepted without proof, like Euclid's claim that all right angles are equal?

Axiom comes from a Greek word for something thought worthy or fit. Euclid rested his whole geometry on ten such assumptions, five postulates and five common notions, and proved everything else from them.

Which abbreviation of a Latin phrase meaning 'which was to be demonstrated' traditionally ends a mathematical proof?

QED stands for quod erat demonstrandum, itself a translation of the Greek phrase that Euclid and Archimedes wrote at the close of their own proofs.

Which bird, first seen by Europeans in Australia in 1697, became the stock example of one sighting overturning a rule?

Black swan had long been a byword for the impossible, because every swan in Europe's records was white. The Australian birds became philosophers' favourite proof that one case can sink a universal rule.

Which game-show puzzle shows that switching doors doubles a contestant's chance of winning the car?

The Monty Hall problem fooled nearly everyone in 1990: after Parade magazine printed the answer, about 10,000 readers wrote in, close to 1,000 of them with PhDs, mostly to insist the columnist was wrong.

Which British codebreaker showed in 1936 that some problems can never be solved by any mechanical procedure?

Alan Turing answered the so-called decision problem by imagining a simple abstract computing machine, then showing that some questions about its behaviour are undecidable. He was 23 when he finished the paper.

Which shoemaker's son with little formal schooling turned logic into algebra in his 1854 book The Laws of Thought?

George Boole's algebra of true and false became a foundation of computer science generations later. His great-great-grandson Geoffrey Hinton shared a Nobel Prize in 2024 for work on artificial neural networks.

A barber who shaves all who do not shave themselves illustrates a paradox named after which British philosopher?

Bertrand Russell found the real paradox in 1901, in the set of all sets that do not contain themselves, and it sank a colleague's attempt to rebuild mathematics on pure logic. He later won the Nobel Prize in Literature.

Which grid, with one row for every combination of T and F values, shows when a compound statement holds?

Truth tables took their modern form in 1921, when two logicians published them independently. A statement built from three simple parts needs eight rows, and every extra part doubles the count.

Which kind of reasoning concludes that the sun will rise tomorrow because it has risen every day so far?

Inductive arguments make a conclusion probable at best, never certain, which is why a single contrary case can overturn a rule that thousands of observations seemed to confirm.

People cannot live without air, yet air alone keeps nobody alive, so logicians call air which kind of condition?

Necessary conditions must be met but need not be enough, while a sufficient one guarantees the result. Being round is needed for being a circle, yet an oval is round too.

Which form of 'if P then Q' reads 'if not Q then not P' and is always logically equivalent to the original?

Contrapositive pairs stand or fall together, so mathematicians often prove a stubborn 'if P then Q' by proving 'if not Q then not P' instead. The converse, 'if Q then P', carries no such guarantee.

Which rule of inference runs 'if P then Q; P; therefore Q' and has a Latin name about affirming?

Modus ponens is short for a Latin phrase meaning the mode that affirms by affirming. Its lookalike, 'if P then Q; Q; therefore P', is a fallacy known as affirming the consequent.

Which Latin-named method proves a claim by showing that denying it would lead straight to a contradiction?

Reductio ad absurdum powers the classic proof that the square root of 2 is irrational. The mathematician G. H. Hardy ranked it among his profession's finest weapons, a bolder gambit than any in chess.

Which Greek-derived term names a formula, such as 'if it rains, then it rains', that is true whatever the facts?

Tautology began as a rhetoric term for saying the same thing twice, an insult the ancient Greeks already used, until logicians borrowed it in 1921 for formulas that cannot come out false.

Which classical law of thought says that a statement or its denial must be true, leaving no third option?

The law of excluded middle has a blunt Latin tag, tertium non datur, meaning no third possibility is given. Intuitionist mathematicians decline to assume it, which rules out some of their rivals' proofs.

Which system of reasoning, proposed by Lotfi Zadeh in 1965, lets a statement be partly true by degrees?

Fuzzy logic rates a statement anywhere from 0 to 1 instead of a flat yes or no. An early success was a subway line in Sendai, Japan, where it made the trains' ride smoother, more precise and more economical.

Logic, grammar and rhetoric made up which three-subject foundation of the medieval liberal arts curriculum?

The trivium takes its name from the Latin for a place where three roads meet. Students mastered it before moving on to the four mathematical arts: arithmetic, geometry, music and astronomy.

Which Austrian-born logician's 1931 incompleteness theorems showed that arithmetic holds facts no proof can reach?

Kurt Gödel's result ended the dream of a complete rulebook for mathematics. Late in life he became convinced that his food was being poisoned, refused to eat and starved to death.

Alfred North Whitehead co-wrote which three-volume work that does not prove 1 + 1 = 2 until its second volume?

Principia Mathematica set out to derive mathematics from pure logic, so the famous sum had to wait until page 83 of Volume II, where the authors add drily that the result is occasionally useful.

Which philosopher argued in The Logic of Scientific Discovery that a scientific theory must be falsifiable?

Karl Popper held that a theory can never be proven, only tested and possibly refuted. He judged the theories of Freud and Adler non-scientific because nothing could, even in theory, count against them.

Epimenides famously declared that the people of which Greek island, his own birthplace, are never to be believed?

Crete was the speaker's own home, which is the twist: if no Cretan can be believed, neither can he, and the claim undermines itself. The line is even quoted in the New Testament, in the letter to Titus.

In Raymond Smullyan's island puzzles, one type of inhabitant never lies and the other always does; what are they called?

Knights and knaves got their name in a 1978 puzzle collection whose title is itself a riddle: What Is the Name of This Book? Its author was a magician and concert pianist as well as a logician.

Which 'universal' logic gate, able to build every other gate, gives its name to the flash memory used in USB drives?

NAND gates are the building bricks of electronics: any other logic function can be assembled from them alone, a property called functional completeness that only one other basic gate shares.

Which German mathematician's 1879 book Begriffsschrift introduced quantifiers and launched modern predicate logic?

Gottlob Frege wrote it in an idiosyncratic two-dimensional notation of his own. His quantified variables tamed sentences that mix 'every' and 'some', and they became ubiquitous in mathematics.

Which ancient school of philosophy, shaped by Chrysippus, built a logic of whole propositions rather than terms?

The Stoics built one of the two great logical systems of the classical world, yet the writings behind it were almost entirely lost. Its worth was recognised only in the 20th century, by logicians who knew the modern equivalent.

Which American, often called the father of pragmatism, introduced abduction into modern logic?

C. S. Peirce trained as a chemist and was employed as a scientist for thirty years, yet he prized this humble kind of educated guesswork as the only source of new ideas.

Which woman's name did medieval logicians use as the mnemonic for a syllogism built from three 'all' statements?

Barbara has three As because 'all' statements were labelled with that vowel. Other forms got invented names such as Celarent, whose vowels E, A, E spell out its own three statement types.

Which name do logicians give the classical rule that any statement at all can be proven from a contradiction?

The principle of explosion is why a single inconsistency is fatal to a formal system: once every statement can be proven, whether it is true or not, proof no longer separates the true from the false.

Which Greek title covers the six ancient treatises on logic that include the Prior Analytics?

Organon means instrument or tool: later commentators gave the six works that title because they saw logic as philosophy's tool. Francis Bacon borrowed it in 1620 for his Novum Organum, a manifesto for a new method of studying nature.

Which Victorian mathematician's laws state that 'not (A and B)' means the same as 'not A or not B'?

Augustus De Morgan, blind in one eye from infancy, also tutored Ada Lovelace by correspondence from 1840 to 1842, shortly before she wrote her celebrated notes on the Analytical Engine.

Which American engineer's 1937 master's thesis showed that circuits of electrical switches could carry out logic?

Claude Shannon's paper has been called the most important master's thesis of all time, the birth certificate of the digital revolution. Away from work he was devoted to juggling, unicycling and chess.

Which German co-inventor of calculus dreamed of a symbolic language that would settle any dispute by calculation?

Gottfried Leibniz pictured quarrelling thinkers simply sitting down to compute who was right. The cybernetics pioneer Norbert Wiener later called the scheme a forerunner of the digital computer.

Which German philosopher claimed in the Critique of Pure Reason that logic had been complete since ancient times?

Immanuel Kant spoke too soon: within a century mathematicians had begun rebuilding logic with symbols and algebra, and the ancient system he thought finished shrank to one corner of the subject.