Papers – Catarina Dutilh Novaes

Obligations

• Strode's obligations: the return of consistency and the epistemic turn.
• Roger Swynesheds Obligationes: a Logical Game of Inference Recognition?
• Medieval Obligationes as Logical Games of Consistency Maintenance.

Consequence

• The Concepts of Consequence and Inference within a token-based Semantics
• Buridan’s account of inferential relations between doubly quantified propositions: a proof of soundness.
• In search of the intuitive notion of logical consequence.

Supposition

• Theory of Supposition vs. Theory of Fallacies in Ockham.
• Ockham’s supposition theory as a forerunner of computational semantics
• An intensional interpretation of Ockham’s theory of supposition
• Oddities concerning the Supposition of a Dictum - Ockham, Buridan, Burley

Paradoxes

• Meaning and truth (on the basis of some medieval solutions to Liar sentences)
• A comparative taxonomy of medieval and modern approaches to the Liar paradox
• Tarski's hidden theory of meaning: sentences say exactly one thing.
• Contradiction: the real philosophical challenge for paraconsistency.

Overviews of Medieval Logic

• Medieval theories of truth
• Medieval theories of quantification
• 14^th Century Logic after Ockham