In the light of logic / Solomon Feferman.

Format:

Book

Author/Creator:

Feferman, Solomon, 1928- author.

Series:

Logic and computation in philosophy.

Oxford scholarship online.

Logic and computation in philosophy

Oxford scholarship online

Language:

English

Subjects (All):

Mathematics--Philosophy.

Mathematics.

Logic, Symbolic and mathematical.

Physical Description:

1 online resource (353 pages)

Edition:

First edition.

Place of Publication:

New York ; Oxford University Press, 2023.

Language Note:

English

Summary:

This volume brings together a revised and annotated selection of Solomon Feferman's most important writings, covering the relation between logic and mathematics, proof theory, and objectivity and intentionality in mathematics.

Contents:

Contents; I: FOUNDATIONAL PROBLEMS; 1 Deciding the undecidable: Wrestling with Hilbert's problems; 2 Infinity in mathematics: Is Cantor necessary?; II: FOUNDATIONAL WAYS; 3 The logic of mathematical discovery versus the logical structure of mathematics; 4 Foundational ways; 5 Working foundations; III: GÖDEL; 6 Gödel's life and work; 7 Kurt Gödel: Conviction and caution; 8 Introductory note to Gödel's 1933 lecture; IV: PROOF THEORY; 9 What does logic have to tell us about mathematical proofs?; 10 What rests on what? The proof-theoretic analysis of mathematics

11 Gödel's Dialectica interpretation and its two-way stretchV: COUNTABLY REDUCIBLE MATHEMATICS; 12 Infinity in mathematics: Is Cantor necessary? (Conclusion); 13 Weyl vindicated: Das Kontinuum seventy years later; 14 Why a little bit goes a long way: Logical foundations of scientifically applicable mathematics; Symbols; References; Index; A; B; C; D; E; F; G; H; I; J; K; L; M; N; O; P; Q; R; S; T; U; V; W; Z

Notes:

Previously issued in print: 1998.

Includes bibliographical references (pages309-330) and index.

Derived record based on print version record and publisher information.

ISBN:

0-19-773058-2

1-280-44330-8

9786610443307

0-19-535983-6

0-585-35829-X

OCLC:

466425524