Constructive agents |
| |
Authors: | Johan van Benthem |
| |
Institution: | University of Amsterdam, Netherlands;Stanford University, United States;Tsinghua University, China |
| |
Abstract: | Brouwer’s ideas of construction, proof, and inquiry in mathematics are more widely applicable. On a well-known philosophical view, intuitionistic logic is a general account of meaning and reasoning for natural language and epistemology. In this brief discussion piece, I go one step further, and discuss how intuitionistic semantics fits with information update and belief revision in agency. In the process, I define a number of new logical systems that give rise to several open problems. |
| |
Keywords: | Corresponding author at: University of Amsterdam Netherlands |
本文献已被 ScienceDirect 等数据库收录! |
|