Authors:
- 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
Part of the book series: Logic, Epistemology, and the Unity of Science (LEUS, volume 10)
Buy it now
Buying options
Tax calculation will be finalised at checkout
Other ways to access
This is a preview of subscription content, log in via an institution to check for access.
Table of contents (4 chapters)
-
Front Matter
-
Back Matter
About this book
Authors and Affiliations
-
Ghent University, Belgium
Giuseppe Primiero
Bibliographic Information
Book Title: Information and Knowledge
Book Subtitle: A Constructive Type-theoretical Approach
Authors: Giuseppe Primiero
Series Title: Logic, Epistemology, and the Unity of Science
DOI: https://doi.org/10.1007/978-1-4020-6170-7
Publisher: Springer Dordrecht
eBook Packages: Humanities, Social Sciences and Law, Social Sciences (R0)
Copyright Information: Springer Science+Business Media B.V. 2008
Hardcover ISBN: 978-1-4020-6169-1Published: 04 December 2007
Softcover ISBN: 978-90-481-7556-7Published: 17 November 2010
eBook ISBN: 978-1-4020-6170-7Published: 03 December 2007
Series ISSN: 2214-9775
Series E-ISSN: 2214-9783
Edition Number: 1
Number of Pages: IX, 208
Topics: Sociology, general, Logic, Philosophy, general, Epistemology, Mathematical Logic and Formal Languages, Mathematical Logic and Foundations