Information and Knowledge A Constructive Type-theoretical Approach /

• Κύριος συγγραφέας: Primiero, Giuseppe (Συγγραφέας)
• Συγγραφή απο Οργανισμό/Αρχή: SpringerLink (Online service)
• Μορφή: Ηλεκτρονική πηγή Ηλ. βιβλίο
• Γλώσσα: English
• Έκδοση: Dordrecht : Springer Netherlands, 2008.
• Σειρά: Logic, Epistemology, and the Unity of Science ; 10
• Θέματα: 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...

Πίνακας περιεχομένων:

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