Abstract
In this paper two closely related systems of paraconsistent belief change are presented. A paraconsistent system of belief change is one that allows for the non-trivial treatment of inconsistent belief sets. The aim in this paper is to provide theories that help us investigate responses to paradoxes. According to the strong system of paraconsistent belief change, if an agent accepts an inconsistent belief set, he or she has to accept the conjunctions of all the propositions in it. The weak system, on the other hand, allows people to have beliefs without believing their conjunctions. The weak system seems to deal better than with the lottery and preface paradoxes than does strong system, although the strong system has other virtues.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Notes
- 1.
I use ‘systems’ of belief change throught this paper rather than the more usual ‘theories’ because I use ‘theory’ to refer to sets of formulas that are closed under conjunction and logical consequence. In the original draft of this paper I used ‘theory’ in both of these senses, producing a rather confusing mess (as a referee pointed out).
- 2.
In a recent paper Makinson (2012), Makinson returns to the preface paradox and compares it with the lottery paradox.
- 3.
Makinson has returned much more recently to work relevant logic. Recently, he is investigating the relationship between relevant and classical logic, in particular in his contribution to this volume.
- 4.
- 5.
For a survey of the various relevant logics, their properties, and their semantics, see Routley et al. (1983).
- 6.
Strictly speaking, a filter or ideal on the Lindenbaum algebra is not a set of formulas, but a set of equivalence classes of formulas.
- 7.
For a good survey of AGM-like theories based on non-classical logics, see Wassermann (2011).
- 8.
Restall and Slaney (1995) also try to expose more detail in how people do or should work with inconsistencies in belief revision, but they are concerned with the elimination of inconsistencies, not with when we should accept them.
- 9.
- 10.
- 11.
- 12.
As far as I know, Belnap never published his proof.
- 13.
I use ‘\(\sigma \)’ to connote ‘strong’ as in ‘strong theories’.
- 14.
Partial meets were first introduced into the AGM theory as a way of treating contraction Alchourón et al. (1985). Here I generalize this approach to define all the AGM operations.
- 15.
Although this solution might run afoul of Douven and Williamson’s generalizations of the lottery paradox Douven and Williamson (2006).
- 16.
Makinson develops Kyburg’s idea in a more formally percise way in terms of the notion of a “lossy rule”. Conjunction introduction is lossy; it is unreliable in certain situations. In Makinson (2012), Makinson formulates rules that allow conjunction introduction to be “applied sparingly”.
- 17.
In Kyburg (1997), Kyburg attacks Ray Jennings and Peter Schotch’s theory of forcing Jennings and Schotch (1984) as a means for dealing with the lottery paradox. Since my original idea in this paper was to adapt the forcing strategy to the AGM theory, it is appropriate for me to explain forcing briefly. In that theory, a (finite) premise set is partitioned into consistent subsets. The fewest number of sets such that their union is the original premise set is called the level of the premise set. Suppose that the level of a premise set \(X\) is \(n\). Then we say that \(X\) forces a formula \(A\) (written \(X[\vdash A\)) if and only if in every partition of \(X\) into \(n\) subsets there is a set \(Y\) in that partition such that \(Y\) classically entails \(A\). As a defender of forcing, Brown (1999) says that this method does not allow us to derive all the conjunctions that one would accept in lottery type cases. Rather, extra logical considerations usually come into play. This is true in the weak theory as well, since the formal requirements on the selection functions do not determine exactly which contents are selected, maximalized, and then intersected.
References
Alchourón, C., & Bulygin, E. (1981). The expressive conception of norms. In R. Hilpinen (Ed.), New essays in deontic logic (pp. 95–124). Dordrecht: Reidel.
Alchourón, C., Gärdenfors, P., & Makinson, D. (1985). On the logic of theory change: Partial meet contraction and revision functions. The Journal of Symbolic Logic, 50, 510–530.
Arruda, A. (1977). A survey of paraconsistent logic. In A. I. Arruda, N. Da Costa, & R. Chuaqui (Eds.), Non-classical logic (pp. 1–41). Amsterdam: North Holland.
Brown, B. (1999). Adjunction and aggregation. Noûs, 33, 273–283.
Douven, I., & Williamson, T. (2006). Generalizing the lottery paradox. British Journal for the Philosophy of Science, 57, 755–779.
Fuhrmann, A. (2011). Theories of belief change. In S. Bernecker & D. Pritchard (Eds.), Routledge companion to epistemology (pp. 621–638). London: Routledge.
Gabbay, D. M. (1974). On second order intuitionist propositional calculus with full comprehension. Archiv für Mathematische Logik und Grundlagenforschung, 16, 177–186.
Gärdenfors, P., & Makinson, D. (1998). Revisions of knowledge systems using epistemic entrenchment. In Second Conference on Theoretical Aspects of Reasoning about Knowledge, (pp. 83–95).
Gomolinska, A. (1998). On the logic of acceptance and rejection. Studia Logica, 60, 233–251.
Grove, A. (1988). Two modellings for theory change. Journal of Philosophical Logic, 17, 157–170.
Jennings, R., & Schotch, P. (1984). The preservation of coherence. Studia Logica, 43, 89–106.
Kyburg, H. (1961). Probability and the logic of rational belief. Middletown: Wesleyan University Press.
Kyburg, H. (1997). The rule of adjunction and reasonable inference. The Journal of Philosophy, 94, 109–125.
Levi, I. (1997). The covenant of reason: Rationality and the commitments of thought. Cambridge: Cambridge University Press.
Makinson, D. (1965a). An alternative characterization of first-degree entailment. Logique et Analyse, 8, 305–311, Misprints corrected in Logique et Analyse, 9, 394, 1966.
Makinson, D. (1965b). The paradox of the preface. Analysis, 25, 205–207.
Makinson, D. (1973). Topics in modern logic. London: Methuen.
Makinson, D. (2012). Logical questions behind the lottery paradox: Lossy rules for uncertain inference. Synthese, 186, 511–529.
Mares, E. (2002). A paraconsistent theory of belief revision. Erkenntnis, 56, 229–246.
Mares, E. (2004). Relevant logic: A philosophical interpretation. Cambridge: Cambridge University Press.
Pollock, J. (1995). Cognitive carpentry. Cambridge: MIT Press.
Priest, G. (2001). Paraconsistent belief revision. Theoria, 67, 214–228.
Priest, G., & Routley, R. (1989). On paraconsistency. In G. Priest, R. Routley, & J. Norman (Eds.), Paraconsistent logic. Philosophia: Munich.
Restall, G. (2000). Introduction to subsructural logics. London: Routlege.
Restall, G. (2013). Assertion, denial, and non-classical theories. In K. Tanaka, F. Berto, E. Mares, & F. Paoli (Eds.), Paraconsistency: Logic and applications (pp. 81–99). Dordrecht: Springer.
Restall, G., & Slaney, J. (1995). Realistic belief revsion. In Proceedings of the Second World Conference on the Fundamentals of Aritificial Intelligence (pp. 367–378).
Routley, Richard, Brady, Ross, Meyer, Robert, & Routley, Val. (1983). Relevant Logics and Their Rivals (Vol. 1). Atascardero, CA: Ridgeview Press.
Segerberg, K. (1995). Belief revision from the point of view of doxastic logic. Bulletin of the IGPL, 3, 535–553.
Slaney, J. (1990). A general logic. Australasian Journal of Philosophy, 68, 7489.
Tanaka, K. (2005). The AGM theory and inconsistent belief change. Logique et Analyse, 48, 113–150.
van Benthem, J. (2011). Logical dynamics of information and interaction. Cambridge: Cambridge University Press.
Wassermann, R. (2011). On AGM for non-classical logics. Journal of Philosophical Logic, 40, 271–294.
Acknowledgments
David Makinson suggested to me that I write a paper for this volume and for this he is in part responsible for my rethinking my views on paraconsistency and belief revision. I am very grateful to David for his close reading of a draft of this paper and his extremely helpful suggestions. I am grateful to Rob Goldblatt, Patrick Girard, Jeremy Seligman, and Zach Weber for listening to and commenting on an earlier version of this paper. I am also indebted to Sven Ove Hansson and his two referees for very helpful comments. They saved me from some very embarrassing errors.
Author information
Authors and Affiliations
Corresponding author
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2014 Springer Science+Business Media Dordrecht
About this chapter
Cite this chapter
Mares, E. (2014). Liars, Lotteries, and Prefaces: Two Paraconsistent Accounts of Belief Change. In: Hansson, S. (eds) David Makinson on Classical Methods for Non-Classical Problems. Outstanding Contributions to Logic, vol 3. Springer, Dordrecht. https://doi.org/10.1007/978-94-007-7759-0_7
Download citation
DOI: https://doi.org/10.1007/978-94-007-7759-0_7
Published:
Publisher Name: Springer, Dordrecht
Print ISBN: 978-94-007-7758-3
Online ISBN: 978-94-007-7759-0
eBook Packages: Humanities, Social Sciences and LawPhilosophy and Religion (R0)