Information and Knowledge
Genetic epistemologyPhilosophySymbolic and mathematical LogicComputer scienceLogic
0.0
Open LibraryAbout this book
"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.
Themes & subjects
Genetic epistemologyPhilosophySymbolic and mathematical LogicComputer scienceLogicInformation theory
Reviews
No reviews yet — be the first to write one from the Log screen.
Quotes
No quotes yet.
