| 書目名稱 | Handbook of Philosophical Logic | | 副標(biāo)題 | Volume I: Elements o | | 編輯 | D. Gabbay,F. Guenthner | | 視頻video | http://file.papertrans.cn/422/421919/421919.mp4 | | 叢書名稱 | Synthese Library | | 圖書封面 |  | | 描述 | The aim of the first volume of the present Handbook of Philosophical Logic is essentially two-fold: First of all, the chapters in this volume should provide a concise overview of the main parts of classical logic. Second, these chapters are intended to present all the relevant background material necessary for the understanding of the contributions which are to follow in the next three volumes. We have thought it to be of importance that the connections between classical logic and its ‘extensions‘ (covered in Volume 11) as well as its most important ‘a(chǎn)lternatives‘ (covered in Volume Ill) be brought out clearly from the start. The first chapter presents a clear and detailed picture of the range of what is generally taken to be the standard logical framework, namely, predicate (or first-order quantificational) logic. On the one hand, this chapter surveys both propositionai logic and first-order predicate logic and, on the other hand, presents the main metalogical results obtained for them. Chapter 1. 1 also contains a discussion of the limits of first-order logic, i. e. it presents an answer to the question: Why has predicate logic played such a formidable role in the formalization o | | 出版日期 | Book 1983 | | 關(guān)鍵詞 | logic; philosophical logic | | 版次 | 1 | | doi | https://doi.org/10.1007/978-94-009-7066-3 | | isbn_softcover | 978-94-009-7068-7 | | isbn_ebook | 978-94-009-7066-3Series ISSN 0166-6991 Series E-ISSN 2542-8292 | | issn_series | 0166-6991 | | copyright | D. Reidel Publishing Company 1983 |
The information of publication is updating
|
|
|Archiver|手機(jī)版|小黑屋|
派博傳思國際
( 京公網(wǎng)安備110108008328)
GMT+8, 2025-10-7 20:38
發(fā)表于 2025-3-21 20:01:13
