£80.97

Springer Types, Tableaus, and Gödel’s God: 12 (Trends in Logic, 12)

Price data last checked 96 day(s) ago - refreshing...

View at Amazon

We'll watch every seller, every day. One email when your price arrives.

This is the most expensive it has ever been. Walk away.

£81 today · previous high £81 · all-time low £66

NEW HERE?

Amazon shows you one price. We show you all of them.

Tosheroon watches Amazon prices so you don't have to. Every product on Amazon has a price history — we make it visible. Set the price you'd actually pay, and we'll email you the second it gets there. No app, no account, one email.

WHAT'S ON THIS PAGE

↓ Price chart
when this has been cheap or pricey
↓ Forecast
where the price is heading next
↓ Statistics
all-time high & low, recent range
↑ Price alert
name your number, we'll email you

Price History & Forecast

Grey patches = out of stock. Cheaper = lower on the chart. Hover for exact prices.

Last 635 days • 635 data points (No recent data available)

Historical
Generating forecast...
£80.97 £64.65 £68.21 £71.77 £75.33 £78.89 £82.45 10 June 2024 15 November 2024 23 April 2025 28 September 2025 06 March 2026

Price Distribution

Price distribution over 635 days • 5 price ranges

Days at Price
Current Price
38 days 41 days 181 days 232 days 143 days · current 0 58 116 174 232 £66-69 £69-72 £72-75 £75-78 £78-81 Days at Price

Price Analysis

Most common range: £75-78 (232 days, 36.5%)

Price range: £66 - £81

Price levels: 5 price ranges over 635 days

Description

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

Product Specifications

Format
paperback
Domain
Amazon UK
Publication Date
11 October 2012
Listed Since
07 November 2013

Barcode

No barcode data available

Similar Products You Might Like

Logic for Applications (Texts in Computer Science)
97% match

Logic for Applications (Texts in Computer Science)

Springer

£108.11 11 Jan 2026
Model-Theoretic Logics: 8 (Perspectives in Logic, Series Number 8)
97% match

Model-Theoretic Logics: 8 (Perspectives in Logic, Series Number 8)

Cambridge University Press

£118.40 23 Feb 2026
Structural Analysis of Non-Classical Logics: The Proceedings of the Second Taiwan Philosophical Logic Colloquium (Logic in Asia: Studia Logica Library)
97% match

Structural Analysis of Non-Classical Logics: The Proceedings of the Second Taiwan Philosophical Logic Colloquium (Logic in Asia: Studia Logica Library)

Springer

£78.47 07 Jan 2026
Logic from Russell to Church: 5 (Handbook of the History of Logic, Volume 5)
97% match

Logic from Russell to Church: 5 (Handbook of the History of Logic, Volume 5)

North Holland

£163.49 23 Jan 2026
Hybrid Logic and its Proof-Theory: 37 (Applied Logic Series, 37)
96% match

Hybrid Logic and its Proof-Theory: 37 (Applied Logic Series, 37)

Springer

£75.87 28 Feb 2026
Philosophical Analysis: A Defense by Example: 39 (Philosophical Studies Series, 39)
96% match

Philosophical Analysis: A Defense by Example: 39 (Philosophical Studies Series, 39)

Springer

£164.52 13 Jan 2026
Philosophical Analysis: A Defense by Example: 39 (Philosophical Studies Series, 39)
96% match

Philosophical Analysis: A Defense by Example: 39 (Philosophical Studies Series, 39)

Springer

£147.38 13 Jan 2026
Logic with Trees: An Introduction to Symbolic Logic
96% match

Logic with Trees: An Introduction to Symbolic Logic

Routledge

£133.39 13 Jan 2026
Logic with Trees: An Introduction to Symbolic Logic
96% match

Logic with Trees: An Introduction to Symbolic Logic

Routledge

£42.95 15 Feb 2026
Ewa Orłowska on Relational Methods in Logic and Computer Science: 17 (Outstanding Contributions to Logic, 17)
96% match

Ewa Orłowska on Relational Methods in Logic and Computer Science: 17 (Outstanding Contributions to Logic, 17)

Springer

£100.88 14 Apr 2026
Many-Dimensional Modal Logics: Theory and Applications (Volume 148) (Studies in Logic and the Foundations of Mathematics, Volume 148)
96% match

Many-Dimensional Modal Logics: Theory and Applications (Volume 148) (Studies in Logic and the Foundations of Mathematics, Volume 148)

North Holland

£115.00 12 Jan 2026
Advances In Modal Logic, Volume 3
96% match

Advances In Modal Logic, Volume 3

World Scientific Publishing Company

£50.00 14 Feb 2026
Logic and the Modalities in the Twentieth Century (Volume 7) (Handbook of the History of Logic, Volume 7)
96% match

Logic and the Modalities in the Twentieth Century (Volume 7) (Handbook of the History of Logic, Volume 7)

North Holland

£181.99 12 Jan 2026
Recent Trends in Philosophical Logic: 41 (Trends in Logic, 41)
96% match

Recent Trends in Philosophical Logic: 41 (Trends in Logic, 41)

Springer

£75.84 08 Mar 2026
Mathematical Logic through Python
96% match

Mathematical Logic through Python

Cambridge University Press

£55.29 08 Mar 2026
Recent Trends in Philosophical Logic: 41 (Trends in Logic, 41)
96% match

Recent Trends in Philosophical Logic: 41 (Trends in Logic, 41)

Springer

£74.74 08 Mar 2026
Logic and Structure (Universitext)
96% match

Logic and Structure (Universitext)

Springer

£48.08 14 Apr 2026
Philosophy and Model Theory
96% match

Philosophy and Model Theory

Oxford University Press

£40.14 15 Apr 2026
Handbook of Philosophical Logic: Volume II: Extensions of Classical Logic: 165 (Synthese Library, 165)
96% match

Handbook of Philosophical Logic: Volume II: Extensions of Classical Logic: 165 (Synthese Library, 165)

Springer

£98.43 10 Apr 2026
An Introduction to Non-Classical Logic: From If to Is (Cambridge Introductions to Philosophy)
96% match

An Introduction to Non-Classical Logic: From If to Is (Cambridge Introductions to Philosophy)

Cambridge University Press

£83.99 19 Apr 2026
Mathematical Logic and Formalized Theories: A Survey of Basic Concepts and Results
96% match

Mathematical Logic and Formalized Theories: A Survey of Basic Concepts and Results

North Holland

£49.99 22 Feb 2026
Displaying Modal Logic: 3 (Trends in Logic, 3)
96% match

Displaying Modal Logic: 3 (Trends in Logic, 3)

Springer

£105.95 07 Mar 2026
Gödel's Incompleteness Theorems: A Guided Tour Through Kurt Gödel’s Historic Proof
96% match

Gödel's Incompleteness Theorems: A Guided Tour Through Kurt Gödel’s Historic Proof

Springer

£41.75 29 Jan 2026
Gentzen Calculi for Modal Propositional Logic: 32 (Trends in Logic, 32)
96% match

Gentzen Calculi for Modal Propositional Logic: 32 (Trends in Logic, 32)

Springer

£99.83 12 Apr 2026