PP-2017-21: Constructive Agents

PP-2017-21: van Benthem, Johan (2017) Constructive Agents. [Pre-print] (In Press)

[thumbnail of 2017.Brouwer.Agents.pdf]

Download (283kB) | Preview


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
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 View Item