category: reference This entry is about the text * [[Giuseppe Primiero]], [[information and knowledge - a constructive type-theoretical approach]], Springer, 2008{#Primiero} # Contents * Automatic table of contents {: toc} ## 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