Trafford, James (2015) Abstract duality and co-constructive logic. In: 5th World Congress and School on Universal Logic 2015, 20-30 June 2015, Istanbul, Turkey. (Unpublished)
Creators: | Trafford, James |
---|---|
Description/Abstract: | This paper investigates an abstract duality existing between paracomplete and para- consistent logics, with the suggestion that these can be understood as co-constructive logics of proofs and refutations. In the current literature, dual-logics (including self-dual logics) are typically held together by some form of coherence principle, where, roughly, if a formula is a theorem (or provable) in one system then the dual sentence will be a counter-theorem (or refutable) in the dual system. We formalize this by means of a Ga- lois connection between dual logics, and show that coherence holds for: classical logic; Greg Restall’s [2] inferentialist approach to logic by means of assertion and denial; gen- eral logics of proofs and refutations (e.g. [3, 4, 5]); Dummett’s [1] consideration of a dual falsificationism logic to verificationism; Urbas’ [6] analysis of dual-intuitionistic logic. In so doing, it is also simple to see why the coherence principle renders such systems fairly uninteresting (for example, bi-intuitionistic logic, which combines intuitionistic and dual-intuitionistic logic contains theorems which are constructively unacceptable). By syntactically separating dual calculi for intuitionistic and co-intuitionistic logic, we then investigate structures where the coherence principle does not hold unrestrictedly, and which generate non-trivial inferentialist semantics. Philosophically, we understand the relation between dual calculi in terms of a dialogue between “prover” and “refuter”, allowing for both potential and conclusive proofs (refutations). |
Item Type: | Conference or Workshop Item |
Official URL: | http://www.uni-log.org/handbook2015.pdf |
Date: | June 2015 |
Funders: | UCA |
Event Location: | Istanbul, Turkey |
Schools: | School of Communication Design |
Depositing User: |
Dr James Trafford
|
Date Deposited: | 03 Nov 2015 17:58 |
Last Modified: | 03 Nov 2015 17:58 |
URI: | https://research.uca.ac.uk/id/eprint/2936 |
Actions (login required)
![]() |
Edit View |
University Staff: Request a correction | UCA Research Online Editors: Update this record