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.
Core Idea¶
Obligationes were medieval logical disputations in which a Respondens temporarily accepted a positum and answered an Opponens's successive propositions under rules for grant, denial, doubt, distinction, commitment, and contradiction. The Opponens proposes further statements. The Opponens proposes further statements.
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. Use it with treatise/date, style, positum and period, roles, proposition sequence, response vocabulary, relevance and consequence rules, prior commitments, impossible cases, termination and assessment, edition/translation, and historical-versus-modern reconstruction explicit. Include the source language for technical response terms, manuscript variants affecting the move sequence, the editor's conjectures, and the precise modern formal consequence relation used for comparison. Do not infer a single scholastic classroom practice from one normative treatise. For every reconstructed play, tabulate the commitment set before and after each proposal, explain why the response was licensed, and preserve disputed readings. Compare authors only after separating positio from other obligational styles and normative rules from pedagogical reports. Cite each crucial rule to its textual locus and explain material lacunae and editorial reconstruction choices in full.
- 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. The closest near miss sets the boundary: Modern dialogue games are the closest formal analogues but have distinct semantics and winning rules. A positive case must satisfy this test: A practice is an obligational disputation when medieval roles operate under a de obligationibus rule set, temporary positum, sequential propositions, licensed answers, and consistency assessment.
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. The central temporary commitment–truth tradeoff is this: Respondens honors a positum without belief. A second fidelity–formalization tension matters because Notation clarifies while risking anachronism. The challenge–rational response tension adds that Opponens seeks traps while rules govern answers.
Abstract Reasoning¶
Use three linked moves: identify text and style; fix positum and temporal scope; reconstruct licensed moves and rules. As a collapse test, the case exits when there is no positum, bounded obligation, or rule-based answer assessment. A fourth check is to evaluate each answer against commitments. A final check is to separate history from modern analogue.
Knowledge Transfer¶
Temporary-assumption dialogue transfers to proving and counterfactual analysis, but medieval categories require translation. No canonical parent prime is currently asserted; broader structural comparisons remain related-prime analogies until separately adjudicated in the DAG. Prospective skeleton. Comparison, not identity.
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
- Logical possibility — 0.91
- Ex nunc — 0.90
- Alternative facts — 0.90
- Modus ponens — 0.89
- Nemo iudex in causa sua — 0.89
Computed from structural-signature embeddings · 2026-10-08