論理 · Logic · An Archive of Thought
Welcome to the scholar's study—a dense, layered archive where logical thought accumulates like books on shelves, proofs pinned to walls, and threads connecting ideas across disciplines.
The foundation of logical reasoning, examining how simple propositions combine through connectives.
Extending propositional logic with quantifiers and predicates to model complex relationships.
Exploring possibility, necessity, and the logical structure of modal statements.
A dense collection of logical volumes
A proposition cannot be both true and false in the same respect at the same time.
Every proposition is either true or false; there is no third option.
If P implies Q, and P is true, then Q must be true.