Norges billigste bøker

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.

Vis mer
  • Språk:
  • Engelsk
  • ISBN:
  • 9789401039123
  • Bindende:
  • Paperback
  • Sider:
  • 181
  • Utgitt:
  • 11 oktober 2012
  • Utgave:
  • 12002
  • Dimensjoner:
  • 160x240x11 mm.
  • Vekt:
  • 331 g.
  Gratis frakt
Leveringstid: 2-4 uker
Forventet levering: 30 oktober 2024

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

Brukervurderinger av Types, Tableaus, and Goedel's God



Finn lignende bøker
Boken Types, Tableaus, and Goedel's God finnes i følgende kategorier:

Gjør som tusenvis av andre bokelskere

Abonner på vårt nyhetsbrev og få rabatter og inspirasjon til din neste leseopplevelse.