E-Book, Englisch, Band 10, 208 Seiten
Primiero Information and Knowledge
1. Auflage 2007
ISBN: 978-1-4020-6170-7
Verlag: Springer Netherlands
Format: PDF
Kopierschutz: 1 - PDF Watermark
A Constructive Type-theoretical Approach
E-Book, Englisch, Band 10, 208 Seiten
Reihe: Logic, Epistemology, and the Unity of Science
ISBN: 978-1-4020-6170-7
Verlag: Springer Netherlands
Format: PDF
Kopierschutz: 1 - PDF Watermark
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. It presents a newly formulated and conceptually developed presentation of the Problem of Analyticity, and a new interesting perspective on the constructive interpretation of knowledge processes.




