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

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

[thumbnail of Full Text]
Preview
Text (Full Text)
MoL-2011-12.text.pdf

Download (350kB) | Preview
[thumbnail of Abstract] 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 View Item