Formalizing Medieval Logical Theories: Suppositio, Consequentiae and Obligationes - imusic.sg
imusic.sg
Medieval logicians solved problems about reference, inference, and debate rules centuries before modern logic — and this book finally translates their forgotten frameworks into formal mathematics.
Medieval LogicFormal SemanticsProof TheoryGame-Theoretic Semantics
Theory Briefing
- Suppositio theory tackled how words refer to things in context, anticipating modern formal semantics by 600 years.
- Consequentiae laid out rules for valid inference that parallel today's symbolic logic, but emerged from scholastic debate.
- Obligationes formalized the rules of disputational games, a medieval precursor to game-theoretic models of argumentation.