Top

Published in:

2014 | OriginalPaper | Chapter

da Costa Meets Belnap and Nelson

Authors : Hitoshi Omori, Katsuhiko Sano

Published in: Recent Trends in Philosophical Logic

Publisher: Springer International Publishing

Activate our intelligent search to find suitable subject content or patents.

search-config

AI-assisted search

Off

Abstract

There are various approaches to develop a system of paraconsistent logic, and those we focus on in this paper are approaches of da Costa, Belnap, and Nelson. Our main focus is da Costa, and we deal with a system that reflects the idea of da Costa. We understand that the main idea of da Costa is to make explicit, within the system, the area in which you can infer classically. The aim of the paper is threefold. First, we introduce and present some results on a classicality operator which generalizes the consistency operator of Logics of Formal Inconsistency. Second, we show that we can introduce the classicality operator to the systems of Belnap. Third, we demonstrate that we can generalize the classicality operator above to the system of Nelson. The paper presents both the proof theory and semantics for the systems to be introduced, and also establishes some completeness theorems.

Dont have a licence yet? Then find out more about our products and how to get one now:

Springer Professional "Wirtschaft+Technik"

Online-Abonnement

Mit Springer Professional "Wirtschaft+Technik" erhalten Sie Zugriff auf:

über 102.000 Bücher
über 537 Zeitschriften

aus folgenden Fachgebieten:

Automobil + Motoren
Bauwesen + Immobilien
Business IT + Informatik
Elektrotechnik + Elektronik
Energie + Nachhaltigkeit
Finance + Banking
Management + Führung
Marketing + Vertrieb
Maschinenbau + Werkstoffe
Versicherung + Risiko

Jetzt Wissensvorsprung sichern!

inform now

Springer Professional "Technik"

Online-Abonnement

Mit Springer Professional "Technik" erhalten Sie Zugriff auf:

über 67.000 Bücher
über 390 Zeitschriften

aus folgenden Fachgebieten:

Automobil + Motoren
Bauwesen + Immobilien
Business IT + Informatik
Elektrotechnik + Elektronik
Energie + Nachhaltigkeit
Maschinenbau + Werkstoffe

Jetzt Wissensvorsprung sichern!

inform now

Springer Professional "Wirtschaft"

Online-Abonnement

Mit Springer Professional "Wirtschaft" erhalten Sie Zugriff auf:

über 67.000 Bücher
über 340 Zeitschriften

aus folgenden Fachgebieten:

Bauwesen + Immobilien
Business IT + Informatik
Finance + Banking
Management + Führung
Marketing + Vertrieb
Versicherung + Risiko

Jetzt Wissensvorsprung sichern!

inform now

previous chapter Collective Alternatives

next chapter Explicating the Notion of Truth Within Transparent Intensional Logic

Interestingly, a similar criteria is also considered by Jaśkowski (cf. [8, p. 38]) who is the other founder of modern paraconsistent logic.

Note here that BS4 is not the first many-valued system that reflects da Costa’s idea. Indeed, there are systems such as LFI1 and LFI2, developed in [4], which are complete with respect to three-valued semantics. Therefore, we may say that the first objection was already settled then. But at the same time, we are widening our scope to deal with incomplete situations and therefore it must be fair to say that the argument against the first objection becomes more widely acceptable by the presence of the system BS4.

Note that two questions are quite different and thus our approaches to these questions will be also quite different.

Note here that there is an attempt [10] to develop systems which are both paraconsistent and paracomplete, following the line of research of da Costa. Recall that a system is called paracomplete when the law of excluded middle is not valid in the system.

We may of course add the Peirce’s law, i.e. \(((A\!\supset \!B)\!\supset \!A)\!\supset \!A\), in place of \(A\vee (A\!\supset \!B)\) Indeed, these two formulas are equivalent in negation-less fragment of classical propositional calculus as \(A\vee B\) and \((A\!\supset \!B)\!\supset \!B\) are equivalent in general. The reason we employed \(A\vee (A\!\supset \!B)\) is because we are simply following the convention in the study of LFIs. For an example of an axiomatization of IPC \(^+\), see e.g. (1)–(9) of [6, pp. 498–499] which is the axiomatization given by Kleene.

Note here that in the study of Nelson’s systems, we also use the name strong negation to refer to a different negation. But we will here follow the convention of LFIs, not of Nelson’s systems, since our main focus is on the systems that generalize the framework of LFIs. Note further that strong negation \(\lnot \) behaves as classical negation in BS.

The truth tables there are known as the truth tables for the system P \(^1\) of Sette studied in [17].

Namely, \(\mathop {\sim }(A\wedge \mathop {\sim }A)\!\supset \!(A\!\supset \!(\mathop {\sim }A\!\supset \!B))\) holds, just like (A2) of cBS.

The outline of the proof for the equivalence is as follows. First, \(\lnot (A\wedge \mathop {\sim }A)\!\supset \!\mathop {\sim }(A\wedge \mathop {\sim }A)\) follows as a special case of \(\lnot A\!\supset \!\mathop {\sim }A\), and this is equivalent to \(A\vee \mathop {\sim }A\) which is assumed in concerned systems. For the other way around, we assume \(\mathop {\sim }(A\wedge \mathop {\sim }A)\) and \((A\wedge \mathop {\sim }A)\). Then, by the special role given to \(\mathop {\sim }(A\wedge \mathop {\sim }A)\), the conjunction of the formulas are explosive. So, we have \(\mathop {\sim }(A\wedge \mathop {\sim }A) \wedge (A\wedge \mathop {\sim }A)\!\supset \!\lnot (A\wedge \mathop {\sim }A)\) in particular, and finally by reductio with respect to \(\lnot \), we obtain the desired formula. For the stronger definition, see Theorem 1.

More results on related systems of \(\mathcal {N}_{2}\mathbf {BS4}\) is proved in [16].

The readers may wonder if we may define the semantic clause \(w \models ^{-} \circ A\) as the equivalence: \(w \models ^{+} A\) iff \(w \models ^{-} A\). However, this semantic clause will break the persistency requirement. This is one reason why we employ the current version of the semantic clause.

We already made use of this kind of reformulation in the proof of Theorem 3.

Note that even though many of the relevant (relevance) logics are paraconsistent, relevantists have a different view on classical logic in the sense that they will not necessarily agree to make use of classical logic even in consistent cases.

Belnap, N. (1976). How a computer should think. In G. Ryle (Ed.), Contemporary aspects of philosophy (pp. 30–55). Stocksfield: Oriel Press.

Carnielli, W. A., Coniglio, M. E., & Marcos, J. (2007). Logics of formal inconsistency. In D. Gabbay & F. Guenthner (Eds.), Handbook of philosophical logic (Vol. 14, pp. 1–93). Dordrecht: Springer.

Carnielli, W. A., & Marcos, J. (2002). A taxonomy of C-systems. In W. A. Carnielli, M. E. Coniglio & d’Ottaviano I. M. L. Marcel Dekker (Eds.), Paraconsistency: The Logical Way to the Inconsistent, Proceedings of the II World Congress on Paraconsistency (pp. 1–94).

Carnielli, W. A., Marcos, J., & de Amo, S. (2000). Formal inconsistency and evolutionary databases. Logic and Logical Philosophy, 8, 115–152.CrossRef

de Castro, M. A., & d’Ottaviano, I. M. L. (2000). Natural deduction for paraconsistent logic. Logica Trianguli, 4, 3–24.

da Costa, N. C. A. (1974). On the theory of inconsistent formal systems. Notre Dame Journal of Formal Logic, 15(4), 497–510.CrossRef

Guillaume, M. (2007). Da Costa 1964 logical seminar: Revisited memories. In J.-Y. Béziau, W. A. Carnielli & D. Gabbay (Eds.), Handbook of paraconsistency (pp. 3–62). London: College Publications.

Jaśkowski, S. (1999). A propositional calculus for inconsistent deductive systems. Logic and Logical Philosophy, 7, 35–56.CrossRef

Kamide, N., & Wansing, H. (2012). Proof theory of Nelson’s paraconsistent logic: A uniform perspective. Theoretical Computer Science, 415, 1–38.CrossRef

10.

Loparić, A., & da Costa, N. C. A. (1984). Paraconsistency, paracompleteness, and valuations. Logique et Analyse (N.S.), 106, 119–131.

11.

Mendelson, E. (1997). Introduction to mathematical logic. Boca Raton: Chapman and Hall/CRC.

12.

Odintsov, S. P. (2008). Constructive negations and paraconsistency. Dordrecht: Springer.CrossRef

13.

Omori, H., & Waragai, T. (2011). Some observations on the systems LFI1 and LFI1\(^\ast \). In: Proceedings of Twenty-Second International Workshop on Database and Expert Systems Applications (DEXA2011) (pp. 320–324).

14.

Priest, G. (1979). The logic of paradox. Journal of Philosophical Logic, 8, 219–241.CrossRef

15.

Priest, G. (2002). Paraconsistent logic. In D. Gabbay & F. Guenthner (Eds.), Handbook of philosophical logic (2nd ed., Vol. 6, pp. 287–393). Dordrecht: Kluwer Academic Publishers.

16.

Sano, K., & Omori, H. (2013). An expansion of First-order Belnap-Dunn logic. Logic Journal of IGPL, doi:10.1093/jigpal/jzt044.

17.

Sette, A. (1973). On the propositional calculus P\(^1\). Mathematica Japonicae, 16, 173–80.

18.

Wansing, H. (2001). Negation. In L. Goble (Ed.), The Blackwell guide to philosophical logic (pp. 415–436). Cambridge: Blackwell Publishing.

Title: da Costa Meets Belnap and Nelson
Authors: Hitoshi Omori
Katsuhiko Sano
Publisher: Springer International Publishing
Book: Recent Trends in Philosophical Logic
Print ISBN: 978-3-319-06079-8

Electronic ISBN: 978-3-319-06080-4

Copyright Year: 2014
DOI: https://doi.org/10.1007/978-3-319-06080-4_11

Springer Professional

Abstract

Please log in to get access to your license.

Dont have a licence yet? Then find out more about our products and how to get one now:

Springer Professional "Wirtschaft+Technik"

Springer Professional "Technik"

Springer Professional "Wirtschaft"

Premium Partner