Types, Tableaus, and Gödel’s God

Springer Verlag (2002)
  Copy   BIBTEX

Abstract

Gödel's modal ontological argument is the centerpiece of an extensive examination of intensional logic. First, classical type theory is presented semantically, tableau rules for it are introduced, and the Prawitz/Takahashi completeness proof is given. Then modal machinery is added to produce a modified version of Montague/Gallin intensional logic. Finally, various ontological proofs for the existence of God are discussed informally, and the Gödel argument is fully formalized. Parts of the book are mathematical, parts philosophical.

Categories

Keywords

Reprint years

ISBN(s)

1402006047   9781402006043

DOI

10.1007/s11225-005-4652-x

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 91,219

External links

Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

My notes

Similar books and articles

Reflections on Kurt Gödel.Hao Wang - 1990 - Bradford.
Melvin fitting, types tableaus and gödel's God.Roderic A. Girle - 2005 - Studia Logica 81 (3):425-427.
Kurt Gödel Philosopher-Scientist.Gabriella Crocco & Eva-Maria Engelen (eds.) - 2016 - Marseille: Presses universitaires de Provence.
Kurt Gödel: essays for his centennial.Kurt Gödel, Solomon Feferman, Charles Parsons & Stephen G. Simpson (eds.) - 2010 - Ithaca, NY: Association for Symbolic Logic.
Computation and Intractability: Echoes of Kurt Godel.Christos H. Papadimitriou - 2011 - In Matthias Baaz (ed.), Kurt Gödel and the foundations of mathematics: horizons of truth. New York: Cambridge University Press. pp. 137.
Logical Dilemmas: The Life and Work of Kurt Gödel.John W. Dawson - 1999 - Studia Logica 63 (1):147-150.
Kurt Godel: Unpublished Philosophical Essays by Kurt Godel; Francisco A. Rodriguez-Consuegra. [REVIEW]Thomas Oberdan - 2000 - Isis 91:186-187.
My Interaction with Kurt Godel: The Man and His Work.Paul J. Cohen - 2011 - In Matthias Baaz (ed.), Kurt Gödel and the foundations of mathematics: horizons of truth. New York: Cambridge University Press. pp. 435.
Remarks before the Princeton Bicentennial Conference on Problems in Mathematics.Kurt Gödel - 1946 - In Solomon Feferman, John Dawson & Stephen Kleene (eds.), Kurt Gödel: Collected Works Vol. Ii. Oxford University Press. pp. 150--153.
Introductory note to Kurt gödel's ``some basic theorems on the foundations of mathematics and their implications''.George Boolos - 1995 - In Solomon Feferman (ed.), Kurt Gödel, Collected Works. Oxford University Press. pp. 290-304.
What is the Link between Aristotle’s Philosophy of Mind, the Iterative Conception of Set, Gödel’s Incompleteness Theorems and God? About the Pleasure and the Difficulties of Interpreting Kurt Gödel’s Philosophical Remarks.Eva-Maria Engelen - forthcoming - In Gabriella Crocco & Eva-Maria Engelen (eds.), Kurt Gödel: Philosopher-Scientist. Presses Universitaires de Provence.
On an Extension of Finitary Mathematics which has not yet been Used.Kurt Gödel - 1972 - In Solomon Feferman, John Dawson & Stephen Kleene (eds.), Kurt Gödel: Collected Works Vol. Ii. Oxford University Press. pp. 271--284.
Some Remarks on the Undecidability Results.Kurt Gödel - 1972 - In Solomon Feferman, John Dawson & Stephen Kleene (eds.), Kurt Gödel: Collected Works Vol. Ii. Oxford University Press. pp. 305--306.

Analytics

Added to PP
2015-02-02

Downloads
21 (#695,936)

6 months
5 (#544,079)

Historical graph of downloads
How can I increase my downloads?

Author's Profile

Roderic Girle
University of Auckland

Citations of this work

Sense and the computation of reference.Reinhard Muskens - 2004 - Linguistics and Philosophy 28 (4):473 - 504.
Some weakened Gödelian ontological systems.Srećko Kovač - 2003 - Journal of Philosophical Logic 32 (6):565-588.
Gödel, Kant, and the Path of a Science.Srećko Kovač - 2008 - Inquiry: Journal of Philosophy 51 (2):147-169.

View all 10 citations / Add more citations

References found in this work

No references found.

Add more references