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.
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.
Author: Volker Halbach
Publisher: Walter de Gruyter
ISBN: 3110332663
Category : Philosophy
Languages : en
Pages : 245
Get Book Here
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
Author: J. C. Beall
Publisher: Oxford University Press
ISBN: 0198815670
Category : Language Arts & Disciplines
Languages : en
Pages : 151
Get Book Here
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.
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.
Author: A. Cantini
Publisher: Elsevier
ISBN: 0080535585
Category : Mathematics
Languages : en
Pages : 474
Get Book Here
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.
Author: Anil Gupta
Publisher: MIT Press
ISBN: 9780262071444
Category : Mathematics
Languages : en
Pages : 334
Get Book Here
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.
Author: Robert F. Almeder
Publisher: Rowman & Littlefield
ISBN: 9781442205130
Category : Skepticism
Languages : en
Pages : 0
Get Book Here
Book Description
"Those who take the epistemic account of fruth to be a nonsfarler should read this compact book carefully. Almeder goes on the offense here and develops a pragmalist epistemology farther than anyone has before. A must-read."-Linda Alcoff, Cuny Grad Center --
Author: Nicholas J.J. Smith
Publisher: Princeton University Press
ISBN: 0691151636
Category : Philosophy
Languages : en
Pages : 544
Get Book Here
Book Description
Provides an essential introduction to classical logic.
Author: Michael Glanzberg
Publisher: Oxford University Press
ISBN: 0191502650
Category : Philosophy
Languages : en
Pages : 833
Get Book Here
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.
