Löb’s Paradox
Löb's paradox, a puzzle in modal logic, questions the formalization of provability…
Liar Sentence
A liar sentence asserts its own falsity, like 'This sentence is false.'…
The Liar Paradox
The liar paradox is a self-referential statement that asserts its own falsity.…
Leibniz’s Law: The Principle of Indiscernibles
Leibniz's Law, also known as the principle of the identity of indiscernibles,…
Law of Non-Contradiction
A cornerstone of classical logic, the law of non-contradiction asserts that a…
Kripke Semantics
A formal framework for modal logic using possible worlds. Developed by Saul…
Kreisel-Putnam Logic
A logic designed for higher-order quantification and modalities. It emerged from discussions…
Knower’s Paradox
A paradox in epistemic logic concerning self-reference, where a statement claims its…
The Knowability Paradox
A paradox where the truth of a statement implies its knowability. This…
Kleene’s Three-Valued Logic (K3)
Explore Stephen Cole Kleene's three-valued logic system, K3. It introduces an 'undefined'…