PP-2008-04: The Stories of Logic and Information

PP-2008-04: van Benthem, Johan and Martinez, Maricarmen (2008) The Stories of Logic and Information. [Report]

Text (Full Text)

Download (700kB) | Preview
[img] Text (Abstract)

Download (806B)


Information occurs in logic in several major guises: information as range (epistemic logic), information as correlation (situation theory), and information as code (proof theory). These representations go hand in hand with information-transforming processes, such as observation, learning, communication, or inferential elucidation, and computation. This text puts all these strands into one coherent perspective, and it surveys all major uses of information in logic. It will be a chapter in the forthcoming "Handbook of the Philosophy of Information", edited by Pieter Adriaans & Johan van Benthem. Commentators are David Israel and John Perry.

Item Type: Report
Report Nr: PP-2008-04
Series Name: Prepublication (PP) Series
Year: 2008
Uncontrolled Keywords: information; logic; range; correlation; code; dynamics
Subjects: Logic
Depositing User: Johan Benthem
Date Deposited: 12 Oct 2016 14:36
Last Modified: 12 Oct 2016 14:36
URI: https://eprints.illc.uva.nl/id/eprint/278

Actions (login required)

View Item View Item