Types, Tableaus, and Goedel's God

Name: Types, Tableaus, and Goedel's God
Brand: Springer
SKU: 9789401039123
Price: 43248 HUF
Availability: InStock

Szerző: M. Fitting

Nyelv:

Kötés: Puha kötésű

Kiadó: Springer

Elérhetőség: Beszállítói készleten

Küldés 5-8 napon belül

43 248 Ft

Gödel's modal ontological argument is the centerpiece of an extensive examination of intensional log...

Információk a könyvről

Szerző

M. Fitting

Nyelv

Angol

Kötés

Könyv - Puha kötésű

Kiadva

2012

oldal

181

EAN

9789401039123

ISBN

9401039127

Enbook ID

05323256

Kiadó

Springer

Súly

331

Méretek

160 x 240 x 12

Teljes leírás

Gödel's modal ontological argument is the centerpiece of an extensive examination of intensional logic. First, classical type theory is presented semantically, tableau rules for it are introduced, and the Prawitz/Takahashi completeness proof is given. 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 Gödel argument is fully formalized. Parts of the book are mathematical, parts philosophical. §

Érdekelheti

Azok a vásárlók, akik ezt a könyvet megvásárolták, a következőket is megvásárolták

Leggyakrabban keresett

Categories

Authors

Publishers

Termékek

Termékek

Leggyakrabban keresett

Categories

Authors

Publishers

Termékek

Termékek

Types, Tableaus, and Goedel's God

Információk a könyvről

Teljes leírás

Érdekelheti

Azok a vásárlók, akik ezt a könyvet megvásárolták, a következőket is megvásárolták