PP-2017-21: van Benthem, Johan (2017) Constructive Agents. [Pre-print] (In Press)
Preview |
Text
2017.Brouwer.Agents.pdf Download (283kB) | Preview |
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.
Item Type: | Pre-print |
---|---|
Report Nr: | PP-2017-21 |
Series Name: | Prepublication (PP) Series |
Year: | 2017 |
Subjects: | Logic Mathematics Philosophy |
Depositing User: | Johan van Benthem |
Date Deposited: | 23 Dec 2017 12:59 |
Last Modified: | 01 Jan 2018 14:12 |
URI: | https://eprints.illc.uva.nl/id/eprint/1586 |
Actions (login required)
View Item |