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

Showing changes from revision #2 to #3: Added | ~~Removed~~ | ~~Chan~~ged

category: reference

This entry is about the text

Giuseppe Primiero, information and knowledge - a constructive type-theoretical approach, Springer, 2008

Introduction
1 Constructive type theory
2 Analyticity and information2.1 At the origin of the problem
2.2 Analysis and synthesis
2.3 Informativeness of derivations
2.4 Different notions of information
2.4.1 Conceptual vs. contentual information
2.4.2 Surface information: probability and possible worlds
2.4.3 Increasing logical information: depth information
2.5 Basic elements of a knowledge system
3 Formal representation of the notion of information3.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

Introduction

1 Constructive type theory

2 Analyticity and information

~~2.1 At the origin of the problem~~

Primiero, information and knowledge, chapter 2, analyticity and information

~~2.2 Analysis and synthesis~~
~~2.3 Informativeness of derivations~~
~~2.4 Different notions of information~~
~~2.4.1 Conceptual vs. contentual information~~
~~2.4.2 Surface information: probability and possible worlds~~
~~2.4.3 Increasing logical information: depth information~~
~~2.5 Basic elements of a knowledge system~~

3 Formal representation of the notion of information

~~3.1 CTT as the general framework: informal description~~

Primiero, information and knowledge, chapter 3, formal representation of the notion of information

~~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 15:40:34 by Stephan Alexander Spahn?. See the history of this page for a list of all contributions to it.

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

Contents

Introduction

1 Constructive type theory

2 Analyticity and information

2.1 At the origin of the problem

2.2 Analysis and synthesis

2.3 Informativeness of derivations

2.4 Different notions of information

2.4.1 Conceptual vs. contentual information

2.4.2 Surface information: probability and possible worlds

2.4.3 Increasing logical information: depth information

2.5 Basic elements of a knowledge system

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