PP-2008-37: van Benthem, Johan (2008) The Information in Intuitionistic Logic. [Report]
Preview |
Text (Full Text)
PP-2008-37.text.pdf Download (311kB) | Preview |
Text (Abstract)
PP-2008-37.abstract.txt Download (948B) |
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. This paper will appear in an issue of "Synthese" edited by Luciano Floridi and Sebastian Sequoiah-Grayson, following the First Oxford Workshop in the Philosophy of Information".
Item Type: | Report |
---|---|
Report Nr: | PP-2008-37 |
Series Name: | Prepublication (PP) Series |
Year: | 2008 |
Uncontrolled Keywords: | Intuitionistic logic; Dynamic eoistemic logic; ; Update; Realization; Procedural information |
Subjects: | Logic |
Depositing User: | Johan van Benthem |
Date Deposited: | 12 Oct 2016 14:37 |
Last Modified: | 12 Oct 2016 14:37 |
URI: | https://eprints.illc.uva.nl/id/eprint/311 |
Actions (login required)
View Item |