Metalogic for Students

Roderic A. Girle (Autor)

Buch | Hardcover

361 Seiten

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

Noch nicht erschienen (ca. November 2024)
Versandkostenfrei
Auch auf Rechnung

Artikel merken

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.

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.

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