› › Axiomatic Theories Of Truth

Axiomatic Theories of Truth

Author : Volker Halbach

Publisher : Cambridge University Press

Page : 362 pages

File Size : 50,48 MB

Release : 2014-02-27

Category : Philosophy

ISBN : 1316584232

Get eBook

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.



Axiomatic Theories of Truth

Author : Volker Halbach

Publisher : Cambridge University Press

Page : 361 pages

File Size : 39,2 MB

Release : 2014-02-27

Category : Philosophy

ISBN : 1107424429

Get eBook

Book Description

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



The Tarskian Turn

Author : Leon Horsten

Publisher : MIT Press

Page : 178 pages

File Size : 38,9 MB

Release : 2011-07-15

Category : Philosophy

ISBN : 0262297760

Get eBook

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.



The Epistemic Lightness of Truth

Author : Cezary Cieśliński

Publisher : Cambridge University Press

Page : 313 pages

File Size : 14,90 MB

Release : 2017-12-07

Category : Philosophy

ISBN : 1107197651

Get eBook

Book Description

This volume explores the deflationary claim of the innocence of truth, taking into account recent results on axiomatic truth theories.



The Oxford Handbook of Truth

Author : Michael Glanzberg

Publisher : Oxford University Press

Page : 833 pages

File Size : 42,99 MB

Release : 2018-06-26

Category : Philosophy

ISBN : 0191502650

Get eBook

Book Description

Truth is one of the central concepts in philosophy, and has been a perennial subject of study. Michael Glanzberg has brought together 36 leading experts from around the world to produce the definitive guide to philosophical issues to do with truth. They consider how the concept of truth has been understood from antiquity to the present day, surveying major debates about truth during the emergence of analytic philosophy. They offer critical assessments of the standard theories of truth, including the coherence, correspondence, identity, and pragmatist theories. They explore the role of truth in metaphysics, with lively discussion of truthmakers, proposition, determinacy, objectivity, deflationism, fictionalism, relativism, and pluralism. Finally the handbook explores broader applications of truth in philosophy, including ethics, science, and mathematics, and reviews formal work on truth and its application to semantic paradox. This Oxford Handbook will be an invaluable resource across all areas of philosophy.



Principles of Truth

Author : Volker Halbach

Publisher : Walter de Gruyter

Page : 245 pages

File Size : 17,81 MB

Release : 2013-05-02

Category : Philosophy

ISBN : 3110332663

Get eBook

Book Description

On the one hand, the concept of truth is a major research subject in analytic philosophy. On the other hand, mathematical logicians have developed sophisticated logical theories of truth and the paradoxes. Recent developments in logical theories of the semantical paradoxes are highly relevant for philosophical research on the notion of truth. And conversely, philosophical guidance is necessary for the development of logical theories of truth and the paradoxes. From this perspective, this volume intends to reflect and promote deeper interaction and collaboration between philosophers and logicians investigating the concept of truth than has existed so far.Aside from an extended introductory overview of recent work in the theory of truth, the volume consists of articles by leading philosophers and logicians on subjects and debates that are situated on the interface between logical and philosophical theories of truth. The volume is intended for graduate students in philosophy and in logic who want an introduction to contemporary research in this area, as well as for professional philosophers and logicians



Formal Theories of Truth

Author : J. C. Beall

Publisher : Oxford University Press

Page : 151 pages

File Size : 11,99 MB

Release : 2018

Category : Language Arts & Disciplines

ISBN : 0198815670

Get eBook

Book Description

Truth is one of the oldest and most central topics in philosophy. Formal theories explore the connections between truth and logic, and they address truth-theoretic paradoxes such as the Liar. Three leading philosopher-logicians now present a concise overview of the main issues and ideas in formal theories of truth. Beall, Glanzberg, and Ripley explain key logical techniques on which such formal theories rely, providing the formal and logical background needed to develop formal theories of truth. They examine the most important truth-theoretic paradoxes, including the Liar paradoxes. They explore approaches that keep principles of truth simple while relying on nonclassical logic; approaches that preserve classical logic but do so by complicating the principles of truth; and approaches based on substructural logics that change the shape of the target consequence relation itself. Finally, inconsistency and revision theories are reviewed, and contrasted with the approaches previously discussed. For any reader who has a basic grounding in logic, this book offers an ideal guide to formal theories of truth.



Logical Frameworks for Truth and Abstraction

Author : A. Cantini

Publisher : Elsevier

Page : 474 pages

File Size : 50,83 MB

Release : 1996-03-14

Category : Mathematics

ISBN : 0080535585

Get eBook

Book Description

This English translation of the author's original work has been thoroughly revised, expanded and updated.The book covers logical systems known as type-free or self-referential. These traditionally arise from any discussion on logical and semantical paradoxes. This particular volume, however, is not concerned with paradoxes but with the investigation of type-free sytems to show that: (i) there are rich theories of self-application, involving both operations and truth which can serve as foundations for property theory and formal semantics; (ii) these theories provide a new outlook on classical topics, such as inductive definitions and predicative mathematics; (iii) they are particularly promising with regard to applications.Research arising from paradoxes has moved progressively closer to the mainstream of mathematical logic and has become much more prominent in the last twenty years. A number of significant developments, techniques and results have been discovered.Academics, students and researchers will find that the book contains a thorough overview of all relevant research in this field.



The Revision Theory of Truth

Author : Anil Gupta

Publisher : MIT Press

Page : 334 pages

File Size : 38,93 MB

Release : 1993

Category : Mathematics

ISBN : 9780262071444

Get eBook

Book Description

In this rigorous investigation into the logic of truth Anil Gupta and Nuel Belnap explain how the concept of truth works in both ordinary and pathological contexts. The latter include, for instance, contexts that generate Liar Paradox. Their central claim is that truth is a circular concept. In support of this claim they provide a widely applicable theory (the "revision theory") of circular concepts. Under the revision theory, when truth is seen as circular both its ordinary features and its pathological features fall into a simple understandable pattern. The Revision Theory of Truth is unique in placing truth in the context of a general theory of definitions. This theory makes sense of arbitrary systems of mutually interdependent concepts, of which circular concepts, such as truth, are but a special case.



Semantics and Truth

Author : Jan Woleński

Publisher : Springer Nature

Page : 392 pages

File Size : 46,48 MB

Release : 2020-01-01

Category : Philosophy

ISBN : 3030245365

Get eBook

Book Description

The book provides a historical (with an outline of the history of the concept of truth from antiquity to our time) and systematic exposition of the semantic theory of truth formulated by Alfred Tarski in the 1930s. This theory became famous very soon and inspired logicians and philosophers. It has two different, but interconnected aspects: formal-logical and philosophical. The book deals with both, but it is intended mostly as a philosophical monograph. It explains Tarski’s motivation and presents discussions about his ideas (pro and contra) as well as points out various applications of the semantic theory of truth to philosophical problems (truth-criteria, realism and anti-realism, future contingents or the concept of correspondence between language and reality).