Artículos relacionados a Types, Tableaus, and Gödel’s God: 12 (Trends...
Sinopsis
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.
"Sinopsis" puede pertenecer a otra edición de este libro.
Reseña del editor
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.
"Sobre este título" puede pertenecer a otra edición de este libro.
Resultados de la búsqueda para Types, Tableaus, and Gödel’s God: 12 (Trends...
Imagen del vendedor
Types, Tableaus, and Godel's God
Librería: GreatBookPrices, Columbia, MD, Estados Unidos de America
Calificación del vendedor: 5 de 5 estrellas
Condición: New. Nº de ref. del artículo: 788405-n
Comprar nuevo
EUR 128,01
Envío por EUR 2,35
Se envía dentro de Estados Unidos de America
Se envía dentro de Estados Unidos de America
Cantidad disponible: Más de 20 disponibles
Imagen de archivo
Types, Tableaus, and Gödel's God (Trends in Logic, 12)
Librería: California Books, Miami, FL, Estados Unidos de America
Calificación del vendedor: 5 de 5 estrellas
Condición: New. Nº de ref. del artículo: I-9781402006043
Comprar nuevo
EUR 130,44
Gastos de envío gratis
Se envía dentro de Estados Unidos de America
Se envía dentro de Estados Unidos de America
Cantidad disponible: Más de 20 disponibles
Imagen de archivo
Types, Tableaus, and Gödel's God (Trends in Logic, 12)
Librería: Ria Christie Collections, Uxbridge, Reino Unido
Calificación del vendedor: 5 de 5 estrellas
Condición: New. In English. Nº de ref. del artículo: ria9781402006043_new
Comprar nuevo
EUR 130,09
Envío por EUR 13,36
Se envía de Reino Unido a Estados Unidos de America
Se envía de Reino Unido a Estados Unidos de America
Cantidad disponible: Más de 20 disponibles
Imagen del vendedor
Types, Tableaus, and Gödel's God
Publicado por
Kluwer Academic Publishers, US, 2002
ISBN 10: 1402006047
ISBN 13: 9781402006043
Nuevo
Tapa dura
Librería: Rarewaves.com USA, London, LONDO, Reino Unido
Calificación del vendedor: 5 de 5 estrellas
Hardback. Condición: New. 2002 ed. Gödel's modal ontological argument is the centrepiece 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, semantically and through tableau rules, to produce a modified version of Montague/Gallin intensional logic. Extensionality, rigidity, equality, identity, and definite descriptions are investigated. Finally, various ontological proofs for the existence of God are discussed informally, and the Gödel argument is fully formalized. Objections to the Gödel argument are examined, including one due to Howard Sobel showing Gödel's assumptions are so strong that the modal logic collapses. It is shown that this argument depends critically on whether properties are understood intensionally or extensionally.Parts of the book are mathematical, parts philosophical. A reader interested in (modal) type theory can safelyskip ontological issues, just as one interested in Gödel's argument can omit the more mathematical portions, such as the completeness proof for tableaus. There should be something for everybody (and perhaps everything for somebody). Nº de ref. del artículo: LU-9781402006043
Comprar nuevo
EUR 147,73
Gastos de envío gratis
Se envía de Reino Unido a Estados Unidos de America
Se envía de Reino Unido a Estados Unidos de America
Cantidad disponible: Más de 20 disponibles
Imagen del vendedor
Types, Tableaus, and Godel's God
Librería: GreatBookPricesUK, Woodford Green, Reino Unido
Calificación del vendedor: 5 de 5 estrellas
Condición: New. Nº de ref. del artículo: 788405-n
Comprar nuevo
EUR 130,07
Envío por EUR 17,75
Se envía de Reino Unido a Estados Unidos de America
Se envía de Reino Unido a Estados Unidos de America
Cantidad disponible: Más de 20 disponibles
Imagen de archivo
Types, Tableaus and Godel's God
Publicado por
Kluwer Academic Publishers, 2002
ISBN 10: 1402006047
ISBN 13: 9781402006043
Nuevo
Tapa blanda
Librería: Kennys Bookshop and Art Galleries Ltd., Galway, GY, Irlanda
Calificación del vendedor: 5 de 5 estrellas
Condición: New. Godel's modal ontological argument is the centerpiece of an extensive examination of intensional logic. This title presents classical type theory, introduces tableau rules for it and gives the proof of Prawitz/Takahashi. Series: Trends in Logic. Num Pages: 181 pages, biography. BIC Classification: HPL. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly; (UU) Undergraduate. Dimension: 235 x 155 x 12. Weight in Grams: 461. . 2002. Hardback. . . . . Nº de ref. del artículo: V9781402006043
Comprar nuevo
EUR 139,80
Envío por EUR 9,50
Se envía de Irlanda a Estados Unidos de America
Se envía de Irlanda a Estados Unidos de America
Cantidad disponible: 15 disponibles
Imagen del vendedor
Types, Tableaus, and Goedel\ s God
Impresión bajo demandaLibrería: moluna, Greven, Alemania
Calificación del vendedor: 5 de 5 estrellas
Gebunden. Condición: New. Dieser Artikel ist ein Print on Demand Artikel und wird nach Ihrer Bestellung fuer Sie gedruckt. Goedel 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. Th. Nº de ref. del artículo: 458472417
Comprar nuevo
EUR 101,85
Envío por EUR 48,99
Se envía de Alemania a Estados Unidos de America
Se envía de Alemania a Estados Unidos de America
Cantidad disponible: Más de 20 disponibles
Imagen de archivo
Types, Tableaus, and Goedel's God
Publicado por
Springer-Verlag New York Inc., 2002
ISBN 10: 1402006047
ISBN 13: 9781402006043
Nuevo
Tapa dura
Librería: THE SAINT BOOKSTORE, Southport, Reino Unido
Calificación del vendedor: 5 de 5 estrellas
Hardback. Condición: New. This item is printed on demand. New copy - Usually dispatched within 5-9 working days. Nº de ref. del artículo: C9781402006043
Comprar nuevo
EUR 140,16
Envío por EUR 18,46
Se envía de Reino Unido a Estados Unidos de America
Se envía de Reino Unido a Estados Unidos de America
Cantidad disponible: Más de 20 disponibles
Imagen de archivo
Types, Tableaus, and Gödel?s God (Trends in Logic, 12)
Librería: BennettBooksLtd, Los Angeles, CA, Estados Unidos de America
Calificación del vendedor: 5 de 5 estrellas
hardcover. Condición: New. In shrink wrap. Looks like an interesting title! Nº de ref. del artículo: Q-1402006047
Comprar nuevo
EUR 163,11
Envío por EUR 6,20
Se envía dentro de Estados Unidos de America
Se envía dentro de Estados Unidos de America
Cantidad disponible: 1 disponibles
Imagen de archivo
Types, Tableaus, and G?del's God
Librería: Books Puddle, Woodside, NY, Estados Unidos de America
Calificación del vendedor: 4 de 5 estrellas
Condición: New. pp. 200. Nº de ref. del artículo: 263068797
Comprar nuevo
EUR 172,00
Envío por EUR 3,56
Se envía dentro de Estados Unidos de America
Se envía dentro de Estados Unidos de America
Cantidad disponible: 4 disponibles