Skip to content

Obligationes

A medieval rule-governed disputation in which a respondent temporarily accepts a positum and must grant, deny, doubt, or distinguish successive propositions consistently while an opponent probes for contradiction.

Version
v1 · 2026-09-28 · History
Domain-specific #
11065
Domain group
Humanities
Origin domain
Philosophy
Subdomains
Medieval Logic, Scholastic Disputation → Philosophy

Core Idea

Obligationes were formal disputations studied by medieval logicians, especially in the thirteenth and fourteenth centuries. The name denotes logical exercises, not ethics. In positio, participants establish a proposition—the positum, sometimes false—that the respondent accepts for the exercise.

The Opponens proposes further statements. The Respondens must grant, deny, doubt, or distinguish them according to the applicable rules, positum, and prior commitments, avoiding contradiction. At ‘time is finished,’ the sequence is assessed for correct response rather than belief or persuasion.

Authors disagreed about relevance, consequence, impossible posita, and persistence of commitments; obligationes name a family, not one calculus. Counterfactual reasoning, Socratic dialogue, thesis defense, Lorenzen games, and game semantics are useful comparisons but not historical identities.

Source criticism is part of the abstraction's use. A normative treatise may prescribe moves rather than transcribe an actual classroom exchange; manuscript witnesses may reorder examples or technical terms. Editors and formalizers should preserve these differences. A modern consistency model is valuable when it predicts every licensed answer, but a divergence can reveal either a mistaken reconstruction or a genuinely different medieval account of relevance and consequence. The response history, not merely the final contradiction, is therefore the proper unit of comparison. Editions should expose supplied words and disputed readings that affect whether a move was relevant.

Structural Signature

Sig role-phrases:

  • positum and period. Temporarily fixes a proposition and bounded commitment interval. Constitutive frame. If altered: Acceptance need not be belief.
  • Opponens. Proposes sequenced claims strategically. Constitutive challenger. If altered: Not simply a modern debater.
  • Respondens. Issues licensed grant, denial, doubt, or distinction. Constitutive answerer. If altered: Answers depend on prior moves.
  • consequence rules. Determine relevance, commitment, and contradiction under a treatise/style. Identity-bearing logic. If altered: No single universal rulebook existed.
  • termination/assessment. Ends the obligation and evaluates response history. Constitutive outcome. If altered: Success is rule-relative.

What It Is Not

  • Not moral obligation. The commitment is logical.
  • Not free debate. Licensed moves matter.
  • Not sincere belief. The positum is temporary.
  • Not one calculus. Treatises differ.

Scope of Application

Obligationes are studied in medieval logic, history of philosophy, formal dialogue, consequence theory, counterfactual reasoning, inconsistency management, pedagogy, game semantics, and manuscript scholarship.

  • Reconstruction. Compares treatises.
  • Formal analysis. Models relevance and commitment.
  • Pedagogy. Trains consequence response.
  • Dialogue comparison. Relates rule games.
  • Manuscripts. Dates variants.

Clarity

State author/treatise/date, style, positum, admissibility, move sequence, answer options, relevance/consequence rule, prior commitments, impossible-case policy, termination, assessment, edition/translation, and whether formalization is reconstruction.

Manages Complexity

A response is correct only relative to a temporary proposition, previous sequence, and treatise-specific rule. Modern formalization can silently change the historical object.

Abstract Reasoning

  1. Identify text and style.
  2. Fix positum and temporal scope.
  3. Reconstruct licensed moves and rules.
  4. Evaluate each answer against commitments.
  5. Separate history from modern analogue.

Knowledge Transfer

Temporary-assumption dialogue transfers to proving and counterfactual analysis, but medieval categories require translation.

Examples

Canonical

A false positum is accepted; later propositions are granted, denied, doubted, or distinguished under a named treatise until time ends and answers are audited.

Mapped back: positum and period → false positum/bounded time; Opponens → sequenced propositions; Respondens → licensed answers; consequence rules → treatise relevance; termination/assessment → time finished/audit.

Applied / In Practice

A historian formalizes a manuscript example and records where a modern dialogue model predicts a different response from the source rule.

Mapped back: positum and period → manuscript case; Opponens → reconstructed moves; Respondens → source answers; consequence rules → source versus model; termination/assessment → divergence documented.

Structural Tensions

T1: temporary commitment vs. truth. Respondens honors a positum without belief. Diagnostic: Which claims are inside the obligation?

T2: fidelity vs. formalization. Notation clarifies while risking anachronism. Diagnostic: Which inference comes from the text?

T3: challenge vs. rational response. Opponens seeks traps while rules govern answers. Diagnostic: What counts as contradiction?

Structural–Framed Character

Obligationes are frame-dominant. Sequential commitments are formal; roles and assessment are scholastic institutions. Their portable skeleton is Temporary-Commitment Dialogue, a prospective future-prime candidate. Evaluation is rule-internal; practice is constitutive; origin is medieval pedagogy; vocabulary imports only historically. Its character: bounded reasoning under an assumed proposition and accumulated commitments.

Structural Core vs. Domain Accent

Skeletal core. Fix an assumption, accept adversarial proposals, update commitments, audit consistency.

Domain-bound accent. Positum, Opponens, Respondens, treatises, and licensed answers define obligationes.

Why not prime. The skeleton travels; this is historical practice.

  • Temporary-Commitment Dialogue. Prospective skeleton.
  • Counterfactual Reasoning. Comparison, not identity.
  • No strict DAG edge is added.

Neighborhood in Abstraction Space

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

Family — Logical Inference, Modality & Conditional Structures (27 abstractions)

Nearest neighbors

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

Not to Be Confused With

  • Moral obligation. Tell: Logic or ethics?
  • Socratic dialogue. Tell: Are medieval rules used?
  • Thesis defense. Tell: Descendant or identity?
  • Game semantics. Tell: Modern analogue or source practice?

References

  • Frozen Wikipedia discovery revision: https://en.wikipedia.org/wiki/Obligationes (revision 1330477391).
  • Preserved source candidate: https://plato.stanford.edu/archives/fall2019/entries/logic-games/
  • Preserved source candidate: http://plato.stanford.edu/entries/obligationes/
  • Preserved source candidate: https://apcz.umk.pl/czasopisma/index.php/LLP/article/view/LLP.2012.020/778
  • Preserved source candidate: https://halshs.archives-ouvertes.fr/halshs-00122732
  • Preserved source candidate: https://books.google.com/books?id=MfU-AAAAQBAJ&q=Formalizing+Medieval+Logic:+Supposition,+Consequentia+and+Obligationes
  • Preserved source candidate: https://www.cambridge.org/core/books/the-cambridge-companion-to-medieval-logic/830DF4E3B5CE8B21E0BED2A14E9B3D28
  • Preserved source candidate: https://medievallogic.files.wordpress.com/2017/09/obbib1.pdf

The frozen Wikipedia revision is discovery provenance. The retained source set was reviewed for identity, formal or operational relation, and scope. The encyclopedia's structural synthesis is bounded to those claims; a thin authority surface is recorded as a nonblocking source-strengthening repair rather than concealed.