An Introduction to Classical and Modal Logics: The Outlines of Knowledge
Bjorndahl, Adam
- 出版商: Cambridge
- 出版日期: 2024-11-21
- 售價: $3,650
- 貴賓價: 9.5 折 $3,468
- 語言: 英文
- 頁數: 252
- 裝訂: Hardcover - also called cloth, retail trade, or trade
- ISBN: 1009450697
- ISBN-13: 9781009450690
尚未上市,無法訂購
相關主題
商品描述
Classical logic - which studies the structural features of purported claims of fact - and modal logic - which studies relations of necessity and possibility - are different but complementary areas of logical thought. In this lively and accessible textbook, Adam Bjorndahl provides a comprehensive and unified introduction to the two subjects, treating them with the same level of rigour and detail and showing how they fit together. The core material appears in the main text, with hundreds of supplemental examples, comments, clarifications, and connections presented throughout in easy-to-read sidenotes, giving the book a distinct conversational feel. A detailed, multi-part appendix covers important background mathematical material that some students may lack, such as induction or the concept of countable infinity. A fully self-contained learning resource, this book will be ideal for a semester-long upper-level university course on either or both of the topics.
商品描述(中文翻譯)
古典邏輯 - 研究事實主張的結構特徵 - 和模態邏輯 - 研究必然性和可能性的關係 - 是邏輯思維中不同但互補的領域。在這本生動且易於理解的教科書中,亞當·比約恩達爾(Adam Bjorndahl)提供了兩個主題的全面且統一的介紹,以相同的嚴謹程度和詳細程度對待它們,並展示它們如何相互關聯。核心內容出現在主文本中,並在易於閱讀的旁注中提供了數百個補充示例、評論、澄清和連接,使本書具有獨特的對話感。詳細的多部分附錄涵蓋了一些學生可能缺乏的重要背景數學材料,例如歸納法或可數無窮的概念。作為一個完全獨立的學習資源,這本書將非常適合於一個學期的高級大學課程,無論是關於其中一個主題還是兩個主題。