An Introduction to Classical and Modal Logics

The Outlines of Knowledge

Inbunden, Engelska, 2024

AvAdam Bjorndahl,Pennsylvania) Bjorndahl, Adam (Carnegie Mellon University

1 249 kr

Beställningsvara. Skickas inom 10-15 vardagar. Fri frakt för medlemmar vid köp för minst 249 kr.

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.

Produktinformation

Utgivningsdatum2024-11-21
Mått175 x 250 x 19 mm
Vikt600 g
FormatInbunden
SpråkEngelska
SerieCambridge Introductions to Philosophy
Antal sidor260
FörlagCambridge University Press
ISBN9781009450690

Tillhör följande kategorier

'A wonderful introduction both to basic propositional and first-order logic, and to modal logic. It goes all the way from the basic definitions to soundness and completeness results for all the logics considered. At the end, there is also a brief introduction to topological semantics for modal logic. The many exercises, most of which have solutions provided, enable the reader to grapple with the complexities of the material. I strongly recommend the book, both to those teaching introductory courses in logic and modal logic, and to students who are willing to try to learn the material on their own.' Joe Halpern, Cornell University