| 書目名稱 | Philosophical and Mathematical Logic | | 編輯 | Harrie de Swart | | 視頻video | http://file.papertrans.cn/747/746044/746044.mp4 | | 概述 | Offers a treatment of logic that touches upon all of its aspects.Focuses attention upon the relation of logic to other disciplines.Scrutinizes beyond definitions and theorems by providing explanations | | 叢書名稱 | Springer Undergraduate Texts in Philosophy | | 圖書封面 |  | | 描述 | This book was written to serve as an introduction to logic, with in each chapter – if applicable – special emphasis on the interplay between logic and philosophy, mathematics, language and (theoretical) computer science. The reader will not only be provided with an introduction to classical logic, but to philosophical (modal, epistemic, deontic, temporal) and intuitionistic logic as well. The first chapter is an easy to read non-technical Introduction to the topics in the book. The next chapters are consecutively about Propositional Logic, Sets (finite and infinite), Predicate Logic, Arithmetic and G?del’s Incompleteness Theorems, Modal Logic, Philosophy of Language, Intuitionism and Intuitionistic Logic, Applications (Prolog; Relational Databases and SQL; Social Choice Theory, in particular Majority Judgment) and finally, Fallacies and Unfair Discussion Methods. Throughout the text, the author provides some impressions of the historical development of logic: Stoic and Aristotelian logic, logic in the Middle Ages and Frege‘s Begriffsschrift, together with the works of George Boole (1815-1864) and August De Morgan (1806-1871), the origin of modern logic. Since "if …, then …" can be | | 出版日期 | Textbook 2018 | | 關鍵詞 | Arithmetic and G?del’s Incompleteness Theorem; Modal Logic; Philosophical Logic; Predicate Logic; Propos | | 版次 | 1 | | doi | https://doi.org/10.1007/978-3-030-03255-5 | | isbn_ebook | 978-3-030-03255-5Series ISSN 2569-8737 Series E-ISSN 2569-8753 | | issn_series | 2569-8737 | | copyright | Springer Nature Switzerland AG 2018 |
The information of publication is updating
|
|
|Archiver|手機版|小黑屋|
派博傳思國際
( 京公網(wǎng)安備110108008328)
GMT+8, 2026-1-28 07:29
發(fā)表于 2025-3-21 19:18:24
