Overview
- Includes supplementary material: sn.pub/extras
Part of the book series: Trends in Logic (TREN, volume 12)
Access this book
Tax calculation will be finalised at checkout
Other ways to access
Table of contents (11 chapters)
-
Classical Logic
-
Modal Logic
-
Ontological Arguments
Keywords
About this book
Parts of the book are mathematical, parts philosophical. A reader interested in (modal) type theory can safelyskip ontological issues, just as one interested in Gödel's argument can omit the more mathematical portions, such as the completeness proof for tableaus. There should be something for everybody (and perhaps everything for somebody).
Authors and Affiliations
Bibliographic Information
Book Title: Types, Tableaus, and Gödel’s God
Authors: Melvin Fitting
Series Title: Trends in Logic
DOI: https://doi.org/10.1007/978-94-010-0411-4
Publisher: Springer Dordrecht
-
eBook Packages: Springer Book Archive
Copyright Information: Springer Science+Business Media Dordrecht 2002
Hardcover ISBN: 978-1-4020-0604-3Published: 31 May 2002
Softcover ISBN: 978-94-010-3912-3Published: 11 October 2012
eBook ISBN: 978-94-010-0411-4Published: 06 December 2012
Series ISSN: 1572-6126
Series E-ISSN: 2212-7313
Edition Number: 1
Number of Pages: XV, 181
Topics: Logic, Ontology, Philosophy of Religion, Metaphysics