Logic Puzzle¶

A logic puzzle is a deliberately constructed problem that presents entities, states, clues, and explicit or inferable constraints and asks a solver to derive a required configuration, classification, quantity, or explanation primarily through valid deduction and exhaustive consistency rather than hidden factual knowledge.

Version: v1 · 2026-09-28 · History
Domain-specific #: 10480
Domain group: Formal Sciences
Origin domain: Mathematics
Subdomain: Recreational Mathematics → Mathematics

Core Idea¶

A logic puzzle is a deliberately constructed problem that presents entities, states, clues, and explicit or inferable constraints and asks a solver to derive a required configuration, classification, quantity, or explanation primarily through valid deduction and exhaustive consistency rather than hidden factual knowledge.

The defining question for Logic Puzzle is not whether a case shares a topical word with familiar examples. It is whether the case realizes the same organized identity: problem state and goal, clues and constraints, deductive solution path, solution and verification. Those roles make Logic Puzzle testable across varied instances without reducing it to a loose theme.

The positive boundary is explicit. A finite or otherwise controlled possibility space is restricted by clues and constraints so that the requested solution or explanation follows through deductive consistency. The negative boundary is equally important. A trivia question, punning riddle, competitive strategy game, open research problem, arbitrary guessing task, or unexplained answer is not automatically a logic puzzle. Together these tests prevent Logic Puzzle from becoming a catch-all for anything adjacent to its domain.

Structural Signature¶

Sig role-phrases:

Problem state and goal — Specifies entities, admissible configurations, and what must be found or shown. Its status is constitutive. Counterfactual check: Without a determinate goal the task is not a puzzle problem.
Clues and constraints — Restricts possibilities through local, relational, numerical, or semantic conditions. Its status is constitutive. Counterfactual check: Unconstrained search or trivia recall does not supply logical structure.
Deductive solution path — Combines constraints, cases, invariants, or contradiction to eliminate alternatives. Its status is constitutive. Counterfactual check: A solution should follow from the stated problem rather than an arbitrary author secret.
Solution and verification — Checks completeness, uniqueness when promised, and satisfaction of every constraint. Its status is quality-bearing. Counterfactual check: A plausible configuration can still violate a remote clue.

These roles are jointly diagnostic for Logic Puzzle. A Logic Puzzle instance can realize them through different materials, scales, institutions, or notations, but removing a constitutive role changes the identity. Its scope-bearing and quality-bearing roles determine when an apparent Logic Puzzle example is only adjacent or defective.

What It Is Not¶

Logic Puzzle should not be inferred from a label alone: its exclusion rule states that a trivia question, punning riddle, competitive strategy game, open research problem, arbitrary guessing task, or unexplained answer is not automatically a logic puzzle.

The closest recurring near miss for Logic Puzzle is informative. A mathematical puzzle may rely on calculation or insight; it is a logic puzzle when constraint propagation and deduction are the primary solution structure. That comparison identifies the level at which the Logic Puzzle genus operates and the feature that its neighboring category lacks.

Not merely problem state and goal. Without a determinate goal the task is not a puzzle problem. Within Logic Puzzle, the problem state and goal role must participate in the larger organization rather than stand alone.
Not merely clues and constraints. Unconstrained search or trivia recall does not supply logical structure. Within Logic Puzzle, the clues and constraints role must participate in the larger organization rather than stand alone.
Not merely deductive solution path. A solution should follow from the stated problem rather than an arbitrary author secret. Within Logic Puzzle, the deductive solution path role must participate in the larger organization rather than stand alone.
Not merely solution and verification. A plausible configuration can still violate a remote clue. Within Logic Puzzle, the solution and verification role must participate in the larger organization rather than stand alone.

A candidate exits Logic Puzzle under a definable change. The case leaves the class when stated constraints do not determine or assess the requested result through reasoning. This Logic Puzzle exit test is stronger than saying that borderline examples merely ‘feel different.’

Scope of Application¶

Logic Puzzle applies wherever the positive boundary and the complete role pattern can be established. The scope of Logic Puzzle is therefore structural within the stated domain, not universal merely because one role appears elsewhere.

Bongard Problem marks one part of the range: A concept-learning puzzle that presents positive and negative diagram sets and asks for a rule true of every positive case and no negative case. Including Bongard Problem tests the Logic Puzzle boundary against a concrete, already represented case rather than against an invented illustration.

Hashiwokakero marks one part of the range: Hashiwokakero (橋をかけろ Hashi o kakero; lit. "build bridges!") is a type of logic puzzle published by Nikoli. Including Hashiwokakero tests the Logic Puzzle boundary against a concrete, already represented case rather than against an invented illustration.

Masyu marks one part of the range: Masyu is played on a rectangular grid of squares, some of which contain circles; each circle is either "white" (empty) or "black" (filled). Including Masyu tests the Logic Puzzle boundary against a concrete, already represented case rather than against an invented illustration.

Wine/water mixing problem marks one part of the range: A conservation puzzle showing that after equal-volume containers exchange material and return to equal volume, the amount of wine in the water container equals the amount of water in the wine container, regardless of stirring or transfer size. Including Wine/water mixing problem tests the Logic Puzzle boundary against a concrete, already represented case rather than against an invented illustration.

Scope claims about Logic Puzzle must state the bearer or participant, operating conditions, relevant scale, and evaluative purpose. A putative Logic Puzzle pattern that appears only after stripping away those conditions may be an analogy rather than an instance.

Historical and disciplinary vocabulary can divide the Logic Puzzle space differently. The Logic Puzzle identity therefore preserves local distinctions in subtypes while requiring each child relation to satisfy the common genus. The Logic Puzzle parent does not overwrite a child's more specific domain accent.

Clarity¶

Logic Puzzle clarifies analysis by separating identity, instance, means, and result. The Logic Puzzle identity is the reusable organization described here; an instance realizes it; a means enables it; and a result follows from its operation. Confusing those Logic Puzzle levels creates false duplicate nodes and misleading DAG edges.

For the Logic Puzzle role problem state and goal, the operative question is: what in this case specifies entities, admissible configurations, and what must be found or shown? If no concrete answer identifies problem state and goal, the Logic Puzzle classification remains unsupported rather than merely incomplete.

For the Logic Puzzle role clues and constraints, the operative question is: what in this case restricts possibilities through local, relational, numerical, or semantic conditions? If no concrete answer identifies clues and constraints, the Logic Puzzle classification remains unsupported rather than merely incomplete.

For the Logic Puzzle role deductive solution path, the operative question is: what in this case combines constraints, cases, invariants, or contradiction to eliminate alternatives? If no concrete answer identifies deductive solution path, the Logic Puzzle classification remains unsupported rather than merely incomplete.

The inclusion test for Logic Puzzle can be used prospectively during curation by asking whether a finite or otherwise controlled possibility space is restricted by clues and constraints so that the requested solution or explanation follows through deductive consistency. Its exclusion and exit tests can then challenge the initial judgment, making Logic Puzzle disagreements traceable to a role, condition, or level rather than to terminology alone.

Manages Complexity¶

Logic Puzzle compresses many concrete variants into a small role system. This Logic Puzzle compression allows comparison without pretending that every instance shares implementation details, history, or value. The Logic Puzzle abstraction keeps the relations needed to explain category membership and discards detail that does not bear on that question.

The problem state and goal role manages one source of complexity by giving curators a stable place to record how an instance specifies entities, admissible configurations, and what must be found or shown. It also exposes failure: Without a determinate goal the task is not a puzzle problem.

The clues and constraints role manages one source of complexity by giving curators a stable place to record how an instance restricts possibilities through local, relational, numerical, or semantic conditions. It also exposes failure: Unconstrained search or trivia recall does not supply logical structure.

The deductive solution path role manages one source of complexity by giving curators a stable place to record how an instance combines constraints, cases, invariants, or contradiction to eliminate alternatives. It also exposes failure: A solution should follow from the stated problem rather than an arbitrary author secret.

The solution and verification role manages one source of complexity by giving curators a stable place to record how an instance checks completeness, uniqueness when promised, and satisfaction of every constraint. It also exposes failure: A plausible configuration can still violate a remote clue.

Decomposition is helpful only if recombination is preserved. Treating each role of Logic Puzzle as an independent checklist item can miss interactions among them; the draft therefore treats the signature as an organized whole and not a bag of attributes.

Abstract Reasoning¶

Reasoning with Logic Puzzle begins by proposing a candidate bearer and mapping every structural role. The Logic Puzzle map can then be tested through counterfactual removal: if a role disappeared, would the case remain the same kind of thing, become a defective instance, or leave the class entirely?

For problem state and goal, ask: Without a determinate goal the task is not a puzzle problem.
For clues and constraints, ask: Unconstrained search or trivia recall does not supply logical structure.
For deductive solution path, ask: A solution should follow from the stated problem rather than an arbitrary author secret.
For solution and verification, ask: A plausible configuration can still violate a remote clue.

Comparative Logic Puzzle reasoning should vary one role at a time while holding the others stable. That Logic Puzzle method distinguishes subtype variation from category exit and helps identify whether two separately named discoveries are genuine duplicates, siblings, or merely neighbors.

DAG reasoning about Logic Puzzle adds a stricter question: is the proposed parent a necessary genus or prerequisite for the child? Topical association is insufficient for a Logic Puzzle edge. For this wave, Logic Puzzle is left unparented when the live catalog lacks a defensible broader endpoint; an honest root is preferable to a false hierarchy.

Knowledge Transfer¶

The Logic Puzzle blueprint can transfer as an analytic scaffold: identify the roles, map them to a new case, test exclusions, and retain the receiving domain's terminology and evidence standards. Transfer of Logic Puzzle concerns the organization of inquiry, not an assertion that every domain uses the same mechanisms.

The transferable Logic Puzzle question contributed by problem state and goal is how the receiving case specifies entities, admissible configurations, and what must be found or shown. A receiving domain may answer the problem state and goal question with different entities or measures while preserving its structural place.

The transferable Logic Puzzle question contributed by clues and constraints is how the receiving case restricts possibilities through local, relational, numerical, or semantic conditions. A receiving domain may answer the clues and constraints question with different entities or measures while preserving its structural place.

The transferable Logic Puzzle question contributed by deductive solution path is how the receiving case combines constraints, cases, invariants, or contradiction to eliminate alternatives. A receiving domain may answer the deductive solution path question with different entities or measures while preserving its structural place.

The transferable Logic Puzzle question contributed by solution and verification is how the receiving case checks completeness, uniqueness when promised, and satisfaction of every constraint. A receiving domain may answer the solution and verification question with different entities or measures while preserving its structural place.

Failed Logic Puzzle transfer is informative. If the receiving case cannot satisfy the positive boundary or survives the exit change unchanged, it should not be relabeled as Logic Puzzle. A failed Logic Puzzle transfer may instead motivate a higher-order abstraction, a sibling, or a relation other than subsumption.

Examples¶

Hashiwokakero¶

This is a constraint-grid logic puzzle used to test the Logic Puzzle signature against a concrete case.

Problem state and goal: islands on a grid to be connected in one network.
Clues and constraints: bridge counts, straight adjacency, noncrossing, multiplicity, and connectivity.
Deductive solution path: propagate local degree and global connectivity consequences.
Solution and verification: all island counts and one connected network satisfied.

The Hashiwokakero example qualifies because its mapped roles jointly satisfy the inclusion test for Logic Puzzle. No single feature listed for Hashiwokakero would be sufficient by itself.

Bongard problem¶

This is a concept-induction logic puzzle used to test the Logic Puzzle signature against a concrete case.

Problem state and goal: positive and negative diagram sets and separating rule.
Clues and constraints: rule must cover every positive and no negative.
Deductive solution path: compare features, relations, and counterexamples.
Solution and verification: candidate concept classifies the entire presented set.

The Bongard problem example qualifies because its mapped roles jointly satisfy the inclusion test for Logic Puzzle. No single feature listed for Bongard problem would be sufficient by itself.

Structural Tensions¶

T1 — Challenging search and insight vs. fair deducibility and verifiable solution. Adding ambiguity and branching can increase difficulty while weakening assurance that a unique or intended answer follows. Diagnostic: Can every necessary inference be justified from stated constraints without privileged knowledge?

These tensions are not defects in the Logic Puzzle concept. The coupled Logic Puzzle pressures recur across valid instances, and their balance helps explain subtype differences, failure modes, and historical change.

Structural–Framed Character¶

The structural core of Logic Puzzle is the relation among problem state and goal, clues and constraints, deductive solution path, solution and verification. The Logic Puzzle frame supplies domain-specific bearers, materials, institutions, scales, norms, and evidence. The core and frame of Logic Puzzle are analytically separable but operationally interdependent.

Holding the Logic Puzzle core stable permits comparison; preserving its frame prevents empty analogy. A proposed instance of Logic Puzzle should therefore state both its role mapping and the conditions under which that mapping is meaningful.

Structural Core vs. Domain Accent¶

The Logic Puzzle core is a logic puzzle is a deliberately constructed problem that presents entities, states, clues, and explicit or inferable constraints and asks a solver to derive a required configuration, classification, quantity, or explanation primarily through valid deduction and exhaustive consistency rather than hidden factual knowledge. Its domain accent determines which distinctions experts care about, what counts as competent performance or reliable evidence, and where Logic Puzzle borderline cases are placed.

Children of Logic Puzzle inherit the core without becoming interchangeable. Definitions of Logic Puzzle children can add mechanisms, histories, constraints, or institutional meanings. The Logic Puzzle parent relation records a necessary genus, not a claim that the parent exhausts the child.

System — in Logic Puzzle, it organizes interacting roles.
Pattern — in Logic Puzzle, it supports recognition across instances.
Constraint — in Logic Puzzle, it delimits admissible cases.
Function — in Logic Puzzle, it connects organization to effects.
Context — in Logic Puzzle, it sets conditions of valid application.

These Logic Puzzle connections are analytic relations rather than automatic DAG parents. Every proposed Logic Puzzle endpoint must exist in the catalog, and each edge must express a supported logical relation before implementation.

Relationships to Other Abstractions¶

Current abstraction Logic Puzzle Domain-specific

Foundational — no parent edges in the catalog.

Children (2) — more specific cases that build on this

Bongard Problem Domain-specific is a kind of Logic Puzzle

Bongard Problem satisfies the defining boundary of Logic Puzzle: A logic puzzle is a deliberately constructed problem that presents entities, states, clues, and explicit or inferable constraints and asks a solver to derive a required configuration, classification, quantity, or explanation primarily through valid deduction and exhaustive consistency rather than hidden factual knowledge.
Wine/water mixing problem Domain-specific is a kind of, conditional Logic Puzzle

Supported as a conservation-based logic puzzle when presented as a constrained reasoning problem rather than merely a worked quantitative example.

Condition / exception Supported as a conservation-based logic puzzle when presented as a constrained reasoning problem rather than merely a worked quantitative example.

Neighborhood in Abstraction Space¶

Logic Puzzle sits in a crowded region of the domain-specific corpus (28^th percentile for distinctiveness): several abstractions share nearly its structure, so a description that fits it tends to fit its neighbors too.

Family — Formally Specified Procedures & Problems (10 abstractions)

Nearest neighbors

Computed from structural-signature embeddings · 2026-10-08

Not to Be Confused With¶

Closest Logic Puzzle near miss: A mathematical puzzle may rely on calculation or insight; it is a logic puzzle when constraint propagation and deduction are the primary solution structure.
A mere component or means: one role can enable Logic Puzzle without itself instantiating the whole identity.
A result or observed effect: an outcome can indicate Logic Puzzle operation without being the organized abstraction that produced it.
A lexical neighbor: wording shared with Logic Puzzle or domain proximity does not establish a necessary genus relation.
An unrestricted higher-order category: Logic Puzzle retains the boundary conditions and expert distinctions stated in this account.

References¶

John MacFarlane. “Logical Constants.” The Stanford Encyclopedia of Philosophy. https://plato.stanford.edu/entries/logical-constants/ registry

Open Logic Project. Open Logic Text. https://builds.openlogicproject.org/ registry

nLab authors. “Logic.” https://ncatlab.org/nlab/show/logic registry