Skip to main content Accessibility help
  • Print publication year: 2011
  • Online publication date: June 2012

6 - Kripke on Truth


Saul Kripke's "Outline of a Theory of Truth" has been the most influential publication on truth and paradox since Alfred Tarski's "The Concept of Truth in Formalized Languages". The liar paradox was introduced by Eubulides and much discussed by Chrysippus and others in ancient times, while it and related paradoxes, under the label insolubilia, were much discussed by Bradwardine and others in the Middle Ages. The kind of formal language Tarski considers has predicates and terms, from which may be formed atomic sentences, from which may be formed other sentences using negation, conjunction, disjunction, and universal and existential quantification. Different schemes of rules have been proposed for evaluating logical compounds some or all of whose logical components may lack truth value, with some schemes looking more plausible for some types of truth-value gap and others for others.

Related content

Powered by UNSILO
Blamey, Stephen 1986 Gabbay, D. M.Guenthner, F.Handbook of Philosophical LogicDordrechtReidel
Burgess, John P 1986 The Truth Is Never SimpleJournal of Symbolic Logic 51 663
Fitting, Melvin 1986 Notes on the Mathematical Aspects of Kripke’s Theory of TruthNotre Dame Journal of Formal Logic 27 75
Kripke, Saul 1975 Outline of a Theory of TruthJournal of Philosophy 72 690
Kripke, Saul 1980 Naming and NecessityCambridgeHarvard University Press
Martin, RobertWoodruff, Peter 1975 On Representing ‘Truth-in-’ in Philosophia 3 213
McGee, Vann 1989 Applying Kripke’s Theory of TruthJournal of Philosophy 86 530
Moschovakis, Yannis 1974 Elementary Induction on Abstract StructuresAmsterdamNorth-Holland
Spade, Paul 2005 The Stanford Encyclopedia of Philosophy
Tarski, Alfred 1935 Der Wahrheitsbegriff in den formalisierten SprachenStudia Philosophica 1 261
van Fraassen, Bas 1969 Lambert, K.The Logical Way of Doing ThingsNew HavenYale University Press
Visser, Albert 1989 Gabbay, D. M.Guenthner, F.Handbook of Philosophical LogicDordrechtReidel
Yablo, Stephen 1993 Paradox without Self-ReferenceAnalysis 53 251