Spahn Giuseppe Primiero, information and knowledge - a constructive type-theoretical approach (Rev #1, changes)

Showing changes from revision #0 to #1: Added | Removed | Changed

category: reference

This entry is about the text

Contents

Introduction

1 Constructive type theory

2 Analyticity and information

3 Formal representation of the notion of information

3.1 CTT as the general framework: informal description

3.1.1 Formalization of knowledge and information

3.1.2 Contexts: formal explanation

3.2 Representation of knowledge and information

3.2.1 Presuppositions

3.2.2 Assumptions

3.2.3 Types and meaning declarations

3.2.4 Truths and the role of assumptions

3.2.5 Defining information

3.3 Contexts as constructive possible worlds

3.3.1 introducing orderings: Kripke models

3.4 The knowledge framework

3.4.1 Updating information, extending knowledge

3.4.2 The structure of knowledge

4 Constructive philosophy of information

Revision on August 4, 2012 at 14:06:41 by Stephan Alexander Spahn?. See the history of this page for a list of all contributions to it.