Atnaujinkite slapukų nuostatas

El. knyga: Introduction to Classical and Modal Logics: The Outlines of Knowledge

(Carnegie Mellon University, Pennsylvania)
Kitos knygos pagal šią temą:
Introduction to Classical and Modal Logics: The Outlines of KnowledgeDidesnis paveikslėlis
Kitos knygos pagal šią temą:

DRM apribojimai

  • Kopijuoti:

    neleidžiama

  • Spausdinti:

    neleidžiama

  • El. knygos naudojimas:

    Skaitmeninių teisių valdymas (DRM)
    Leidykla pateikė šią knygą šifruota forma, o tai reiškia, kad norint ją atrakinti ir perskaityti reikia įdiegti nemokamą programinę įrangą. Norint skaityti šią el. knygą, turite susikurti Adobe ID . Daugiau informacijos  čia. El. knygą galima atsisiųsti į 6 įrenginius (vienas vartotojas su tuo pačiu Adobe ID).

    Reikalinga programinė įranga
    Norint skaityti šią el. knygą mobiliajame įrenginyje (telefone ar planšetiniame kompiuteryje), turite įdiegti šią nemokamą programėlę: PocketBook Reader (iOS / Android)

    Norint skaityti šią el. knygą asmeniniame arba „Mac“ kompiuteryje, Jums reikalinga  Adobe Digital Editions “ (tai nemokama programa, specialiai sukurta el. knygoms. Tai nėra tas pats, kas „Adobe Reader“, kurią tikriausiai jau turite savo kompiuteryje.)

    Negalite skaityti šios el. knygos naudodami „Amazon Kindle“.

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.

This lively and accessible textbook provides a comprehensive and unified introduction to classical and modal logics, treating them with the same level of rigour and detail and showing how they fit together. A fully self-contained learning resource, it will be ideal for upper-level university courses.

Recenzijos

'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 'Bjorndahl has produced a fantastic text that artfully tows the challenging line between covering core material from the canons of formal logic soundness and completeness, expressivity, etc. and inviting the reader to explore the most recent trends and advances in the subject's applications to epistemology and the analysis of knowledge. Especially innovative are the helpful side comments throughout the text: additional points and reminders one is often looking for when learning new material. Also distinctive is the gentle introduction to topology at the end, elegantly and easily following the author's presentation of logic. I would recommend this text to any beginner wanting to accelerate from the basics to key elements of the cutting edge.' Thomas Icard, Professor of Philosophy, Stanford University

Daugiau informacijos

A lively and accessible, yet practical and rigorous guide to learning and teaching classical and modal logics.
Introduction: what is logic?;
1. Classical propositional logic;
2. Classical predicate logic;
3. Modal logic;
4. Group knowledge;
5. Topological semantics; A Mathematical tools & techniques; B Selected solutions.
Adam Bjorndahl is Associate Professor of Philosophy at Carnegie Mellon University. He has published numerous articles in journals including The Review of Symbolic Logic, Res Philosophica, and Studia Logica.
Daugiau apie elektronines knygas Daugiau apie elektronines knygas
Pastovi nuoroda: https://www.kriso.lt/db/97810094506832e.html
Raktažodžiai: