Information and Knowledge - Giuseppe Primiero

Information and Knowledge

A Constructive Type-theoretical Approach
Buch | Softcover
208 Seiten
2010 | Softcover reprint of hardcover 1st ed. 2008
Springer (Verlag)
978-90-481-7556-7 (ISBN)
171,19 inkl. MwSt
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.

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

Erscheint lt. Verlag 17.11.2010
Reihe/Serie Logic, Epistemology, and the Unity of Science ; 10
Zusatzinfo IX, 208 p.
Verlagsort Dordrecht
Sprache englisch
Maße 155 x 235 mm
Themenwelt Geisteswissenschaften Philosophie Allgemeines / Lexika
Geisteswissenschaften Philosophie Erkenntnistheorie / Wissenschaftstheorie
Geisteswissenschaften Philosophie Logik
Mathematik / Informatik Informatik Programmiersprachen / -werkzeuge
Mathematik / Informatik Informatik Theorie / Studium
Mathematik / Informatik Mathematik Allgemeines / Lexika
Sozialwissenschaften Soziologie
ISBN-10 90-481-7556-9 / 9048175569
ISBN-13 978-90-481-7556-7 / 9789048175567
Zustand Neuware
Haben Sie eine Frage zum Produkt?
Mehr entdecken
aus dem Bereich
die letzten Jahre der Philosophie und der Beginn einer neuen …

von Wolfram Eilenberger

Buch | Hardcover (2024)
Klett-Cotta (Verlag)
28,00
Gesundheitsschutz, Selbstbestimmungsrechte, Rechtspolitik

von Hartmut Kreß

Buch | Softcover (2024)
Kohlhammer (Verlag)
39,00
Jenseits von Identität | Ausgezeichnet mit dem Leipziger Buchpreis …

von Omri Boehm

Buch | Softcover (2023)
Ullstein Taschenbuch Verlag
13,99