LEADER 04268nam a22006135i 4500
001 806749
003 TR_AnAIT
005 20260127002731
007 cr nn 008mamaa
008 100301s2008 ne | s |||| 0|eng d
020 |a9781402061707|9978-1-4020-6170-7
024 7 |a10.1007/978-1-4020-6170-7|2doi
041 |aeng
049 |aTürk Tarih Kurumu Kütüphanesi
050 4|aHM
072 7|aJHB|2bicssc
072 7|aJHB|2bicssc
072 7|aSOC026000|2bisacsh
072 7|aJHB|2thema
072 7|aJHB|2thema
082 04|a301|223
090 |aDK/8043
100 1 |aPrimiero, Giuseppe.|eauthor.|4aut|4http://id.loc.gov/vocabulary/relators/aut
245 10|aInformation and Knowledge|h[electronic resource] :|bA Constructive Type-theoretical Approach /|cby Giuseppe Primiero.
250 |a1st ed. 2008.
264 1|aDordrecht :|bSpringer Netherlands :|bImprint: Springer,|c2008.
300 |aIX, 208 p.|bonline resource.
336 |atext|btxt|2rdacontent
337 |acomputer|bc|2rdamedia
338 |aonline resource|bcr|2rdacarrier
347 |atext file|bPDF|2rda
490 1 |aLogic, Epistemology, and the Unity of Science,|x2214-9783 ;|v10
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.
650 0|aSociology.
650 0|aLogic.
650 0|aPhilosophy.
650 0|aKnowledge, Theory of.
650 0|aMachine theory.
650 0|aMathematical logic.
650 14|aSociology.
650 24|aLogic.
650 24|aPhilosophy.
650 24|aEpistemology.
650 24|aFormal Languages and Automata Theory.
650 24|aMathematical Logic and Foundations.
710 2 |aSpringerLink (Online service)
773 0 |tSpringer Nature eBook
776 08|iPrinted edition:|z9781402061691
776 08|iPrinted edition:|z9789048113873
776 08|iPrinted edition:|z9789048175567
830 0|aLogic, Epistemology, and the Unity of Science,|x2214-9783 ;|v10
856 40|uhttps://doi.org/10.1007/978-1-4020-6170-7
912 |aZDB-2-SHU
912 |aZDB-2-SXS
950 |aHumanities, Social Sciences and Law (SpringerNature-11648)
950 |aSocial Sciences (R0) (SpringerNature-43726)