| 书目名称 | Information and Knowledge |
| 副标题 | A Constructive Type- |
| 编辑 | Giuseppe Primiero |
| 视频video | |
| 概述 | 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.I |
| 丛书名称 | Logic, Epistemology, and the Unity of Science |
| 图书封面 |  |
| 描述 | 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 sta |
| 出版日期 | Book 2008 |
| 关键词 | Analytic/Synthetic Distinction; Immanuel Kant; Models of Knowledge and Information; Philosophy of Const |
| 版次 | 1 |
| doi | https://doi.org/10.1007/978-1-4020-6170-7 |
| isbn_softcover | 978-90-481-7556-7 |
| isbn_ebook | 978-1-4020-6170-7Series ISSN 2214-9775 Series E-ISSN 2214-9783 |
| issn_series | 2214-9775 |
| copyright | Springer Science+Business Media B.V. 2008 |
发表于 2025-3-21 16:20:01
