Authors:
- Includes supplementary material: sn.pub/extras
Part of the book series: Trends in Logic (TREN, volume 12)
Buy it now
Buying options
Tax calculation will be finalised at checkout
Other ways to access
This is a preview of subscription content, log in via an institution to check for access.
Table of contents (11 chapters)
-
Front Matter
-
Classical Logic
-
Front Matter
-
-
Modal Logic
-
Front Matter
-
-
Ontological Arguments
-
Front Matter
-
-
Back Matter
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
-
Lehman College and the Graduate Center, City University of New York, USA
Melvin Fitting
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