Foundations without Foundationalism: A Case for Second-order Logic (Oxford Logic Guides) - Image 1

£41.44

Oxford University Press Foundations without Foundationalism: A Case for Second-order Logic (Oxford Logic Guides)

Name: Foundations without Foundationalism: A Case for Second-order Logic (Oxford Logic Guides)
Brand: Oxford University Press
Price: 41.44 GBP
Availability: InStock

History of Mathematics

It has never been this cheap. We have no record of a lower price.

£41 today · cheaper than every other day in the last 3 months

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 77 days · 77 data points (no recent data)

Historical

Generating forecast…

Price Distribution

Price distribution over 77 days • 3 price levels

Days at Price

Current Price

Price Analysis

Most common price: £50 (63 days, 81.8%)

Price range: £41 - £50

Price levels: 3 different prices over 77 days

Description

The central contention of this book is that second-order logic has a central role to play in laying the foundations of mathematics. In order to develop the argument fully, the author presents a detailed description of higher-order logic, including a comprehensive discussion of its semantics. He goes on to demonstrate the prevalence of second-order concepts in mathematics and the extent to which mathematical ideas can be formulated in higher-order logic. He also shows how first-order languages are often insufficient to codify many concepts in contemporary mathematics, and thus that both first-and higher-order logics are needed to fully reflect current work. Throughout, the emphasis is on discussing the associated philosophical and historical issues and the implications they have for foundational studies. For the most part, the author assumes little more than a familiarity with logic comparable to that provided in a beginning graduate course which includes the incompleteness of arithmetic and the Lowenheim-Skolem theorems. All those concerned with the foundations of mathematics will find this a thought-provoking discussion of some of the central issues in the field today.

Key Features

Foundations without Foundationalism: A Case for Second-order Logic (Oxford Logic Guides)

Product type: ABIS BOOK

Brand: Oxford University Press

Product Specifications

Brand: Oxford University Press
Format: paperback
ASIN: 0198250290
Category: Books > Subjects > Science, Nature & Maths > Mathematics > History of Mathematics
Domain: Amazon UK
Release Date: 18 May 2000
Listed Since: 09 November 2006

Barcode

No barcode data available

Oxford University Press Foundations without Foundationalism: A Case for Second-order Logic (Oxford Logic Guides)

It has never been this cheap. We have no record of a lower price.

Price History & Forecast

Price Distribution

Price Analysis

Description

Key Features

Product Specifications

Barcode

Similar Products You Might Like

Philosophy's Loss of Logic to Mathematics: An Inadequately Understood Take-Over: 43 (Studies in Applied Philosophy, Epistemology and Rational Ethics, 43)

Gödel's Theorems and Zermelo's Axioms: A Firm Foundation of Mathematics

An Invitation to Mathematical Logic: 301 (Graduate Texts in Mathematics, 301)

Basic Proof Theory 2ed: 43 (Cambridge Tracts in Theoretical Computer Science, Series Number 43)

Introduction to Mathematical Logic: Set Theory Computable Functions Model Theory (Undergraduate Texts in Mathematics)

Routledge Origins and Varieties of Logicism - Philosophy Book

Modern Mathematical Logic (Cambridge Mathematical Textbooks)

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

Mathematical Logic: Exercises and Solutions (Problem Books in Mathematics)

Mathematical Logic with Special Reference to the Natural Numbers

Oxford Handbook of Philosophy of Mathematics and Logic - OUP

Subsystems of Second Order Arithmetic: Second Edition: Perspectives in Logic

Mathematical Logic

Philosophy's Loss of Logic to Mathematics: An Inadequately Understood Take-Over: 43 (Studies in Applied Philosophy, Epistemology and Rational Ethics, 43)

Logic and Structure (Universitext)

A First Journey through Logic (Student Mathematical Library)

Meaning and Existence in Mathematics: 9 (LEP Library of Exact Philosophy, 9)

Analysis and Logic: 262 (London Mathematical Society Lecture Note Series, Series Number 262)

Logic Colloquium 2004: Proceedings of the Annual European Summer Meeting of the Association for Symbolic Logic, Held in Torino, Italy, July 25-31, 2004: 29 (Lecture Notes in Logic, Series Number 29)

Logic of Mathematics: A Modern Course of Classical Logic: 22 (Pure and Applied Mathematics: A Wiley Series of Texts, Monographs and Tracts)

Truth, Existence and Explanation: FilMat 2016 Studies in the Philosophy of Mathematics: 334 (Boston Studies in the Philosophy and History of Science, 334)

Logic Colloquium '95: Proceedings of the Annual European Summer Meeting of the Association of Symbolic Logic, held in Haifa, Israel, August 9–18, 1995: 11 (Lecture Notes in Logic, Series Number 11)

Algebraic Perspectives on Substructural Logics: 55 (Trends in Logic, 55)

Lectures in Logic and Set Theory: Volume I: Mathematical Logic: 82 (Cambridge Studies in Advanced Mathematics, Series Number 82)