An informational view of classical logic

Theoretical Computer Science (forthcoming)
  Copy   BIBTEX


We present an informational view of classical propositional logic that stems from a kind of informational semantics whereby the meaning of a logical operator is specified solely in terms of the information that is actually possessed by an agent. In this view the inferential power of logical agents is naturally bounded by their limited capability of manipulating “virtual information”, namely information that is not implicitly contained in the data. Although this informational semantics cannot be expressed by any finitely-valued matrix, it can be expressed by a non-deterministic 3-valued matrix that was first introduced by W.V.O. Quine, but ignored by the logical community. Within the general framework presented in [21] we provide an in-depth discussion of this informational semantics and a detailed analysis of a specific infinite hierarchy of tractable approximations to classical propositional logic that is based on it. This hierarchy can be used to model the inferential power of resource-bounded agents and admits of a uniform proof-theoretical characterization that is half-way between a classical version of Natural Deduction and the method of semantic tableaux.



    Upload a copy of this work     Papers currently archived: 78,003

External links

Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

Similar books and articles

Logics of Informational Interactions.Alexandru Baltag & Sonja Smets - 2015 - Journal of Philosophical Logic 44 (6):595-607.
Informational interpretation of substructural propositional logics.Heinrich Wansing - 1993 - Journal of Logic, Language and Information 2 (4):285-308.
Logical pluralism and semantic information.Patrick Allo - 2007 - Journal of Philosophical Logic 36 (6):659 - 694.
Four challenges for a theory of informational privacy.Luciano Floridi - 2006 - Ethics and Information Technology 8 (3):109–119.
The informational nature of personal identity.Luciano Floridi - 2011 - Minds and Machines 21 (4):549-566.
Logical Consequence and the Paradoxes.Edwin Mares & Francesco Paoli - 2014 - Journal of Philosophical Logic 43 (2-3):439-469.
Informational Semantics and Frege Cases.Matthew Rellihan - 2013 - Acta Analytica 28 (3):267-294.
Information and representation in autonomous agents.Mark H. Bickhard - 2000 - Cognitive Systems Research 1 (2):65-75.


Added to PP

36 (#332,259)

6 months
2 (#326,586)

Historical graph of downloads
How can I increase my downloads?

Author's Profile

Marcello D'Agostino
Università degli Studi di Milano

References found in this work

No references found.

Add more references