Sign-In
Cart
Types, Tableaus, and Gödel's God
Paperback
Series: Trends in Logic, Book 12
Please select the version of book you would like to purchase.
ISBN10: 9401039127
ISBN13: 9789401039123
Publisher: Springer Nature
Published: Oct 11 2012
Pages: 181
Weight: 0.63
Height: 0.42 Width: 6.14 Depth: 9.21
Language: English
ISBN13: 9789401039123
Publisher: Springer Nature
Published: Oct 11 2012
Pages: 181
Weight: 0.63
Height: 0.42 Width: 6.14 Depth: 9.21
Language: English
Gödel's modal ontological argument is the centrepiece 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, semantically and through tableau rules, to produce a modified version of Montague/Gallin intensional logic. Extensionality, rigidity, equality, identity, and definite descriptions are investigated. Finally, various ontological proofs for the existence of God are discussed informally, and the Gödel argument is fully formalized. Objections to the Gödel argument are examined, including one due to Howard Sobel showing Gödel's assumptions are so strong that the modal logic collapses. It is shown that this argument depends critically on whether properties are understood intensionally or extensionally.
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).
1 different editions
Also available
Also in
Philosophy
In the Beginning Was the Deed: Realism and Moralism in Political Argument
Williams, Bernard
Paperback
$46.25
The American Indian Mind in a Linear World: American Indian Studies and Traditional Knowledge
Fixico, Donald Lee
Paperback
$72.79
Dreaming of Cinema: Spectatorship, Surrealism, and the Age of Digital Media
Lowenstein, Adam
Paperback
$51.00
Machine Intelligence and the Imaginal Realm: Spiritual Freedom and the Re-Animation of Matter
Lafitte, Luke
Paperback
From $14.99
The Sociogony: Social Facts and the Ontology of Objects, Things, and Monsters
Worrell, Mark P.
Paperback
$43.50
On Quality: An Inquiry Into Excellence: Unpublished and Selected Writings
Pirsig, Robert M.
Pirsig, Wendy K.
Hardcover
$25.64
Philosophy in Turbulent Times: Canguilhem, Sartre, Foucault, Althusser, Deleuze, Derrida
Roudinesco, Elisabeth
Paperback
$42.00
The New Science of Giambattista Vico: Unabridged Translation of the Third Edition (1744) with the Addition of Practic of the New Science
Vico, Giambattista
Paperback
$43.43
Friendship and Society: An Introduction to Augustine's Practical Philosophy
Burt, Donald X.
Paperback
$28.49
The Dream of Reason: A History of Philosophy from the Greeks to the Renaissance
Gottlieb, Anthony
Paperback
$9.99
The Modes of Scepticism: Ancient Texts and Modern Interpretations
Julia, Annas
Annas, Julia
Barnes, Jonathan
Paperback
$48.84
Essays V2: Moral And Entertaining On The Various Faculties And Passions Of The Human Mind (1815)
Clarendon, Edward Hyde Earl of
Paperback
$37.44
The Daily Stoic: 366 Meditations on Wisdom, Perseverance, and the Art of Living
Holiday, Ryan
Hanselman, Stephen
Hardcover
From $12.99
The Obstacle Is the Way Expanded 10th Anniversary Edition: The Timeless Art of Turning Trials Into Triumph
Holiday, Ryan
Hardcover
$26.60
Other Minds: The Octopus, the Sea, and the Deep Origins of Consciousness
Godfrey-Smith, Peter
Paperback
$19.00
The Boy, the Mole, the Fox and the Horse Fifth Anniversary Limited Edition: The Global Bestseller
Mackesy, Charlie
Hardcover
$28.49
The Mattering Instinct: How Our Deepest Longing Drives Us and Divides Us
Goldstein, Rebecca Newberger
Hardcover
From $19.99
The Courage to Be Ordinary: Discover Your Surprising Superpower for a Thriving Life
Kishimi, Ichiro
Paperback
$18.04
Self-Help from the Middle Ages: What the Seven Deadly Sins Can Teach Us about Living
Jones, Peter
Hardcover
$27.00
My Big TOE Awakening Discovery Inner Workings: The Complete My Big TOE Trilogy Unifying Philosophy, Physics and Metaphysics
Campbell, Thomas
Hardcover
$56.53
The Ethical Slut, Third Edition: A Practical Guide to Polyamory, Open Relationships, and Other Freedoms in Sex and Love
Hardy, Janet W.
Easton, Dossie
Paperback
$17.99
Revolt Against the Modern World: Politics, Religion, and Social Order in the Kali Yuga
Evola, Julius
Hardcover
$28.45
Self-Reliance and Nature: The Complete First and Second Series of Emerson's Essays
Emerson, Ralph Waldo
Hardcover
$24.99