Metalogic for Students

Roderic A. Girle (Autor)

Buch | Hardcover

366 Seiten

2024 | Unabridged edition
Cambridge Scholars Publishing (Verlag)
978-1-0364-1102-2 (ISBN)

Infos

This text is for academics, postgraduates and upper-level students who want to know more about formal logic. The text assumes some elementary knowledge of formal logic. It covers the semantics and axiomatics of modern classical formal logic, as well as proofs of soundness, completeness, and both of Gödel's theorems. There is also a discussion of the pictorial semantics of various logic diagrams: Euler, Carroll, and Venn diagrams, Karnaugh maps, and switching circuits. Lastly, the book covers the reliability of classical formal logic for the evaluation of everyday argumentation, and Nether Logic, the logic of the transmission of falsehood.

Autor

Rod Girle's Modal Logics and Philosophy is well known, and his Introduction to Logic is used widely in Australia and New Zealand. He has published works on logic, modal logic, non-classical logic, theorem proving, artificial intelligence, dialogue logic, critical thinking, and philosophy. He has taught both philosophy and computer science in schools in Australia and New Zealand. He is an honorary academic at the University of Auckland, New Zealand, and until recently was a staff member of the University of Queensland's Critical Thinking Project, Australia. He is interested in the logic of questions, and in the ways that logic is taught.

Produkt-Details

• Erscheint lt. Verlag: 1.10.2024
• Verlagsort: Newcastle upon Tyne
• Sprache: englisch
• Maße: 148 x 212 mm
• Themenwelt: Geisteswissenschaften ► Philosophie ► Logik
• Themenwelt: Mathematik / Informatik ► Mathematik ► Allgemeines / Lexika
• Themenwelt: Mathematik / Informatik ► Mathematik ► Logik / Mengenlehre
• ISBN-10: 1-0364-1102-8 / 1036411028
• ISBN-13: 978-1-0364-1102-2 / 9781036411022
• Zustand: Neuware