Switch to: References

Citations of:

Twenty-five years of constructive type theory

Oxford: Clarendon Press (1998)

Add citations

You must login to add citations.
  1. Offline and Online Data: on upgrading functional information to knowledge.Giuseppe Primiero - 2013 - Philosophical Studies 164 (2):371-392.
    This paper addresses the problem of upgrading functional information to knowledge. Functional information is defined as syntactically well-formed, meaningful and collectively opaque data. Its use in the formal epistemology of information theories is crucial to solve the debate on the veridical nature of information, and it represents the companion notion to standard strongly semantic information, defined as well-formed, meaningful and true data. The formal framework, on which the definitions are based, uses a contextual version of the verificationist principle of truth (...)
    Download  
     
    Export citation  
     
    Bookmark   1 citation  
  • Proceeding in Abstraction. From Concepts to Types and the recent perspective on Information.Giuseppe Primiero - 2009 - History and Philosophy of Logic 30 (3):257-282.
    This article presents an historical and conceptual overview on different approaches to logical abstraction. Two main trends concerning abstraction in the history of logic are highlighted, starting from the logical notions of concept and function. This analysis strictly relates to the philosophical discussion on the nature of abstract objects. I develop this issue further with respect to the procedure of abstraction involved by (typed) λ-systems, focusing on the crucial change about meaning and predicability. In particular, the analysis of the nature (...)
    Download  
     
    Export citation  
     
    Bookmark   2 citations