
"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." "Information and Knowledge presents a new perspective on the constructive interpretation of knowledge processes, suggesting the reliability of such an approach for the logical modeling of epistemic problems and proposing a unifying frame from one of the more important contemporary philosophical perspectives."--Jacket.
Page Count:
210
Publication Date:
2007-12-04
ISBN-10:
1402061692
ISBN-13:
9781402061691
No comments yet. Be the first to share your thoughts!