Hostname: page-component-78c5997874-8bhkd Total loading time: 0 Render date: 2024-11-19T20:21:39.681Z Has data issue: false hasContentIssue false
  • English
  • Français

LOGIC AND TOPOLOGY FOR KNOWLEDGE, KNOWABILITY, AND BELIEF

Published online by Cambridge University Press:  09 October 2019

ADAM BJORNDAHL  and
AYBÜKE ÖZGÜN
ADAM BJORNDAHL*
Affiliation:
Carnegie Mellon University
AYBÜKE ÖZGÜN*
Affiliation:
ILLC, University of Amsterdam; and Arché, University of St. Andrews
*
*DEPARTMENT OF PHILOSOPHY CARNEGIE MELLON UNIVERSITY PITTSBURGH, PA, USA E-mail: [email protected]
†ILLC, UNIVERSITY OF AMSTERDAM AMSTERDAM, THE NETHERLANDS and ARCHÉ, UNIVERSITY OF ST. ANDREWS ST. ANDREWS, SCOTLAND E-mail: [email protected]
Get access Rights & Permissions [Opens in a new window]

Abstract

In recent work, Stalnaker proposes a logical framework in which belief is realized as a weakened form of knowledge 35. Building on Stalnaker’s core insights, and using frameworks developed in 11 and 3, we employ topological tools to refine and, we argue, improve on this analysis. The structure of topological subset spaces allows for a natural distinction between what is known and (roughly speaking) what is knowable; we argue that the foundational axioms of Stalnaker’s system rely intuitively on both of these notions. More precisely, we argue that the plausibility of the principles Stalnaker proposes relating knowledge and belief relies on a subtle equivocation between an “evidence-in-hand” conception of knowledge and a weaker “evidence-out-there” notion of what could come to be known. Our analysis leads to a trimodal logic of knowledge, knowability, and belief interpreted in topological subset spaces in which belief is definable in terms of knowledge and knowability. We provide a sound and complete axiomatization for this logic as well as its uni-modal belief fragment. We then consider weaker logics that preserve suitable translations of Stalnaker’s postulates, yet do not allow for any reduction of belief. We propose novel topological semantics for these irreducible notions of belief, generalizing our previous semantics, and provide sound and complete axiomatizations for the corresponding logics.

Keywords

03B42epistemic/doxastic logictopological semanticsevidence
Type
Research Article
Information
The Review of Symbolic Logic , Volume 13 , Issue 4 , December 2020 , pp. 748 - 775
Check for updates
Copyright
Copyright © Association for Symbolic Logic 2019 

Access options

Get access to the full version of this content by using one of the access options below. (Log in options will check for institutional or personal access. Content may require purchase if you do not have access.)

References

BIBLIOGRAPHY

Balbiani, P., van Ditmarsch, H., & Kudinov, A. (2013). Subset space logic with arbitrary announcements. In Lodaya, K., editor. Proceedings of the 5th ICLA. Berlin: Springer, pp. 233–244.Google Scholar
Baltag, A., Bezhanishvili, N., Özgün, A., & Smets, S. (2013). The topology of belief, belief revision and defeasible knowledge. In Grossi, D., Roy, O., and Huang, H., editors. Proceedings of LORI 2013. Heidelberg: Springer, pp. 27–40.Google Scholar
Baltag, A., Bezhanishvili, N., Özgün, A., & Smets, S. (2016). Justified belief and the topology of evidence. In Väänänen, J., Hirvonen, Å., and de Queiroz, R., editors. Proceedings of WOLLIC 2016. Berlin: Springer, pp. 83–103.Google Scholar
Baltag, A., Bezhanishvili, N., Özgün, A., & Smets, S. (2016). The topology of full and weak belief. In Hansen, H., Murray, S., Sadrzadeh, M., and Zeevat, H., editors. Postproceedings of TbiLLC 2015. Berlin: Springer, pp. 205–228.Google Scholar
Baltag, A., Bezhanishvili, N., Özgün, A., & Smets, S. (2019). A topological approach to full belief. Journal of Philosophical Logic, 48, 205–244.CrossRefGoogle ScholarPubMed
Baltag, A. & Smets, S. (2008). A qualitative theory of dynamic interactive belief revision. Texts in Logic and Games, 3, 9–58.Google Scholar
Baltag, A., van Ditmarsch, H. P., & Moss, L. S. (2008). Epistemic logic and information update. In Adriaans, P. and van Benthem, J., editors. Handbook of the Philosophy of Information. Amsterdam: Elsevier Science Publishers, pp. 361–455.CrossRefGoogle Scholar
Baskent, C. (2011). Geometric public announcement logics. In Murray, R. C., and McCarthy, P. M., editors. Proceedings of the 24th FLAIRS, pp. 87–88.Google Scholar
Baskent, C. (2012). Public announcement logic in geometric frameworks. Fundamenta Informaticae, 118, 207–223.CrossRefGoogle Scholar
Bezhanishvili, N. & van der Hoek, W. (2014). Structures for epistemic logic. In Baltag, A. and Smets, S., editors. Johan van Benthem on Logic and Information Dynamics. Cham: Springer International Publishing, pp. 339–380.CrossRefGoogle Scholar
Bjorndahl, A. (2018). Topological subset space models for public announcements. In van Ditmarsch, H. and Sandu, G., editors. Jaakko Hintikka on Knowledge and Game-Theoretical Semantics. Cham: Springer International Publishing, pp. 165–186.CrossRefGoogle Scholar
Bjorndahl, A. & Özgün, A. (2019). Uncertainty about evidence. In Moss, L. S., editor. Proceedings of the 17th TARK. EPTCS, pp. 68–81.Google Scholar
Blackburn, P., de Rijke, M., & Venema, Y. (2001). Modal Logic. Cambridge Tracts in Theoretical Computer Science, Vol. 53. Cambridge: Cambridge University Press.CrossRefGoogle Scholar
Brogaard, B. & Salerno, J. (2013). Fitch’s paradox of knowability. In Zalta, E. N., editor. The Stanford Encyclopedia of Philosophy (Winter 2013 Edition). Metaphysics Research Lab, Stanford University.Google Scholar
Chagrov, A. V. & Zakharyaschev, M. (1997). Modal Logic. Oxford Logic Guides, Vol. 35. Oxford: Oxford University Press.Google Scholar
Clark, M. (1963). Knowledge and grounds: A comment on Mr. Gettier’s paper. Analysis, 24, 46–48.CrossRefGoogle Scholar
Dabrowski, A., Moss, L. S., & Parikh, R. (1996). Topological reasoning and the logic of knowledge. Annals of Pure and Applied Logic, 78, 73–110.CrossRefGoogle Scholar
Dugundji, J. (1965). Topology. Allyn and Bacon Series in Advanced Mathematics. Boston: Prentice Hall.Google Scholar
Engelking, R. (1989). General Topology (second edition), Vol. 6. Berlin: Heldermann Verlag.Google Scholar
Fitch, F. B. (1963). A logical analysis of some value concepts. The Journal of Symbolic Logic, 28, 135–142.CrossRefGoogle Scholar
Fuhrmann, A. (2014). Knowability as potential knowledge. Synthese, 191, 1627–1648.CrossRefGoogle Scholar
Grove, A. (1988). Two modellings for theory change. Journal of Philosophical Logic, 17, 157–170.CrossRefGoogle Scholar
Heinemann, B. (2008). Topology and knowledge of multiple agents. In Geffner, H., Prada, R., Machado Alexandre, I., and David, N., editors. Proceedings of the 11th IBERAMIA. Berlin: Springer, pp. 1–10.Google Scholar
Heinemann, B. (2010). Logics for multi-subset spaces. Journal of Applied Non-Classical Logics, 20, 219–240.CrossRefGoogle Scholar
Hendricks, V. & Symons, J. (2015). Epistemic logic. In Zalta, E. N., editor. The Stanford Encyclopedia of Philosophy (Fall 2015 Edition). Metaphysics Research Lab, Stanford University.Google Scholar
Ichikawa, J. J. & Steup, M. (2013). The analysis of knowledge. In Zalta, E. N., editor. The Stanford Encyclopedia of Philosophy (Fall 2013 Edition). Metaphysics Research Lab, Stanford University.Google Scholar
Klein, P. (1981). Certainty, a Refutation of Scepticism. Minneapolis: University of Minnesota Press.Google Scholar
Klein, P. D. (1971). A proposed definition of propositional knowledge. Journal of Philosophy, 68, 471–482.CrossRefGoogle Scholar
Lehrer, K. (1990). Theory of Knowledge. London: Routledge.Google Scholar
Lehrer, K. & Paxson, T. Jr. (1969). Knowledge: Undefeated justified true belief. Journal of Philosophy, 66, 225–237.CrossRefGoogle Scholar
Lenzen, W. (1978). Recent work in epistemic logic. Acta Philosophica Fennica, 30, 1–219.Google Scholar
Moss, L. S. & Parikh, R. (1992). Topological reasoning and the logic of knowledge. In Moses, Y., editor. Proceedings of the 4th TARK. San Francisco, CA: Morgan Kaufmann, pp. 95–105.Google Scholar
Özgün, A. (2013). Topological Models for Belief and Belief Revision. Master’s Thesis, ILLC, University of Amsterdam.Google Scholar
Rott, H. (2004). Stability, strength and sensitivity: Converting belief into knowledge. Erkenntnis, 61, 469–493.CrossRefGoogle Scholar
Stalnaker, R. (2006). On logics of knowledge and belief. Philosophical Studies, 128, 169–199.CrossRefGoogle Scholar
van Benthem, J. (2004). What one may come to know. Analysis, 64, 95–105.CrossRefGoogle Scholar
van Benthem, J. (2007). Dynamic logic for belief revision. Journal of Applied Non-Classical Logics, 17, 129–155.CrossRefGoogle Scholar
van Benthem, J. & Bezhanishvili, G. (2007). Modal logics of space. In Aiello, M., Pratt-Hartmann, I., and Van Benthem, J., editors. Handbook of Spatial Logics. Dordrecht: Springer, pp. 217–298.CrossRefGoogle Scholar
van Benthem, J. & Smets, S. (2015). Dynamics logics of belief change. In van Ditmarsch, H., Hoek, W. V. D., Halpern, J. Y., and Kooi, B., editors. Handbook of Epistemic Logic. London: College Publications, pp. 313–393.Google Scholar
van Ditmarsch, H., Knight, S., & Özgün, A. (2014). Arbitrary announcements on topological subset spaces. In Bulling, N., editor. Proceedings of the 12th EUMAS. Cham: Springer, pp. 252–266.Google Scholar
van Ditmarsch, H., Knight, S., & Özgün, A. (2019). Announcement as effort on topological spaces. Synthese, 196, 2927–2969.CrossRefGoogle ScholarPubMed
van Ditmarsch, H., van der Hoek, W., & Iliev, P. (2012). Everything is knowable. Theoria, 78(2), 93–114.CrossRefGoogle Scholar
van Ditmarsch, H., van der Hoek, W., & Kooi, B. (2007). Dynamic Epistemic Logic (first edition). Dordrecht: Springer.Google Scholar
van Ditmarsch, H. (2005). Prolegomena to dynamic logic for belief revision. Synthese, 147(2), 229–275.CrossRefGoogle Scholar
Wang, Y. N. & Ågotnes, T. (2013). Multi-agent subset space logic. Proceedings of the 23rd IJCAI. IJCAI/AAAI, pp. 1155–1161.Google Scholar
Wáng, Y. N. & Ågotnes, T. (2013). Subset space public announcement logic. In Lodaya, K., editor. Proceedings of 5th ICLA. Berlin: Springer, pp. 245–257.Google Scholar
Williamson, T. (2000) Knowledge and its Limits. Oxford: Oxford University Press.Google Scholar