Trends in the history and philosophy of computing

Philosophy & Technology

Liesbeth De Mol, Giuseppe Primiero (eds)

2014

Information and knowledge

Giuseppe Primiero

Springer - Berlin

2008

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.