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

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

Preview	Text (Full Text) MoL-2011-12.text.pdf Download (350kB) | Preview
	Text (Abstract) MoL-2011-12.abstract.txt Download (361B)

Abstract

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
URI:	https://eprints.illc.uva.nl/id/eprint/857

Actions (login required)

View Item