Formalizing medieval logical theories. Suppositio, consequentiae and obligationes
From MaRDI portal
Publication:2464128
zbMath1138.03001MaRDI QIDQ2464128
Publication date: 10 December 2007
Published in: Logic, Epistemology, and the Unity of Science (Search for Journal in Brave)
formalizationconsequencemedieval logicdialogue gamesuppositionsymbolizationJohn Buridanobligation gameWilliam of Ockham
Permutations, words, matrices (05A05) History of mathematics in Late Antiquity and medieval Europe (01A35) History of mathematical logic and foundations (03-03)
Related Items
Game Semantics and the Manifestation Thesis ⋮ Is Avicenna an empiricist? ⋮ Between Imagination and Gambling. The Forms of Validity in Scholastic Logic ⋮ Aristotle on Universal Quantification: A Study from the Point of View of Game Semantics ⋮ Term Kinds and the Formality of Aristotelian Modal Logic ⋮ Life on the Range: Quine’s Thesis and Semantic Indeterminacy ⋮ Dialogues, Reasons and Endorsement ⋮ Implied-Meaning Analysis of the Currian Conditional ⋮ Do We Need Mathematical Facts? ⋮ Proceeding in Abstraction. From Concepts to Types and the Recent Perspective on Information ⋮ The meanings of `logic' in the thirteenth century
This page was built for publication: Formalizing medieval logical theories. Suppositio, consequentiae and obligationes