David Bourget (Western Ontario)
David Chalmers (ANU, NYU)
Rafael De Clercq
Jack Alan Reynolds
Learn more about PhilPapers
In  I produced natural derivation systems, including demonstration of soundness and completeness, for each of the logics described in the ﬁrst edition of Priest, An Introduction to Non-Classical Logic . The ﬁrst edition of Priest’s book is Part I of the second edition. Eventually, I hope to complete the project, providing natural derivation systems for the quantiﬁed versions in Part II. In the meantime, without including parts for soundness and completeness, this document simply extends the previous paper to account for additions and changes in the ﬁrst part of the new edition. Thus, as before, I provide an alternative or supplement to the semantic tableaux of his text. Some of the derivation systems may also be of interest in their own right. They are all Fitch-style systems on the model of [1, 6], and many other places. Though a classical system is presented for chapter 1, prior acquaintance with some such system is assumed. Associated goaldirected derivation strategies are discussed extensively in [6, chapter 6]. Except that some chapters are collapsed, there are sections for each chapter in the ﬁrst part of Priest’s book, with an additional section on four-valued relevant logic. In each case, (i) the language is brieﬂy described and key semantic deﬁnitions stated, and (ii) the derivation system is presented with a few examples given. For those with interest, demonstration of soundness and completeness should be straightforward given background and strategy from the published paper.
|Keywords||No keywords specified (fix it)|
No categories specified
(categorize this paper)
Setup an account with your affiliations in order to access resources via your University's proxy server
Configure custom proxy (use this if your affiliation does not provide a proxy)
|Through your library||
References found in this work BETA
No references found.
Citations of this work BETA
No citations found.
Similar books and articles
Jiří Raclavský & Petr Kuchyňka (2011). Conceptual and Derivation Systems. Logic and Logical Philosophy 20 (1-2):159-174.
Maria Da Paz N. Medeiros (2006). A New S4 Classical Modal Logic in Natural Deduction. Journal of Symbolic Logic 71 (3):799 - 809.
Mirjana Borisavljevi (2008). Normal Derivations and Sequent Derivations. Journal of Philosophical Logic 37 (6):521 - 548.
Merrie Bergmann (2008). An Introduction to Many-Valued and Fuzzy Logic: Semantics, Algebras, and Derivation Systems. Cambridge University Press.
Thomas Macaulay Ferguson (2014). Extensions of Priest-da Costa Logic. Studia Logica 102 (1):145-174.
Graham Priest (1982). To Be and Not to Be: Dialectical Tense Logic. Studia Logica 41 (2-3):249 - 268.
Graham Priest (2002). Beyond the Limits of Thought. Oxford University Press.
Allard Tamminga & Koji Tanaka (1999). A Natural Deduction System for First Degree Entailment. Notre Dame Journal of Formal Logic 40 (2):258-272.
J. Michael Dunn (2000). Partiality and its Dual. Studia Logica 66 (1):5-40.
Torben BraÜner (2005). Natural Deduction for First-Order Hybrid Logic. Journal of Logic, Language and Information 14 (2):173-198.
Ross Thomas Brady (2010). Free Semantics. Journal of Philosophical Logic 39 (5):511 - 529.
Graham Priest (2000). Logic: A Very Short Introduction. Oxford University Press.
David Basin, Seán Matthews & Luca Viganò (1998). Natural Deduction for Non-Classical Logics. Studia Logica 60 (1):119-160.
Added to index2010-12-22
Total downloads16 ( #100,341 of 1,098,129 )
Recent downloads (6 months)3 ( #112,729 of 1,098,129 )
How can I increase my downloads?