Abstract

The concept of truth is now a major research subject in analytic philosophy. At the same time, working in different areas, mathematical logicians have developed sophisticated theories of truth and its formal paradoxes. Recent developments of semantical paradoxes in logical theories 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. In addition to an extended introductory overview of recent work in the theory of truth, the volume includes articles by leading philosophers and logicians on subjects and debates that interface 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. Topics covered include a defense of minimalism, metaworlds, the role of correspondence theory, and truth, provability and its criteria. The volume includes contributions by John P. Burgess, Paul Horwich, and Michael Sheard. The contributors are united in their belief that at present the connections between truth and intentional notions are poorly understood, and the entire area is in an unsatisfactory state. Controversy abounds: Is truth a logical-mathematic concept or a properly philosophical one? Does truth pertain to temporal events or possible worlds? Axiomatic theories do not seem to possess the naturalness and elegance intentional notions of truth. The editors intend this volume to offer semantical guidance to those who would construct interesting axiomatic systems concerning intentional notions. Volker Halbach is on the faculty of philosophy of the Universitt Konstanz in Germany. He has contributed articles for Mind, Notre Dame Journal of Formal Logic, Journal of Symbolic Logic, Synthese, and other leading publications in philosophy. Leon Horsten is in the Department of Philosophy, University of Leuven. His work on the subject of this book has appeared in the Journal of Philosophical Logic.