The Logician's Codex

Master ancient patterns of logical reasoning

Mastered

Accuracy

Attempts

Tier

Welcome to The Logician's Codex!

Master the ancient art of logical reasoning through interactive pattern solving. Each entry represents a fundamental form of logical inference. Solve patterns by arranging premises in the correct order to construct valid proofs and reveal profound truths.

Start with Tier 1 (Apprentice Patterns)

Click a pattern to begin solving

Master patterns to unlock advanced tiers

Apprentice Patterns

Tier 1

0 / 5 Mastered

Master the foundational patterns of classical logic

Tier 1

→

Chain of Implication

Catena Implicationis

The foundational pattern of logical reasoning. When one truth implies another, and that truth implies a third, the chain connects the first to the last.

Solve This Pattern

Tier 1

Negation Mirror

Speculum Negationis

A classical pattern revealing how double negation returns us to the original truth. Denying a denial restores what was.

Solve This Pattern

Tier 1

∧

Conjunction Split

Divisio Conjunctionis

A fundamental pattern that separates compound truths into their components. What holds together can be examined apart.

Solve This Pattern

Tier 1

∨

Disjunction Choice

Electio Disjunctionis

When faced with two possibilities, eliminating one reveals the other. This pattern masters the art of logical elimination.

Solve This Pattern

Tier 1

≡

Identity Reflection

Reflexio Identitatis

The simplest yet most profound pattern: everything is itself. This foundational truth underlies all logical reasoning.

Solve This Pattern

Adept Patterns

Tier 2

0 / 5 Mastered

Transform and manipulate logical structures with precision

Tier 2

↔