We a good story
Quick delivery in the UK

Types, Tableaus, and Goedel's God

About Types, Tableaus, and Goedel's God

Goedel's modal ontological argument is the centerpiece of an extensive examination of intensional logic. 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 Goedel argument is fully formalized.

Show more
  • Language:
  • English
  • ISBN:
  • 9789401039123
  • Binding:
  • Paperback
  • Pages:
  • 181
  • Published:
  • October 10, 2012
  • Edition:
  • 12002
  • Dimensions:
  • 160x240x11 mm.
  • Weight:
  • 331 g.
Delivery: 1-2 weeks
Expected delivery: January 4, 2025
Extended return policy to January 30, 2025
  •  

    Cannot be delivered before Christmas.
    Buy now and print a gift certificate

Description of Types, Tableaus, and Goedel's God

Goedel's modal ontological argument is the centerpiece of an extensive examination of intensional logic. 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 Goedel argument is fully formalized.

User ratings of Types, Tableaus, and Goedel's God



Find similar books
The book Types, Tableaus, and Goedel's God can be found in the following categories:

Join thousands of book lovers

Sign up to our newsletter and receive discounts and inspiration for your next reading experience.