Article ID | Journal | Published Year | Pages | File Type |
---|---|---|---|---|
8906097 | Indagationes Mathematicae | 2018 | 13 Pages |
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.
Related Topics
Physical Sciences and Engineering
Mathematics
Mathematics (General)
Authors
Johan van Benthem,