000 03656nam a22003735i 4500
001 283430
003 MX-SnUAN
005 20160429154235.0
007 cr nn 008mamaa
008 150903s2008 ne | o |||| 0|eng d
020 _a9781402061707
_99781402061707
024 7 _a10.1007/9781402061707
_2doi
035 _avtls000335506
039 9 _a201509030238
_bVLOAD
_c201404300302
_dVLOAD
_y201402041302
_zstaff
040 _aMX-SnUAN
_bspa
_cMX-SnUAN
_erda
050 4 _aBC1-199
100 1 _aPrimiero, Giuseppe.
_eautor
_9310939
245 1 0 _aInformation and Knowledge :
_bA Constructive Type-theoretical Approach /
_cby Giuseppe Primiero.
264 1 _aDordrecht :
_bSpringer Netherlands,
_c2008.
300 _brecurso en línea.
336 _atexto
_btxt
_2rdacontent
337 _acomputadora
_bc
_2rdamedia
338 _arecurso en línea
_bcr
_2rdacarrier
347 _aarchivo de texto
_bPDF
_2rda
490 0 _aLogic, Epistemology, and the Unity of Science ;
_v10
500 _aSpringer eBooks
505 0 _aConstructive Type Theory: Foundation and Formalization -- Analyticity and Information -- Formal Representation of the Notion of Information -- Constructive Philosophy of Information.
520 _aThis 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.
590 _aPara consulta fuera de la UANL se requiere clave de acceso remoto.
710 2 _aSpringerLink (Servicio en línea)
_9299170
776 0 8 _iEdición impresa:
_z9781402061691
856 4 0 _uhttp://remoto.dgb.uanl.mx/login?url=http://dx.doi.org/10.1007/978-1-4020-6170-7
_zConectar a Springer E-Books (Para consulta externa se requiere previa autentificación en Biblioteca Digital UANL)
942 _c14
999 _c283430
_d283430