Keywords
versions of logic
inconsistent beliefs
How to Cite
Number of views: 13
Number of downloads: 19
Abstract
Both in everyday-life situation and in science, we often deal with inconsistent information. From one reliable source we learn a certain piece of information, while from another one we get some information that contradicts this. In classical logic representing inconsistent information cannot be done non-trivially. In this paper, I develop a three-valued paraconsistent doxastic logic, which is intended to model inconsistent information states. I present „static” and „dynamic” versions of the logic. The systems reflects the idea that having inconsistent beliefs does not imply believing everything.
References
Arieli O., Avron A., Zamansky A. 2011, Ideal Paraconsistent Logics, “Studia Logica” 99, s. 31-60. DOI: https://doi.org/10.1007/s11225-011-9346-y
Asenjo F.G., Tamburino J. 1975, Logic of Antinomies, “Notre Dame Journal of Formal Logic” 16, s. 17-45. DOI: https://doi.org/10.1305/ndjfl/1093891610
Avron A. 1986, On An Implication Connective of RM, “Notre Dame Journal of Formal Logic” 27, s. 201-209. DOI: https://doi.org/10.1305/ndjfl/1093636612
Avron A. 1991, Natural 3-valued logics — characterization and proof theory, “The Journal of Symbolic Logic” 56(1), s. 276–294. DOI: https://doi.org/10.2307/2274919
Blackburn P., DeRijke M., Vanema Y. 2001, Modal Logic, Cambridge University Press, Cambridge.
Carnielli W., Coniglio M.E., Marcos J. 2007, Logics od Formal Inconsistency, [w:] D. M. Gabbay, F. Guenthner (eds.), Handbook of Philosophical Logic, Vol. 14, Springer, Dordrecht, s. 1-93. DOI: https://doi.org/10.1007/978-1-4020-6324-4_1
Ciuciura J. 2018, Hierarchie systemów logiki parakonsystentnej, Wydawnictwo Uniwersytetu Łódzkiego, Łódź. DOI: https://doi.org/10.18778/8142-190-4
Da Costa N., French S. 1989, On the Logic of Belief, “Philosophy and Phenomenological Research” 46(3), s. 431-446. DOI: https://doi.org/10.2307/2107797
D’Ottaviano I. M. L, da Costa N. 1970, Sur un problème de Jaśkowski, « Comptes Rendus de l’Académie des Sciences de Paris », 270, s. 1349-1353.
Gerbrandy J., Groeneveld W. 1997, Reasoning about information change, “Journal of Logic, Language and Information” 6, 2, s. 147-169. DOI: https://doi.org/10.1023/A:1008222603071
Girard P., Tanaka K. 2016, Paraconsistent dynamics, “Synthese” 193(1), s. 1-14. DOI: https://doi.org/10.1007/s11229-015-0740-2
Habermas J. 1997, Pojęcie racjonalności komunikacyjnej w świetle teorii aktów mowy, [w:] T. Buksiński (red.), Rozumność i racjonalność, Wydawnictwo Naukowe IF UAM, Poznań 1997, s. 51-77.
Koons R. C. 1992, Paradoxes of belief and strategic rationality, Cambridge University Press, Cambridge. DOI: https://doi.org/10.1017/CBO9780511625381
Plaza J. 2007, Logics of public communications, “Synthese” 158(2), s. 165 -179. DOI: https://doi.org/10.1007/s11229-007-9168-7
Poczobut R. 1999, Sprzeczności doksastyczne a zagadnienie racjonalności przekonań, „Filozofia Nauki”, 3-4, s. 61-84.
Priest G. 1979, Logic of Paradox, “Journal of Philosophical Logic” 8, s. 219-241. DOI: https://doi.org/10.1007/BF00258428
Tuziak R. 2019, Logika sprzeczności. Uwagi o logice parakonsystentnej, Oficyna Wydawnicza ATUT, Wrocław.
Tworak Z. 2009, Współczesne teorie prawdy, Wydawnictwo Naukowe UAM, Poznań.
Tworak Z. 2018, Informacja, wiedza, logika, Wydawnictwo Naukowe UAM, Poznań.
van Benthem J. 2007, Dynamic Logic for Belief Revision, “Journal of Applied Non- Classical Logics” 17, s. 1-27. DOI: https://doi.org/10.3166/jancl.17.129-155
van Benthem J. 2011, Logical Dynamics of Information and Interaction, Cambridge University Press. DOI: https://doi.org/10.1017/CBO9780511974533
van Ditmarsch H., van der Hoek W., Kooi B. 2007, Dynamic Epistemic Logic, “Synthese Library” vol. 337 Springer, Dordrecht. DOI: https://doi.org/10.1007/978-1-4020-5839-4
van der Hoek W., Meyer J.-J. C. 1989, Possible logics for belief, “Logique et Analyse” 127-128, s. 177-194.
Williams J. 1982, Believing the Self-contradictory, “American Philosophical Quarterly” 19, 3, s. 279-285.
License
Copyright (c) 2022 Zbigniew Tworak
This work is licensed under a Creative Commons Attribution-NonCommercial 4.0 International License.