The information in intuitionistic logic

被引：14

作者：

van Benthem, Johan ^{[1
]}

机构：

[1] Univ Amsterdam, ILLC, NL-1018 TV Amsterdam, Netherlands

来源：

SYNTHESE | 2009年 / 167卷 / 02期

关键词：

Information; Intuitionistic logic; Epistemic logic; Dynamic logic;

D O I：

10.1007/s11229-008-9408-5

中图分类号：

N09 [自然科学史]; B [哲学、宗教];

学科分类号：

01 ; 0101 ; 010108 ; 060207 ; 060305 ; 0712 ;

摘要：

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.

引用

页码：251 / 270

页数：20