A Truth Predicate for Peano Arithmetic

A Truth Predicate for Peano Arithmetic PDF Author: Gary Preston Shannon
Publisher:
ISBN:
Category :
Languages : en
Pages : 136

Get Book Here

Book Description

A Truth Predicate for Peano Arithmetic

A Truth Predicate for Peano Arithmetic PDF Author: Gary Preston Shannon
Publisher:
ISBN:
Category :
Languages : en
Pages : 136

Get Book Here

Book Description


Axiomatic Theories of Truth

Axiomatic Theories of Truth PDF Author: Volker Halbach
Publisher: Cambridge University Press
ISBN: 1107424429
Category : Philosophy
Languages : en
Pages : 361

Get Book Here

Book Description
A survey of the most important axiomatizations of truth, exploring their properties and how the logical results impinge on philosophical topics.

Axiomatic Theories of Truth

Axiomatic Theories of Truth PDF Author: Volker Halbach
Publisher: Cambridge University Press
ISBN: 1316584232
Category : Philosophy
Languages : en
Pages : 362

Get Book Here

Book Description
At the centre of the traditional discussion of truth is the question of how truth is defined. Recent research, especially with the development of deflationist accounts of truth, has tended to take truth as an undefined primitive notion governed by axioms, while the liar paradox and cognate paradoxes pose problems for certain seemingly natural axioms for truth. In this book, Volker Halbach examines the most important axiomatizations of truth, explores their properties and shows how the logical results impinge on the philosophical topics related to truth. In particular, he shows that the discussion on topics such as deflationism about truth depends on the solution of the paradoxes. His book is an invaluable survey of the logical background to the philosophical discussion of truth, and will be indispensable reading for any graduate or professional philosopher in theories of truth.

Principia Mathematica

Principia Mathematica PDF Author: Alfred North Whitehead
Publisher:
ISBN:
Category : Logic, Symbolic and mathematical
Languages : en
Pages : 688

Get Book Here

Book Description


The Tarskian Turn

The Tarskian Turn PDF Author: Leon Horsten
Publisher: MIT Press
ISBN: 0262297760
Category : Philosophy
Languages : en
Pages : 178

Get Book Here

Book Description
A philosopher proposes a new deflationist view of truth, based on contemporary proof-theoretic approaches. In The Tarskian Turn, Leon Horsten investigates the relationship between formal theories of truth and contemporary philosophical approaches to truth. The work of mathematician and logician Alfred Tarski (1901–1983) marks the transition from substantial to deflationary views about truth. Deflationism—which holds that the notion of truth is light and insubstantial—can be and has been made more precise in multiple ways. Crucial in making the deflationary intuition precise is its relation to formal or logical aspects of the notion of truth. Allowing that semantical theories of truth may have heuristic value, in The Tarskian Turn Horsten focuses on axiomatic theories of truth developed since Tarski and their connection to deflationism. Arguing that the insubstantiality of truth has been misunderstood in the literature, Horsten proposes and defends a new kind of deflationism, inferential deflationism, according to which truth is a concept without a nature or essence. He argues that this way of viewing the concept of truth, inspired by a formalization of Kripke's theory of truth, flows naturally from the best formal theories of truth that are currently available. Alternating between logical and philosophical chapters, the book steadily progresses toward stronger theories of truth. Technicality cannot be altogether avoided in the subject under discussion, but Horsten attempts to strike a balance between the need for logical precision on the one hand and the need to make his argument accessible to philosophers.

Analysis I

Analysis I PDF Author: Terence Tao
Publisher: Springer
ISBN: 9811017891
Category : Mathematics
Languages : en
Pages : 366

Get Book Here

Book Description
This is part one of a two-volume book on real analysis and is intended for senior undergraduate students of mathematics who have already been exposed to calculus. The emphasis is on rigour and foundations of analysis. Beginning with the construction of the number systems and set theory, the book discusses the basics of analysis (limits, series, continuity, differentiation, Riemann integration), through to power series, several variable calculus and Fourier analysis, and then finally the Lebesgue integral. These are almost entirely set in the concrete setting of the real line and Euclidean spaces, although there is some material on abstract metric and topological spaces. The book also has appendices on mathematical logic and the decimal system. The entire text (omitting some less central topics) can be taught in two quarters of 25–30 lectures each. The course material is deeply intertwined with the exercises, as it is intended that the student actively learn the material (and practice thinking and writing rigorously) by proving several of the key results in the theory.

The Logic of Provability

The Logic of Provability PDF Author: George Boolos
Publisher: Cambridge University Press
ISBN: 9780521483254
Category : Mathematics
Languages : en
Pages : 318

Get Book Here

Book Description
Boolos, a pre-eminent philosopher of mathematics, investigates the relationship between provability and modal logic.

Feferman on Foundations

Feferman on Foundations PDF Author: Gerhard Jäger
Publisher: Springer
ISBN: 3319633341
Category : Mathematics
Languages : en
Pages : 617

Get Book Here

Book Description
This volume honours the life and work of Solomon Feferman, one of the most prominent mathematical logicians of the latter half of the 20th century. In the collection of essays presented here, researchers examine Feferman’s work on mathematical as well as specific methodological and philosophical issues that tie into mathematics. Feferman’s work was largely based in mathematical logic (namely model theory, set theory, proof theory and computability theory), but also branched out into methodological and philosophical issues, making it well known beyond the borders of the mathematics community. With regard to methodological issues, Feferman supported concrete projects. On the one hand, these projects calibrate the proof theoretic strength of subsystems of analysis and set theory and provide ways of overcoming the limitations imposed by Gödel’s incompleteness theorems through appropriate conceptual expansions. On the other, they seek to identify novel axiomatic foundations for mathematical practice, truth theories, and category theory. In his philosophical research, Feferman explored questions such as “What is logic?” and proposed particular positions regarding the foundations of mathematics including, for example, his “conceptual structuralism.” The contributing authors of the volume examine all of the above issues. Their papers are accompanied by an autobiography presented by Feferman that reflects on the evolution and intellectual contexts of his work. The contributing authors critically examine Feferman’s work and, in part, actively expand on his concrete mathematical projects. The volume illuminates Feferman’s distinctive work and, in the process, provides an enlightening perspective on the foundations of mathematics and logic.

Unifying the Philosophy of Truth

Unifying the Philosophy of Truth PDF Author: Theodora Achourioti
Publisher: Springer
ISBN: 9401796734
Category : Philosophy
Languages : en
Pages : 495

Get Book Here

Book Description
This anthology of the very latest research on truth features the work of recognized luminaries in the field, put together following a rigorous refereeing process. Along with an introduction outlining the central issues in the field, it provides a unique and unrivaled view of contemporary work on the nature of truth, with papers selected from key conferences in 2011 such as Truth Be Told (Amsterdam), Truth at Work (Paris), Paradoxes of Truth and Denotation (Barcelona) and Axiomatic Theories of Truth (Oxford). Studying the nature of the concept of ‘truth’ has always been a core role of philosophy, but recent years have been a boom time in the topic. With a wealth of recent conferences examining the subject from various angles, this collection of essays recognizes the pressing need for a volume that brings scholars up to date on the arguments. Offering academics and graduate students alike a much-needed repository of today’s cutting-edge work in this vital topic of philosophy, the volume is required reading for anyone needing to keep abreast of developments, and is certain to act as a catalyst for further innovation and research.

The Philosophy of Mathematics Today

The Philosophy of Mathematics Today PDF Author: Matthias Schirn
Publisher: Oxford University Press
ISBN: 9780199262625
Category : Philosophy
Languages : en
Pages : 654

Get Book Here

Book Description
Representing the state of the art in the field of the philosophy of mathematics, this collection of 20 essays deals with fundamental issues, ranging from the nature of mathematical knowledge to sets and natural 'number'.