Information and Knowledge: A Constructive Type-theoretical Approach

Information and Knowledge: A Constructive Type-theoretical Approach By Giuseppe Primiero
Publisher: Spr..inger 2007 | 210 Pages | ISBN: 1402061692 | File type: PDF | 2 mb



This book develops a philosophical and logical interpretation of the concept of information within the formal structure of Constructive Type Theory (CTT), in a manner concurrent with a diverse range of contemporary perspectives on the philosophy of information. On the basis of this conceptual framework, the problem of analyticity for logical derivations is faced and a solution is proposed.

The text begins with a presentation of the formal structure of CTT, paying particular attention to some topics that have been neglected by current researchers in Type Theory. The treatment is especially formulated for logicians with a philosophical background, but without neglecting a complete formulation of all the technicalities and formal properties. The problem of analyticity is then introduced via an historically and theoretically oriented formulation, beginning with Kant and Bolza Follow Rules!

[Fast Download] Information and Knowledge: A Constructive Type-theoretical Approach

Copyright Disclaimer:
This site does not store any files on its server. We only index and link to content provided by other sites. Please contact the content providers to delete copyright contents if any and email us, we'll remove relevant links or contents immediately.