Information and Knowledge
Subtitle: A Constructive Type-theoretical Approach (Logic, Epistemology, and the Unity of Science)
Edition: 1 edition
Publisher: Springer
Published: December 4, 2007
Language: eng
Format: Hardcover
Number of pages: 210
ISBN-13: 9781402061691
Subjects: Sociology, Social Studies; Epistemology; Logic; Analytic/Synthetic Distinction; Mathematics : Logic; Models of Knowledge and Information; Philosophy / Logic; Philosophy : Epistemology; Philosophy of Constructivism; Typetheory; Philosophy
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.