The Liar's Paradox emerges from the simplest possible self-referential structure: a statement that asserts its own falsity. If the statement "This statement is false" is true, then it must be false -- but if it is false, then it must be true. The system of classical bivalent logic -- in which every proposition must be either true or false -- cannot accommodate this oscillation. The paradox does not reveal a flaw in the statement; it reveals a boundary condition in the logical framework itself.

Epimenides of Crete stated "All Cretans are liars" around 600 BCE, creating one of the earliest recorded instances. The formal treatment by Alfred Tarski in 1933 demonstrated that no sufficiently expressive language can contain its own truth predicate -- a result that shaped the foundations of mathematical logic and computability theory. The Liar is not merely a puzzle. It is a proof that certain systems cannot fully describe themselves.

If an object has all of its components replaced over time, does it remain fundamentally the same object? The Ship of Theseus -- first recorded by Plutarch -- poses the question of whether identity persists through material change. The ship on which Theseus sailed was preserved by the Athenians, who replaced decaying planks one by one. At what point, if any, does the ship cease to be the original?

Thomas Hobbes extended the paradox: if the removed planks were reassembled into a second ship, which vessel is the "true" Ship of Theseus? The question has direct implications for personal identity, software versioning, corporate continuity, and biological metabolism. Your body replaces virtually all its atoms over a seven-year cycle. The paradox suggests that identity may be a narrative construct rather than a material fact -- a pattern we impose on change to make it legible.

Can an omnipotent being create a stone so heavy that even they cannot lift it? If yes, there exists something they cannot do (lift the stone). If no, there exists something they cannot do (create the stone). Either answer negates omnipotence. This is the original mujun (矛盾) -- the spear that pierces any shield meets the shield that blocks any spear. The Chinese philosopher Han Feizi recorded this paradox circa 230 BCE, predating Western formulations by centuries.

The paradox probes the coherence of maximal properties. Medieval scholastics like Thomas Aquinas attempted resolution by restricting omnipotence to logically possible acts -- but this merely relocates the boundary. If omnipotence is defined as power over all logically possible states, and the stone scenario describes a logically impossible state, then the question is malformed. Yet the question seems perfectly grammatical. The paradox reveals that natural language can construct requests that formal logic cannot service.

To traverse any distance, you must first traverse half that distance. To traverse that half, you must first traverse half of it. This regression is infinite: the journey requires completing an infinite number of tasks in finite time. Zeno of Elea (~490-430 BCE) argued that motion is therefore impossible -- or at minimum, that our description of continuous space contains a fundamental incoherence.

Modern mathematics resolves the arithmetic (the sum 1/2 + 1/4 + 1/8 + ... converges to 1) but does not fully dissolve the philosophical residue. The convergence of an infinite series is a limit concept -- it describes where the sum approaches, not a completed process. Whether an actually infinite number of steps can be performed remains contested in the philosophy of mathematics. The paradox persists as a question about the relationship between mathematical models and physical reality.

A time traveler goes back and gives Beethoven the complete scores of his symphonies before Beethoven has composed them. Beethoven copies them and publishes them as his own. The scores exist -- they are performed, admired, studied -- but no one ever composed them. The information has no origin point. It exists in a causal loop where effect precedes cause, and the creative act that should have generated the artifact never occurs.

The Bootstrap Paradox (named after Robert Heinlein's story "By His Bootstraps") challenges the assumption that every piece of information must have been created at some point. In a closed timelike curve, information can be self-causing -- its existence is its own explanation. This is not merely a science fiction conceit: the Wheeler-Feynman absorber theory and certain interpretations of quantum mechanics contain formally analogous structures where future states influence past events.