http://www.loc.gov/mods/v3 http://www.loc.gov/standards/mods/v3/mods-3-2.xsd
1 online resource (25 entries) : 44 images, digital files.
This volume presents a definitive introduction to twenty core areas of philosophical logic including classical logic, modal logic, alternative logics and close examinations of key logical concepts. - Takes the reader through a wide array of logic systems. - Offers a thorough explanation of the structures of logic systems and their motivations. - Serves as a valuable resource to numerous disciplines, including logic, philosophy, computer science, cognitive science, artificial intelligence, theoretical linguistics, and fundamental mathematics.
List of contributors -- Preface -- Introduction -- 1. Classical logic I : first-order logic -- 2. Classical logic II : higher-order logic -- 3. Set theory -- 4. Gödel's incompleteness theorems -- 5. Truth -- 6. Logical consequence -- 7. Modal logic -- 8. Deontic logic -- 9. Epistemic logic -- 10. Temporal logic -- 11. Intuitionistic logic -- 12. Free logics -- 13. Relevant logics -- 14. Many-valued logics -- 15. Nonmonotonic logic -- 16. Probability, logic, and probability logic -- 17. Conditionals -- 18. Negation -- 19. Quantifiers -- 20. Logic and natural language.