Information and Knowledge A Constructive Type-theoretical Approach /

• Main Author: Primiero, Giuseppe (Author)
• Corporate Author: SpringerLink (Online service)
• Format: Electronic eBook
• Language: English
• Published: Dordrecht : Springer Netherlands, 2008.
• Series: Logic, Epistemology, and the Unity of Science ; 10
• Subjects: Social sciences.; Philosophy.; Epistemology.; Logic.; Mathematical logic.; Sociology.; Social Sciences.; Sociology, general.; Philosophy, general.; Mathematical Logic and Formal Languages.; Mathematical Logic and Foundations.

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 framew...

Table of Contents:

• Constructive Type Theory: Foundation and Formalization
• Analyticity and Information
• Formal Representation of the Notion of Information
• Constructive Philosophy of Information.