Axiom (cc)0 and Verifiability in Two Extracanonical Logics of Formal Inconsistency
In the field of logics of formal inconsistency (LFIs), the notion of “consistency” is frequently too broad to draw decisive conclusions with respect to the validity of many theses involving the consistency connective. In this paper, we consider the matter of the axiom (cc)0—i.e., the schema ? ??—by...
Saved in:
| Main Author: | |
|---|---|
| Format: | Article |
| Language: | English |
| Published: |
Universidade Federal de Santa Catarina
2018-08-01
|
| Series: | Principia: An International Journal of Epistemology |
| Online Access: | https://periodicos.ufsc.br/index.php/principia/article/view/58637 |
| Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
| _version_ | 1849388624564453376 |
|---|---|
| author | Thomas Macaulay Ferguson |
| author_facet | Thomas Macaulay Ferguson |
| author_sort | Thomas Macaulay Ferguson |
| collection | DOAJ |
| description |
In the field of logics of formal inconsistency (LFIs), the notion of “consistency” is frequently too broad to draw decisive conclusions with respect to the validity of many theses involving the consistency connective. In this paper, we consider the matter of the axiom (cc)0—i.e., the schema ? ??—by considering its interpretation in contexts in which “consistency” is understood as a type of verifiability. This paper suggests that such an interpretation is implicit in two extracanonical LFIs—Sören Halldén’s nonsense-logic C and Graham Priest’s cointuitionistic logic daC—drawing some interesting conclusions concerning the status of (cc)0. Initially, we discuss Halldén’s skepticism of this axiom and provide a plausible counterexample to its validity. We then discuss the interpretation of the operator in Priest’s daC and show the equivalence of (cc)0 to the intuitionistic principle of testability. These observations suggest that it may be fruitful for members of the LFI community to look outside the canon for evidence concerning the adoption of principles like (cc)0.
|
| format | Article |
| id | doaj-art-08c8d3d4695243ca89bb3cd6ca94f28e |
| institution | Kabale University |
| issn | 1808-1711 |
| language | English |
| publishDate | 2018-08-01 |
| publisher | Universidade Federal de Santa Catarina |
| record_format | Article |
| series | Principia: An International Journal of Epistemology |
| spelling | doaj-art-08c8d3d4695243ca89bb3cd6ca94f28e2025-08-20T03:42:13ZengUniversidade Federal de Santa CatarinaPrincipia: An International Journal of Epistemology1808-17112018-08-0122110.5007/1808-1711.2018v22n1p11329442Axiom (cc)0 and Verifiability in Two Extracanonical Logics of Formal InconsistencyThomas Macaulay Ferguson0CUNY Graduate Center In the field of logics of formal inconsistency (LFIs), the notion of “consistency” is frequently too broad to draw decisive conclusions with respect to the validity of many theses involving the consistency connective. In this paper, we consider the matter of the axiom (cc)0—i.e., the schema ? ??—by considering its interpretation in contexts in which “consistency” is understood as a type of verifiability. This paper suggests that such an interpretation is implicit in two extracanonical LFIs—Sören Halldén’s nonsense-logic C and Graham Priest’s cointuitionistic logic daC—drawing some interesting conclusions concerning the status of (cc)0. Initially, we discuss Halldén’s skepticism of this axiom and provide a plausible counterexample to its validity. We then discuss the interpretation of the operator in Priest’s daC and show the equivalence of (cc)0 to the intuitionistic principle of testability. These observations suggest that it may be fruitful for members of the LFI community to look outside the canon for evidence concerning the adoption of principles like (cc)0. https://periodicos.ufsc.br/index.php/principia/article/view/58637 |
| spellingShingle | Thomas Macaulay Ferguson Axiom (cc)0 and Verifiability in Two Extracanonical Logics of Formal Inconsistency Principia: An International Journal of Epistemology |
| title | Axiom (cc)0 and Verifiability in Two Extracanonical Logics of Formal Inconsistency |
| title_full | Axiom (cc)0 and Verifiability in Two Extracanonical Logics of Formal Inconsistency |
| title_fullStr | Axiom (cc)0 and Verifiability in Two Extracanonical Logics of Formal Inconsistency |
| title_full_unstemmed | Axiom (cc)0 and Verifiability in Two Extracanonical Logics of Formal Inconsistency |
| title_short | Axiom (cc)0 and Verifiability in Two Extracanonical Logics of Formal Inconsistency |
| title_sort | axiom cc 0 and verifiability in two extracanonical logics of formal inconsistency |
| url | https://periodicos.ufsc.br/index.php/principia/article/view/58637 |
| work_keys_str_mv | AT thomasmacaulayferguson axiomcc0andverifiabilityintwoextracanonicallogicsofformalinconsistency |