Abstract
Issues about information spring up wherever one scratches the surface of logic. Here is a case that raises delicate issues of ‘factual’ versus ‘procedural’ information, or ‘statics’ versus ‘dynamics’. What does intuitionistic logic, perhaps the earliest source of informational and procedural thinking in contemporary logic, really tell us about information? How does its view relate to its ‘cousin’ epistemic logic? We discuss connections between intuitionistic models and recent protocol models for dynamic-epistemic logic, as well as more general issues that emerge.
Article PDF
Similar content being viewed by others
Avoid common mistakes on your manuscript.
References
Abramsky S. (2008) Information, processes and games. In: Adriaans P., Benthem J. (eds) Handbook of the philosophy of information. Elsevier Science Publishers, Amsterdam
Baltag A., van Ditmarsch H., Moss L. (2008) Epistemic logic and information update. In: Adriaans P., Benthem J. (eds) Handbook of the philosophy of information. Elsevier Science Publishers, Amsterdam
Barwise J., Perry J. (1983) Situations and attitudes. MIT Press, Cambridge (Mass.)
Beth, E. W. (1956). Semantic construction of intuitionistic logic. Mededelingen Koninklijke Nederlandse Akademie van Wetenschappen. New Series 19:11, Amsterdam, pp. 357–388.
Blackburn P., de Rijke M., Venema Y. (2000) Modal logic. Cambridge University Press, Cambridge
Bozic M., Dosen K. (1984) Models for normal intuitionistic modal logics. Studia Logica 4: 217–245
Dummett M. (1977) Elements of intuitionism. Oxford University Press, Oxford
Dunn J.M. (2008) Information in computer science. In: Adriaans P., Benthem J. (eds) Handbook of the philosophy of information. Elsevier, Amsterdam
Fagin R., Halpern J., Moses Y., Vardi M. (1995) Reasoning about knowledge. MIT Press, Cambridge (Mass.)
Hoshi, T. (2008). Notes on TPAL (public announcement logic with protocols) and explicit knowledge. Department of Philosophy, Stanford University.
Jago, M. (2006). Logics for resource-bounded agents. Dissertation, Department of Philosophy, University of Nottingham.
Jago, M. (2007). Logical information is vague. Department of Philosophy, University of Nottingham. Knowledge, Rationality and Action (to appear).
Kripke S. (1963) Semantical considerations on modal and intuitionistic logic. Acta Philosophica Fennica 16: 83–94
Landman F. (1986) Towards a theory of information, the status of partial objects in semantics. Foris, Dordrecht
Lorenzen P. (1955) Einführung in die Operative Logik und Mathematik. Springer, Berlin
Parikh R., Ramanujam R. (2003) A knowledge based semantics of messages. Journal of Logic, Language and Information 12: 453–467
Sequoiah-Grayson, S. (2007). Information gain from inference. In Proceedings of LogKCA-07, International Workshop on Logic and Philosophy of Knowledge, Rationality, and Action, San Sebastian, Spain. Donostia: The University of the Basque Countries Press (to appear).
van Benthem J. et al (1989) Semantic parallels in natural language and computation. In: Ebbinghaus H.-D. (eds) Logic colloquium, granada 1987. North-Holland, Amsterdam, pp 331–375
van Benthem J. (1991) Language in action: Categories, lambdas, and dynamic logic. MIT Press, Amsterdam: North-Holland; Cambridge (Mass.)
van Benthem J. (1993) Reflections on epistemic logic. Logique et Analyse 34: 5–14
van Benthem J. (1996a) Exploring logical dynamics. CSLI Publications, Stanford
van Benthem J. (1996b) Modal logic as a theory of information. In: Copeland J. (eds) Logic and reality. Essays on the legacy of Arthur Prior. Clarendon Press, Oxford, pp 135–168
van Benthem, J. (2004). Update and revision in games, lecture notes. Department of Philosophy, Stanford University.
van Benthem J. (2006a) Epistemic logic and epistemology: The state of their affairs. Philosophical Studies 128: 49–76
van Benthem, J. (2006b). One is a lonely number: On the logic of communication. In Z. Chatzidakis, P.~Koepke, & W. Pohlers (Eds.), Logic Colloquium ’02, ASL & A.K. Peters, Wellesley, MA, pp. 96–129.
van Benthem J. (2007) Interview. In: Floridi L. (eds) Five questions in the philosophy of computing and information. Automatic Press, Roskilde
van Benthem, J. (2008a). Merging observational and access dynamics in logic. Chinese Journal of Logic, 1, 1. Institute of Logic and Cognition, Soon Yat-Sen University, Guangzhou.
van Benthem, J. (2008b). Tell it like it is. Journal of Peking University. Humanities and Social Science Edition, No. 1, pp. 80–90.
van Benthem, J., Gerbrandy, J., & Pacuit, E. (2007). Merging frameworks for interaction: DEL and ETL. Proceedings TARK 2007, University of Namur. Extended 2008 version with Tomohiro Hoshi, ILLC Amsterdam & Stanford University.
van Benthem J., Martinez M. (2007) The stories of logic and information. In: Adriaans P., Benthem J. (eds) Handbook of the philosophy of information. Elsevier Science Publishers, Amsterdam
van Benthem, J., & Pacuit, E. (2006). The tree of knowledge in action. Proceedings Advances in Modal Logic ANU Melbourne.
van Dalen, D., & Troelstra, A. (1988). Constructivism in mathematics (2 Vols). Amsterdam: North-Holland.
van Ditmarsch H., van der Hoek W., Kooi B. (2007) Dynamic epistemic logic. Springer, Dordrecht
Velazquez, F. (2008). Inference and update. ILLC, University of Amsterdam. To be presented at Workshop on Logic and Intelligent Interaction, ESSLLI Summer School, Hamburg.
Veltman F. (1984) Data semantics. In: Groenendijk J., Janssen Th., Stokhof M. (eds) Truth, interpretation and information. Foris, Dordrecht, pp 43–63
Wansing, H. (Ed.). (1996). Negation. A notion in focus. Perspectives in analytical philosophy (Vol. 7). Berlin: de Gruyter.
Acknowledgments
I would like to thank Samson Abramsky, Georg Gottlob, Dan Isaacson, Sebastian Sequoiah-Grayson, and Tim Williamson for helpful comments.
Open Access
This article is distributed under the terms of the Creative Commons Attribution Noncommercial License which permits any noncommercial use, distribution, and reproduction in any medium, provided the original author(s) and source are credited.
Author information
Authors and Affiliations
Corresponding author
Rights and permissions
Open Access This is an open access article distributed under the terms of the Creative Commons Attribution Noncommercial License (https://creativecommons.org/licenses/by-nc/2.0), which permits any noncommercial use, distribution, and reproduction in any medium, provided the original author(s) and source are credited.
About this article
Cite this article
van Benthem, J. The information in intuitionistic logic. Synthese 167, 251–270 (2009). https://doi.org/10.1007/s11229-008-9408-5
Received:
Revised:
Accepted:
Published:
Issue Date:
DOI: https://doi.org/10.1007/s11229-008-9408-5