Cantitate/Preț
Produs

Information and Knowledge: A Constructive Type-theoretical Approach: Logic, Epistemology, and the Unity of Science, cartea 10

Autor Giuseppe Primiero
en Limba Engleză Hardback – 4 dec 2007
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.
Citește tot Restrânge

Toate formatele și edițiile

Toate formatele și edițiile Preț Express
Paperback (1) 96677 lei  43-57 zile
  SPRINGER NETHERLANDS – 17 noi 2010 96677 lei  43-57 zile
Hardback (1) 97257 lei  43-57 zile
  SPRINGER NETHERLANDS – 4 dec 2007 97257 lei  43-57 zile

Din seria Logic, Epistemology, and the Unity of Science

Preț: 97257 lei

Preț vechi: 118607 lei
-18% Nou

Puncte Express: 1459

Preț estimativ în valută:
18615 19401$ 15496£

Carte tipărită la comandă

Livrare economică 06-20 ianuarie 25

Preluare comenzi: 021 569.72.76

Specificații

ISBN-13: 9781402061691
ISBN-10: 1402061692
Pagini: 208
Ilustrații: IX, 208 p.
Dimensiuni: 155 x 235 x 14 mm
Greutate: 0.49 kg
Ediția:2008
Editura: SPRINGER NETHERLANDS
Colecția Springer
Seria Logic, Epistemology, and the Unity of Science

Locul publicării:Dordrecht, Netherlands

Public țintă

Research

Cuprins

Constructive Type Theory: Foundation and Formalization.- Analyticity and Information.- Formal Representation of the Notion of Information.- Constructive Philosophy of Information.

Textul de pe ultima copertă

This book develops a philosophical and logical interpretation of the concept of information within the formal structure of Constructive Type Theory (CTT), in a manner concurrent with a diverse range of contemporary perspectives on the philosophy of information. On the basis of this conceptual framework, the problem of analyticity for logical derivations is faced and a solution is proposed.

The text begins with a presentation of the formal structure of CTT, paying particular attention to some topics that have been neglected by current researchers in Type Theory. The treatment is especially formulated for logicians with a philosophical background, but without neglecting a complete formulation of all the technicalities and formal properties. The problem of analyticity is then introduced via an historically and theoretically oriented formulation, beginning with Kant and Bolzano and following its development up to the introduction of the notion of information, extending some lines of research introduced in the contemporary debate by Hintikka. The semantical approach to information is reconsidered in the light of a constructive approach to epistemology, leading to a theoretical analysis of knowledge systems. This allows for the presentation of a formal structure, based on certain typical operations in the formalization of CTT and the use of formal properties of Kripke models, in which the notions of information and knowledge are defined as epistemically different. These definitions involve an extension of constructive epistemology, bringing new material to the extremely open range of problems determined by the notion of verification and the related theory of meaning.

Information and Knowledge presents a new interesting perspective on the constructive interpretation of knowledge processes, suggesting the reliability of such an approach for the logical modeling of epistemic problems and proposing a unifying frame from one of the more important contemporary philosophical perspectives.

Caracteristici

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