| 书目名称 | Philosophical and Mathematical Logic | | 编辑 | Harrie de Swart | | 视频video | | | 概述 | 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
|
|
发表于 2025-3-21 19:18:24
