PP-2008-04: van Benthem, Johan and Martinez, Maricarmen (2008) The Stories of Logic and Information. [Report]
Preview |
Text (Full Text)
PP-2008-04.text.pdf Download (700kB) | Preview |
Text (Abstract)
PP-2008-04.abstract.txt Download (806B) |
Abstract
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 van 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 |