Information and Knowledge A Constructive Type-theoretical Approach /

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

Full description

Bibliographic Details
Call Number:Libro Electrónico
Main Author: Primiero, Giuseppe (Author)
Corporate Author: SpringerLink (Online service)
Format: Electronic eBook
Language:Inglés
Published: Dordrecht : Springer Netherlands : Imprint: Springer, 2008.
Edition:1st ed. 2008.
Series:Logic, Epistemology, and the Unity of Science, 10
Subjects:
Sociology.
Logic.
Philosophy.
Knowledge, Theory of.
Machine theory.
Mathematical logic.
Epistemology.
Formal Languages and Automata Theory.
Mathematical Logic and Foundations.
Online Access:Texto Completo
Table of Contents:
  • Constructive Type Theory: Foundation and Formalization
  • Analyticity and Information
  • Formal Representation of the Notion of Information
  • Constructive Philosophy of Information.

Similar Items