Title: Information and Knowledge
Description: "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.
Subjects: Genetic epistemology, Philosophy, Symbolic and mathematical Logic, Computer science, Logic, Information theory, Knowledge representation (information theory), Knowledge, theory of, Theory of Knowledge, Type theory