PP-2011-26: Logic, Mathematics, and General Agency

PP-2011-26: van Benthem, Johan (2011) Logic, Mathematics, and General Agency. [Report]

[img]
Preview
Text (Full Text)
PP-2011-26.text.pdf

Download (285kB) | Preview
[img] Text (Abstract)
PP-2011-26.abstract.txt

Download (315B)

Abstract

We examine the practice and foundations of mathematics as a form of general rational agency, using recent perspectives from the dynamic logic of information-driven agency.

Item Type: Report
Report Nr: PP-2011-26
Series Name: Prepublication (PP) Series
Year: 2011
Uncontrolled Keywords: mathematics, dynamic logic, information, proof, belief revision
Subjects: Logic
Depositing User: Johan Benthem
Date Deposited: 12 Oct 2016 14:37
Last Modified: 12 Oct 2016 14:37
URI: https://eprints.illc.uva.nl/id/eprint/430

Actions (login required)

View Item View Item