Tracking reason : proof, consequence, and truth / Jody Azzouni.

Format:

Book

Author/Creator:

Azzouni, Jody, author.

Language:

English

Subjects (All):

Proof theory.

Logic, Symbolic and mathematical.

Physical Description:

1 online resource (vi, 248 pages)

Other Title:

Proof, consequence, and truth

Place of Publication:

New York, New York : Oxford University Press, [2006]

Language Note:

English

Summary:

When ordinary people - mathematicians among them - take something to follow (deductively) from something else, they are exposing the backbone of our self-ascribed ability to reason. This book investigates the connection between that ordinary notion of consequence and the formal analogues invented by logicians.

Contents:

Part I. Truth. Truth and truth conditions

The transcendence of truth

Anaphorically unrestricted quantifiers

Regimentation and paradox

The inconsistency of natural languages

Part II. Mathematical proof. The uniqueness of mathematics as a social practice

The derivation-indicator view of mathematical practice

How to nominalize formalism

Part III. Semantics and the notion of consequence.

Notes:

Description based upon print version of record.

Includes bibliographical references and index.

Description based on print version record.

ISBN:

0-19-029314-4

0-19-970808-8

0-19-537069-4

1-280-56057-6

1-4237-6190-1

0-19-534354-9

1-60256-682-8

OCLC:

171572888