Surveys all of the major theories of truth, presenting the crux of the issues involved at a level accessible to nonexperts yet in a manner sufficiently detailed and original to be of value to professional scholars.

Theories of Truth provides a clear, critical introduction to one of the most difficult areas of philosophy. It surveys all of the major philosophical theories of truth, presenting the crux of the issues involved at a level accessible to nonexperts yet in a manner sufficiently detailed and original to be of value to professional scholars. Kirkham's systematic treatment and meticulous explanations of terminology ensure that readers will come away from this book with a comprehensive general understanding of one of philosophy's thorniest set of topics. Included are discussions of the correspondence, coherence, pragmatic, semantic, performative, redundancy, appraisal, and truth-as-justification theories. There are also chapters or sections of chapters on the liar paradox, three-valued logic, Field's critique of Tarski, Davidson's program, Dummett's theory of linguistic competence, satisfaction, recursion, the extension/intension distinction, and an explanation of how theories of justification, properly understood, differ from theories of truth. A persistent theme is that philosophers have too often failed to recognize that not all theories of truth are intended to answer the same question. When the various questions are made distinct, it is apparent that many of the "debates" in this field are really cases of philosophers talking past one another. There is much less disagreement within the field than has commonly been thought. Richard L. Kirkham is Visiting Assistant Professor of Philosophy at the University of Oklahoma.

In a number of influential articles published since 1972, Dorothy Grover has developed the prosentential theory of truth. Brought together and published with a new introduction, these essays are even more impressive as a group than they were as single contributions to philosophy and linguistics. Denying that truth has an explanatory role, the prosentential theory does not address traditional truth issues like belief, meaning, and justification. Instead, it focuses on the grammatical role of the truth predicate and asserts that "it is true" is a prosentence, functioning much as a pronoun does. Grover defends the theory by indicating how it can handle notorious paradoxes like the Liar, as well as by analyzing some English truth-usages. The introduction to the volume surveys traditional theories of truth, including correspondence, pragmatic, and coherence theories. It discusses the essays to come and, finally, considers the implications of the prosentential theory for other theories. Despite the fact that the prosentential theory dismisses the "nature of truth" as a red herring, Grover shows that there are important aspects of traditional truth theories that prosentential theorists have the option of endorsing. Originally published in 1992. The Princeton Legacy Library uses the latest print-on-demand technology to again make available previously out-of-print books from the distinguished backlist of Princeton University Press. These editions preserve the original texts of these important books while presenting them in durable paperback and hardcover editions. The goal of the Princeton Legacy Library is to vastly increase access to the rich scholarly heritage found in the thousands of books published by Princeton University Press since its founding in 1905.

“Providing up-to-date, in-depth coverage of the central question, and written and edited by some of the foremost practitioners in the field, this timely new edition will no doubt be a go-to reference for anyone with a serious interest in the philosophy of language.” Kathrin Glüer-Pagin, Stockholm University Now published in two volumes, the second edition of the best-selling Companion to the Philosophy of Language provides a complete survey of contemporary philosophy of language. The Companion has been greatly extended and now includes a monumental 17 new essays – with topics chosen by the editors, who curated suggestions from current contributors – and almost all of the 25 original chapters have been updated to take account of recent developments in the field. In addition to providing a synoptic view of the key issues, figures, concepts, and debates, each essay introduces new and original contributions to ongoing debates, as well as addressing a number of new areas of interest, including two-dimensional semantics, modality and epistemic modals, and semantic relationism. The extended “state-of-the-art” chapter format allows the authors, all of whom are internationally eminent scholars in the field, to incorporate original research to a far greater degree than competitor volumes. Unrivaled in scope, this volume represents the best contemporary critical thinking relating to the philosophy of language.

First published in 1975, The Correspondence Theory of Truth examines the simplest statements of empirical fact and establishes what we can mean when we say that such statements are true. In particular, the author has considered whether any or all of beliefs, sentences, statements, or propositions are properly said to be true or false. He proceeds to examine what we mean by the term 'fact' and what possible relation between facts and beliefs (or their linguistic embodiments) could be meant by the term 'correspondence'. The second part of the book is a critical survey of important contemporary accounts of truth. The author examines Tarski's semantic theory to see if it offers a satisfactory reconstruction of the essence of the traditional notion of correspondence, then J.L. Austin's recent and famous version of the correspondence theory and some criticisms of it by Professor P. E. Strawson. A final chapter summarizes the viable content of the correspondence theory and suggests what problems about truth still remain for discussion if the theory is accepted. This book will be an essential read for students and scholars of Philosophy.

How does science work? Does it tell us what the world is “really” like? What makes it different from other ways of understanding the universe? In Theory and Reality, Peter Godfrey-Smith addresses these questions by taking the reader on a grand tour of more than a hundred years of debate about science. The result is a completely accessible introduction to the main themes of the philosophy of science. Examples and asides engage the beginning student, a glossary of terms explains key concepts, and suggestions for further reading are included at the end of each chapter. Like no other text in this field, Theory and Reality combines a survey of recent history of the philosophy of science with current key debates that any beginning scholar or critical reader can follow. The second edition is thoroughly updated and expanded by the author with a new chapter on truth, simplicity, and models in science.

The definitive and essential collection of classic and new essays on analytic theories of truth, revised and updated, with seventeen new chapters. The question "What is truth?" is so philosophical that it can seem rhetorical. Yet truth matters, especially in a "post-truth" society in which lies are tolerated and facts are ignored. If we want to understand why truth matters, we first need to understand what it is. The Nature of Truth offers the definitive collection of classic and contemporary essays on analytic theories of truth. This second edition has been extensively revised and updated, incorporating both historically central readings on truth's nature as well as up-to-the-moment contemporary essays. Seventeen new chapters reflect the current trajectory of research on truth.

In case you are considering to adopt this book for courses with over 50 students, please contact [email protected] for more information. This introduction to mathematical logic starts with propositional calculus and first-order logic. Topics covered include syntax, semantics, soundness, completeness, independence, normal forms, vertical paths through negation normal formulas, compactness, Smullyan's Unifying Principle, natural deduction, cut-elimination, semantic tableaux, Skolemization, Herbrand's Theorem, unification, duality, interpolation, and definability. The last three chapters of the book provide an introduction to type theory (higher-order logic). It is shown how various mathematical concepts can be formalized in this very expressive formal language. This expressive notation facilitates proofs of the classical incompleteness and undecidability theorems which are very elegant and easy to understand. The discussion of semantics makes clear the important distinction between standard and nonstandard models which is so important in understanding puzzling phenomena such as the incompleteness theorems and Skolem's Paradox about countable models of set theory. Some of the numerous exercises require giving formal proofs. A computer program called ETPS which is available from the web facilitates doing and checking such exercises. Audience: This volume will be of interest to mathematicians, computer scientists, and philosophers in universities, as well as to computer scientists in industry who wish to use higher-order logic for hardware and software specification and verification.

Mark Jago offers a new metaphysical account of truth. He argues that to be true is to be made true by the existence of a suitable worldly entity. Truth arises as a relation between a proposition - the content of our sayings, thoughts, beliefs, and so on - and an entity (or entities) in the world.

Providing a clear and accessible introduction to epistemology or the theory of knowledge, this book discusses some of the main theories of justification, including foundationalism, coherentism, reliabilism, and virtue epistemology.