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: 20. januar 2025
Utvidet returrett til 31. januar 2025
  •  

    Kan ikke leveres før jul.
    Kjøp nå og skriv ut et gavebevis

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.