MoL-2011-12: Buridan's Theory of Logical Consequence

MoL-2011-12: Johnston, Spencer C. (2011) Buridan's Theory of Logical Consequence. [Report]

Text (Full Text)

Download (350kB) | Preview
[img] Text (Abstract)

Download (361B)


In this thesis we develop a proof-theoretic formalization for John Buridan’s theory of modal propositions. This thesis provides a complete exegesis of the second chapter of De Consequentia and develops the system G3_{syl} which we show is an adequate formalization of Buridan’s theory.

Item Type: Report
Report Nr: MoL-2011-12
Series Name: Master of Logic Thesis (MoL) Series
Year: 2011
Date Deposited: 12 Oct 2016 14:38
Last Modified: 12 Oct 2016 14:38

Actions (login required)

View Item View Item