Skip to main content
SpringerLink
Log in

Information and Knowledge

A Constructive Type-theoretical Approach

  • Book
  • © 2008

Overview

Authors:
  1. Giuseppe Primiero

    1. Ghent University, Belgium

    View author publications

    You can also search for this author in PubMed   Google Scholar

  • Contains a complete (and updated) logical and philosophical introduction to Constructive Type Theory
  • Presents a newly formulated and conceptually developed presentation of the Problem of Analyticity
  • Introduces a complete epistemic constructive interpretation for the notion of Information
  • Provides a framework which extends the constructive epistemology
  • Represents the basis for developing a type-theoretical Dynamics

Part of the book series: Logic, Epistemology, and the Unity of Science (LEUS, volume 10)

This is a preview of subscription content, log in via an institution to check access.

Access this book

Log in via an institution
eBook USD 139.00
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book USD 179.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info
Hardcover Book USD 179.99
Price excludes VAT (USA)
  • Durable hardcover edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Other ways to access

Licence this eBook for your library

Institutional subscriptions

Table of contents (4 chapters)

  1. Front Matter

    Pages i-xv
    Download chapter PDF

  2. Constructive Type Theory: Foundation and Formalization

    Pages 7-62

  3. Analyticity and Information

    Pages 63-123

  4. Formal Representation of the Notion of Information

    Pages 125-163

  5. Constructive Philosophy of Information

    Pages 165-193

  6. Back Matter

    Pages 195-209
    Download chapter PDF
Back to top

Keywords

About this book

This research is the result of a fruitful connection and provides a sign- cant link between two topics of a logical and philosophical enquiry. It tries to provide a solution to the problem of analyticity: with this expression I understand, on the one hand, the essential nature of analytic truths and, on the other, the related explanation of the analytic nature of logical inference. The connection between these two sides of what will be referred to as the Analyticity Principle, can be brie?y explained as follows: by analytic truth one understands in general a sentence whose content is logically true; by logically true one understands moreover truth independent from matters of fact or empirical data, a truth which is therefore established by logical criteria only. On this basis, it follows that a logical inference represents a purely analytic process, in opposition to its property of being able to produce knowledge, a situation which is exempli?ed by the con?icting - tions of validity and utility. The question-begging topic of this research is therefore that of analyticity, the inspiring problem for which a solution is formulated in the present book. If analyticity represents the starting point of this research, the other part of its content is the result of a far more complex question; to represent the notion of Information in the context of logical calculi.

Authors and Affiliations

  • Ghent University, Belgium

    Giuseppe Primiero

Bibliographic Information

Publish with us

Policies and ethics

Back to top

Search

Navigation