Marknadens största urval
Snabb leverans

Types, Tableaus, and Goedel's God

Om 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.

Visa mer
  • Språk:
  • Engelska
  • ISBN:
  • 9789401039123
  • Format:
  • Häftad
  • Sidor:
  • 181
  • Utgiven:
  • 11. oktober 2012
  • Utgåva:
  • 12002
  • Mått:
  • 160x240x11 mm.
  • Vikt:
  • 331 g.
  Fri leverans
Leveranstid: 2-4 veckor
Förväntad leverans: 13. december 2024

Beskrivning av 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.

Användarnas betyg av Types, Tableaus, and Goedel's God



Hitta liknande böcker
Boken Types, Tableaus, and Goedel's God finns i följande kategorier:

Gör som tusentals andra bokälskare

Prenumerera på vårt nyhetsbrev för att få fantastiska erbjudanden och inspiration för din nästa läsning.