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

£43.18

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: 38.62 GBP
Availability: InStock

History of Mathematics

Price History & Forecast

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

Historical

Generating forecast...

Price Distribution

Price distribution over 53 days • 10 price levels

Days at Price

Current Price

Price Analysis

Most common price: £43 (14 days, 26.4%)

Price range: £38 - £46

Price levels: 10 different prices over 53 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)

Price History & Forecast

Price Distribution

Price Analysis

Description

Key Features

Product Specifications

Barcode

Similar Products You Might Like

The Foundations of Mathematics

The Oxford Handbook of Philosophy of Mathematics and Logic

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

MATHEMATICAL LOGIC OTIL PAPER: 3 (Oxford Texts in Logic)

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

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

Modal Logic: An Introduction to its Syntax and Semantics

Algebraic Methods in Philosophical Logic: 41 (Oxford Logic Guides)

Proofs and Fundamentals: A First Course in Abstract Mathematics: 0 (Undergraduate Texts in Mathematics)

Fundamentals of Mathematics: An Introduction to Proofs, Logic, Sets, and Numbers

Set Theory: Boolean-Valued Models and Independence Proofs (Oxford Logic Guides): 47

Mathematical Logic

Routledge Origins and Varieties of Logicism - Philosophy Book

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

Mathematical Logic: 291 (Graduate Texts in Mathematics, 291)

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

An Outline of Mathematical Logic: Fundamental Results and Notions Explained with all Details: 70 (Synthese Library, 70)

Proofs and Fundamentals: A First Course in Abstract Mathematics (Undergraduate Texts in Mathematics)

Notes on Logic and Set Theory (Cambridge Mathematical Textbooks)

Logical Foundations of Mathematics and Computational Complexity: A Gentle Introduction (Springer Monographs in Mathematics)

A Course in Mathematical Logic for Mathematicians: 53 (Graduate Texts in Mathematics, 53)

Routledge - A Philosophical Introduction to Higher-order Logics

Logic for Mathematicians

The Foundations of Analysis: A Straightforward Introduction: Book 1 Logic, Sets and Numbers