Skip to main content

2016 | OriginalPaper | Buchkapitel

2. Why Paraconsistent Logics?

verfasst von : Seiki Akama, Newton C. A. da Costa

Erschienen in: Towards Paraconsistent Engineering

Verlag: Springer International Publishing

Aktivieren Sie unsere intelligente Suche um passende Fachinhalte oder Patente zu finden.

search-config
loading …

Abstract

In this chapter, we briefly review paraconsistent logics which are closely related to the topics in this book. We give an exposition of their history and formal aspects. We also address the importance of applications of paraconsistent logics to engineering.

Sie haben noch keine Lizenz? Dann Informieren Sie sich jetzt über unsere Produkte:

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!

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!

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!

Fußnoten
1
In fact, in some systems of paraconsistent logic, like da Costa’s systems \(C_n\), the “good” propositions do satisfy this principle.
 
Literatur
1.
Zurück zum Zitat Abe, J.M.: On the Foundations of Annotated Logics (in Portuguese), Ph.D. Thesis, University of São Paulo, Brazil (1992) Abe, J.M.: On the Foundations of Annotated Logics (in Portuguese), Ph.D. Thesis, University of São Paulo, Brazil (1992)
2.
Zurück zum Zitat Abe, J.M., Akama, S., Nakamatsu, K.: Introduction to Annotated Logics. Springer, Heidelberg (2016)MATH Abe, J.M., Akama, S., Nakamatsu, K.: Introduction to Annotated Logics. Springer, Heidelberg (2016)MATH
3.
Zurück zum Zitat Akama, S.: Resolution in constructivism. Logique et Analyse 120, 385–399 (1987)MathSciNet Akama, S.: Resolution in constructivism. Logique et Analyse 120, 385–399 (1987)MathSciNet
4.
5.
Zurück zum Zitat Akama, S.: On the proof method for constructive falsity. Zeitschrift für mathematische Logik und Grundlagen der Mathematik 34, 385–392 (1988)MathSciNetCrossRefMATH Akama, S.: On the proof method for constructive falsity. Zeitschrift für mathematische Logik und Grundlagen der Mathematik 34, 385–392 (1988)MathSciNetCrossRefMATH
7.
Zurück zum Zitat Akama, S.: Constructive Falsity: Foundations and Their Applications to Computer Science, Ph.D. Thesis, Keio University, Yokohama, Japan (1990) Akama, S.: Constructive Falsity: Foundations and Their Applications to Computer Science, Ph.D. Thesis, Keio University, Yokohama, Japan (1990)
9.
Zurück zum Zitat Akama, S., Abe, J.M., Nakamatsu, K.: Constructive discursive logic with strong negation. Logique et Analyse 215, 395–408 (2011)MathSciNetMATH Akama, S., Abe, J.M., Nakamatsu, K.: Constructive discursive logic with strong negation. Logique et Analyse 215, 395–408 (2011)MathSciNetMATH
11.
Zurück zum Zitat Anderson, A., Belnap, N.: Entailment: The Logic of Relevance and Necessity I. Princeton University Press, Princeton (1976) Anderson, A., Belnap, N.: Entailment: The Logic of Relevance and Necessity I. Princeton University Press, Princeton (1976)
12.
Zurück zum Zitat Anderson, A., Belnap, N., Dunn, J.: Entailment: The Logic of Relevance and Necessity II. Princeton University Press, Princeton (1992)MATH Anderson, A., Belnap, N., Dunn, J.: Entailment: The Logic of Relevance and Necessity II. Princeton University Press, Princeton (1992)MATH
15.
Zurück zum Zitat Arruda, A.I.: A survey of paraconsistent logic. In: Arruda, A., da Costa, N., Chuaqui, R. (eds.) Mathematical Logic in Latin America, pp. 1–41. North-Holland, Amsterdam (1980) Arruda, A.I.: A survey of paraconsistent logic. In: Arruda, A., da Costa, N., Chuaqui, R. (eds.) Mathematical Logic in Latin America, pp. 1–41. North-Holland, Amsterdam (1980)
17.
Zurück zum Zitat Batens, D.: Dynamic dialectical logics. In: Priest, G., Routley, R. Norman, J. (eds.) Paraconsistent Logic: Essay on the Inconsistent, pp. 187–217. Philosophia Verlag, München (1989) Batens, D.: Dynamic dialectical logics. In: Priest, G., Routley, R. Norman, J. (eds.) Paraconsistent Logic: Essay on the Inconsistent, pp. 187–217. Philosophia Verlag, München (1989)
18.
Zurück zum Zitat Batens, D.: Inconsistency-adaptive logics and the foundation of non-monotonic logics. Logique et Analyse 145, 57–94 (1994)MathSciNetMATH Batens, D.: Inconsistency-adaptive logics and the foundation of non-monotonic logics. Logique et Analyse 145, 57–94 (1994)MathSciNetMATH
19.
Zurück zum Zitat Batens, D.: A general characterization of adaptive logics. Logique et Analyse 173–175, 45–68 (2001)MathSciNetMATH Batens, D.: A general characterization of adaptive logics. Logique et Analyse 173–175, 45–68 (2001)MathSciNetMATH
20.
Zurück zum Zitat Batens, D., Mortensen, C., Priest, G., Van Bendegem, J.-P. (eds.): Frontiers of Paraconsistent Logic. Research Studies Press, Baldock (2000) Batens, D., Mortensen, C., Priest, G., Van Bendegem, J.-P. (eds.): Frontiers of Paraconsistent Logic. Research Studies Press, Baldock (2000)
21.
Zurück zum Zitat Belnap, N.D.: A useful four-valued logic. In: Dunn, J.M., Epstein, G. (eds.) Modern Uses of Multi-Valued Logic, pp. 8–37. Reidel, Dordrecht (1977) Belnap, N.D.: A useful four-valued logic. In: Dunn, J.M., Epstein, G. (eds.) Modern Uses of Multi-Valued Logic, pp. 8–37. Reidel, Dordrecht (1977)
22.
Zurück zum Zitat Belnap, N.D.: How a computer should think. In: Ryle, G. (ed.) Contemporary Aspects of Philosophy, pp. 30–55. Oriel Press (1977) Belnap, N.D.: How a computer should think. In: Ryle, G. (ed.) Contemporary Aspects of Philosophy, pp. 30–55. Oriel Press (1977)
23.
Zurück zum Zitat Beziau, J.-Y., Carnielli, W., Gabbay, D. (eds.): Handbook of Paraconsistency. College Publication, London (2007)MATH Beziau, J.-Y., Carnielli, W., Gabbay, D. (eds.): Handbook of Paraconsistency. College Publication, London (2007)MATH
25.
Zurück zum Zitat Carnielli, W.A., Marcos, J.: Tableau systems for logics of formal inconsistency. In: Abrabnia, H.R. (ed.), Proceedings of the 2001 International Conference on Artificial Intelligence, vol. II, pp. 848–852. CSREA Press (2001) Carnielli, W.A., Marcos, J.: Tableau systems for logics of formal inconsistency. In: Abrabnia, H.R. (ed.), Proceedings of the 2001 International Conference on Artificial Intelligence, vol. II, pp. 848–852. CSREA Press (2001)
26.
Zurück zum Zitat Carnielli, W.A., Coniglio, M.E., D’Ottaviano, I.M. (eds.): Paraconsistency: The Logical Way to the Inconsistent. Marcel Dekker, New York (2002) Carnielli, W.A., Coniglio, M.E., D’Ottaviano, I.M. (eds.): Paraconsistency: The Logical Way to the Inconsistent. Marcel Dekker, New York (2002)
27.
Zurück zum Zitat Carnielli, W.A., Coniglio, M.E, Marcos, J.: Logics of formal inconsistency. In: Gabbay, D., Guenthner, F. (eds.) Handbook of Philosophical Logic, vol. 14, 2nd edn, pp. 1–93. Springer, Heidelberg (2007) Carnielli, W.A., Coniglio, M.E, Marcos, J.: Logics of formal inconsistency. In: Gabbay, D., Guenthner, F. (eds.) Handbook of Philosophical Logic, vol. 14, 2nd edn, pp. 1–93. Springer, Heidelberg (2007)
29.
30.
Zurück zum Zitat da Costa, N.C.A., Abe, J.M., Subrahmanian, V.S.: Remarks on annotated logic. Zeitschrift für mathematische Logik und Grundlagen der Mathematik 37, 561–570 (1991)MathSciNetCrossRefMATH da Costa, N.C.A., Abe, J.M., Subrahmanian, V.S.: Remarks on annotated logic. Zeitschrift für mathematische Logik und Grundlagen der Mathematik 37, 561–570 (1991)MathSciNetCrossRefMATH
31.
Zurück zum Zitat da Costa, N.C.A., Subrahmanian, V.S., Vago, C.: The paraconsistent logic \(P{\cal T}\). Zeitschrift für mathematische Logik und Grundlagen der Mathematik 37, 139–148 (1991) da Costa, N.C.A., Subrahmanian, V.S., Vago, C.: The paraconsistent logic \(P{\cal T}\). Zeitschrift für mathematische Logik und Grundlagen der Mathematik 37, 139–148 (1991)
32.
Zurück zum Zitat Dunn, J.M.: Relevance logic and entailment. In: Gabbay, D., Gunthner, F. (eds.) Handbook of Philosophical Logic, vol. III, pp. 117–224. Reidel, Dordrecht (1986) Dunn, J.M.: Relevance logic and entailment. In: Gabbay, D., Gunthner, F. (eds.) Handbook of Philosophical Logic, vol. III, pp. 117–224. Reidel, Dordrecht (1986)
35.
Zurück zum Zitat Ginsberg, M.: Multivalued logics. In: Proceedings of AAAI’86, pp. 243–247. Morgan Kaufman, Los Altos (1986) Ginsberg, M.: Multivalued logics. In: Proceedings of AAAI’86, pp. 243–247. Morgan Kaufman, Los Altos (1986)
36.
Zurück zum Zitat Ginsberg, M.: Multivalued logics: a uniform approach to reasoning in AI. Comput. Intell. 4, 256–316 (1988) Ginsberg, M.: Multivalued logics: a uniform approach to reasoning in AI. Comput. Intell. 4, 256–316 (1988)
37.
Zurück zum Zitat Jaśkowski, S.: Propositional calculus for contradictory deductive systems (in Polish). Studia Societatis Scientiarun Torunesis, Sectio A 1, 55–77 (1948) Jaśkowski, S.: Propositional calculus for contradictory deductive systems (in Polish). Studia Societatis Scientiarun Torunesis, Sectio A 1, 55–77 (1948)
38.
Zurück zum Zitat Jaśkowski, S.: On the discursive conjunction in the propositional calculus for inconsistent deductive systems (in Polish). Studia Societatis Scientiarun Torunesis, Sectio A 8, 171–172 (1949) Jaśkowski, S.: On the discursive conjunction in the propositional calculus for inconsistent deductive systems (in Polish). Studia Societatis Scientiarun Torunesis, Sectio A 8, 171–172 (1949)
39.
Zurück zum Zitat Kleene, S.: Introduction to Metamathematics. North-Holland, Amsterdam (1952)MATH Kleene, S.: Introduction to Metamathematics. North-Holland, Amsterdam (1952)MATH
40.
41.
Zurück zum Zitat Kifer, M., Subrahmanian, V.S.: On the expressive power of annotated logic programs. In: Proceedings of the 1989 North American Conference on Logic Programming, pp. 1069–1089 (1989) Kifer, M., Subrahmanian, V.S.: On the expressive power of annotated logic programs. In: Proceedings of the 1989 North American Conference on Logic Programming, pp. 1069–1089 (1989)
42.
Zurück zum Zitat Kotas, J.: The axiomatization of S. Jaskowski’s discursive logic. Studia Logica 33, 195–200 (1974) Kotas, J.: The axiomatization of S. Jaskowski’s discursive logic. Studia Logica 33, 195–200 (1974)
43.
Zurück zum Zitat Łukasiewicz, J.: On 3-valued logic. In: McCall, S. (ed.) Polish Logic, pp. 16–18, Oxford University Press, Oxford, 1967 Łukasiewicz, J.: On 3-valued logic. In: McCall, S. (ed.) Polish Logic, pp. 16–18, Oxford University Press, Oxford, 1967
45.
Zurück zum Zitat Nelson, D.: Negation and separation of concepts in constructive systems. In: Heyting, A. (ed.) Constructivity in Mathematics, pp. 208–225. North-Holland, Amsterdam (1959) Nelson, D.: Negation and separation of concepts in constructive systems. In: Heyting, A. (ed.) Constructivity in Mathematics, pp. 208–225. North-Holland, Amsterdam (1959)
47.
Zurück zum Zitat Priest, G.: Paraconsistent logic. In: Gabbay, D., Guenthner, F. (eds.) Handbook of Philosophical Logic, 2nd edn, pp. 287–393. Kluwer, Dordrecht (2002) Priest, G.: Paraconsistent logic. In: Gabbay, D., Guenthner, F. (eds.) Handbook of Philosophical Logic, 2nd edn, pp. 287–393. Kluwer, Dordrecht (2002)
48.
Zurück zum Zitat Priest, G.: In Contradiction: A Study of the Transconsistent, 2nd edn. Oxford University Press, Oxford (2006) Priest, G.: In Contradiction: A Study of the Transconsistent, 2nd edn. Oxford University Press, Oxford (2006)
49.
Zurück zum Zitat Priest, G., Routley, R., Norman, J. (eds.): Paraconsistent Logic: Essays on the Inconsistent. Philosophia Verlag, München (1989)MATH Priest, G., Routley, R., Norman, J. (eds.): Paraconsistent Logic: Essays on the Inconsistent. Philosophia Verlag, München (1989)MATH
50.
Zurück zum Zitat Rico, G.O.: The annotated logics \(OP_{\rm BL}\). In: Carnielli, W., Coniglio, M., D’Ottaviano, I. (eds.) Paraconsistency: The Logical Way to the Inconsistent, pp. 411–433. Marcel Dekker, New York (2002) Rico, G.O.: The annotated logics \(OP_{\rm BL}\). In: Carnielli, W., Coniglio, M., D’Ottaviano, I. (eds.) Paraconsistency: The Logical Way to the Inconsistent, pp. 411–433. Marcel Dekker, New York (2002)
51.
Zurück zum Zitat Routley, R., Plumwood, V., Meyer, R.K., Brady, R: Relevant Logics and Their Rivals, vol. 1. Ridgeview, Atascadero (1982) Routley, R., Plumwood, V., Meyer, R.K., Brady, R: Relevant Logics and Their Rivals, vol. 1. Ridgeview, Atascadero (1982)
52.
Zurück zum Zitat Subrahmanian, V.: On the semantics of quantitative logic programs. In: Proceeding of the 4th IEEE Symposium on Logic Programming, pp. 173–182 (1987) Subrahmanian, V.: On the semantics of quantitative logic programs. In: Proceeding of the 4th IEEE Symposium on Logic Programming, pp. 173–182 (1987)
53.
Zurück zum Zitat van Fraassen, B.C.: Facts and tautological entailment. J. Philos. 66, 477–487 (1069)CrossRef van Fraassen, B.C.: Facts and tautological entailment. J. Philos. 66, 477–487 (1069)CrossRef
54.
Zurück zum Zitat Vasil’ev, N.A.: Imaginary Logic (in Russian). Nauka, Moscow (1989) Vasil’ev, N.A.: Imaginary Logic (in Russian). Nauka, Moscow (1989)
55.
Metadaten
Titel
Why Paraconsistent Logics?
verfasst von
Seiki Akama
Newton C. A. da Costa
Copyright-Jahr
2016
DOI
https://doi.org/10.1007/978-3-319-40418-9_2