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: December 5, 2024

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.