Deduction Theorem
The deduction theorem states that if a statement can be derived from…
Counterpart Theory in Modal Logic
Counterpart theory, proposed by David Lewis, offers a philosophical interpretation of modal…
Cogent Inductive Argument
A cogent inductive argument is a strong one where all premises are…
Boethius’ Theses
Boethius' theses are two formulas in propositional logic: (A → B) →…
Abstraction Principle
An abstraction principle is a formula stating that two abstract objects are…
Ambigram: Art of the Rotatable Word
An ambigram is a design or art form that can be read…