Citation for this page in APA citation style.           Close

Core Concepts

Best Explanation
Divided Line
Downward Causation
Emergent Dualism
Identity Theory
Infinite Regress
Mental Causation
Multiple Realizability
Possible Worlds
Schrödinger's Cat


Mortimer Adler
Rogers Albritton
Alexander of Aphrodisias
Samuel Alexander
William Alston
Louise Antony
Thomas Aquinas
David Armstrong
Harald Atmanspacher
Robert Audi
Alexander Bain
Mark Balaguer
Jeffrey Barrett
William Belsham
Henri Bergson
George Berkeley
Isaiah Berlin
Richard J. Bernstein
Bernard Berofsky
Robert Bishop
Max Black
Susanne Bobzien
Emil du Bois-Reymond
Hilary Bok
Laurence BonJour
George Boole
Émile Boutroux
Michael Burke
Joseph Keim Campbell
Rudolf Carnap
Ernst Cassirer
David Chalmers
Roderick Chisholm
Randolph Clarke
Samuel Clarke
Anthony Collins
Antonella Corradini
Diodorus Cronus
Jonathan Dancy
Donald Davidson
Mario De Caro
Daniel Dennett
Jacques Derrida
René Descartes
Richard Double
Fred Dretske
John Dupré
John Earman
Laura Waddell Ekstrom
Herbert Feigl
John Martin Fischer
Owen Flanagan
Luciano Floridi
Philippa Foot
Alfred Fouilleé
Harry Frankfurt
Richard L. Franklin
Michael Frede
Gottlob Frege
Peter Geach
Edmund Gettier
Carl Ginet
Alvin Goldman
Nicholas St. John Green
H.Paul Grice
Ian Hacking
Ishtiyaque Haji
Stuart Hampshire
Sam Harris
William Hasker
Georg W.F. Hegel
Martin Heidegger
Thomas Hobbes
David Hodgson
Shadsworth Hodgson
Baron d'Holbach
Ted Honderich
Pamela Huby
David Hume
Ferenc Huoranszki
William James
Lord Kames
Robert Kane
Immanuel Kant
Tomis Kapitan
Jaegwon Kim
William King
Hilary Kornblith
Christine Korsgaard
Saul Kripke
Andrea Lavazza
Keith Lehrer
Gottfried Leibniz
Michael Levin
George Henry Lewes
David Lewis
Peter Lipton
C. Lloyd Morgan
John Locke
Michael Lockwood
E. Jonathan Lowe
John R. Lucas
Alasdair MacIntyre
Ruth Barcan Marcus
James Martineau
Storrs McCall
Hugh McCann
Colin McGinn
Michael McKenna
Brian McLaughlin
John McTaggart
Paul E. Meehl
Uwe Meixner
Alfred Mele
Trenton Merricks
John Stuart Mill
Dickinson Miller
Thomas Nagel
Friedrich Nietzsche
John Norton
Robert Nozick
William of Ockham
Timothy O'Connor
David F. Pears
Charles Sanders Peirce
Derk Pereboom
Steven Pinker
Karl Popper
Huw Price
Hilary Putnam
Willard van Orman Quine
Frank Ramsey
Ayn Rand
Michael Rea
Thomas Reid
Charles Renouvier
Nicholas Rescher
Richard Rorty
Josiah Royce
Bertrand Russell
Paul Russell
Gilbert Ryle
Jean-Paul Sartre
Kenneth Sayre
Moritz Schlick
Arthur Schopenhauer
John Searle
Wilfrid Sellars
Alan Sidelle
Ted Sider
Henry Sidgwick
Walter Sinnott-Armstrong
Saul Smilansky
Michael Smith
Baruch Spinoza
L. Susan Stebbing
Isabelle Stengers
George F. Stout
Galen Strawson
Peter Strawson
Eleonore Stump
Francisco Suárez
Richard Taylor
Kevin Timpe
Mark Twain
Peter Unger
Peter van Inwagen
Manuel Vargas
John Venn
Kadri Vihvelin
G.H. von Wright
David Foster Wallace
R. Jay Wallace
Ted Warfield
Roy Weatherford
William Whewell
Alfred North Whitehead
David Widerker
David Wiggins
Bernard Williams
Timothy Williamson
Ludwig Wittgenstein
Susan Wolf


Michael Arbib
Bernard Baars
Gregory Bateson
John S. Bell
Charles Bennett
Ludwig von Bertalanffy
Susan Blackmore
Margaret Boden
David Bohm
Niels Bohr
Ludwig Boltzmann
Emile Borel
Max Born
Satyendra Nath Bose
Walther Bothe
Hans Briegel
Leon Brillouin
Stephen Brush
Henry Thomas Buckle
S. H. Burbury
Donald Campbell
Anthony Cashmore
Eric Chaisson
Jean-Pierre Changeux
Arthur Holly Compton
John Conway
John Cramer
E. P. Culverwell
Charles Darwin
Terrence Deacon
Louis de Broglie
Max Delbrück
Abraham de Moivre
Paul Dirac
Hans Driesch
John Eccles
Arthur Stanley Eddington
Paul Ehrenfest
Albert Einstein
Hugh Everett, III
Franz Exner
Richard Feynman
R. A. Fisher
Joseph Fourier
Lila Gatlin
Michael Gazzaniga
GianCarlo Ghirardi
J. Willard Gibbs
Nicolas Gisin
Paul Glimcher
Thomas Gold
Brian Goodwin
Joshua Greene
Jacques Hadamard
Patrick Haggard
Stuart Hameroff
Augustin Hamon
Sam Harris
Hyman Hartman
John-Dylan Haynes
Martin Heisenberg
Werner Heisenberg
John Herschel
Jesper Hoffmeyer
E. T. Jaynes
William Stanley Jevons
Roman Jakobson
Pascual Jordan
Ruth E. Kastner
Stuart Kauffman
Simon Kochen
Stephen Kosslyn
Ladislav Kovàč
Rolf Landauer
Alfred Landé
Pierre-Simon Laplace
David Layzer
Benjamin Libet
Seth Lloyd
Hendrik Lorentz
Josef Loschmidt
Ernst Mach
Donald MacKay
Henry Margenau
James Clerk Maxwell
Ernst Mayr
Ulrich Mohrhoff
Jacques Monod
Emmy Noether
Howard Pattee
Wolfgang Pauli
Massimo Pauri
Roger Penrose
Steven Pinker
Colin Pittendrigh
Max Planck
Susan Pockett
Henri Poincaré
Daniel Pollen
Ilya Prigogine
Hans Primas
Adolphe Quételet
Juan Roederer
Jerome Rothstein
David Ruelle
Erwin Schrödinger
Aaron Schurger
Claude Shannon
David Shiang
Herbert Simon
Dean Keith Simonton
B. F. Skinner
Roger Sperry
Henry Stapp
Tom Stonier
Antoine Suarez
Leo Szilard
William Thomson (Kelvin)
Peter Tse
Heinz von Foerster
John von Neumann
John B. Watson
Daniel Wegner
Steven Weinberg
Paul A. Weiss
John Wheeler
Wilhelm Wien
Norbert Wiener
Eugene Wigner
E. O. Wilson
H. Dieter Zeh
Ernst Zermelo
Wojciech Zurek


Free Will
Mental Causation
James Symposium

Correspondence Theory of Truth
In correspondence theory, the truth or falsity of a statement of fact is determined by its relationship to the part of the world described by the statement. This is a very old idea, at least since Plato.
Then that speech which says things as they are is true, and that which says them as they are not is false? (Cratylus, 385B)
But Socrates knew that words (names) might not be able to correspond truly to things.
Socrates. But if the primary names are to be representations of any things, can you suggest any better way of making them representations than by making them as much as possible like the things which they I are to represent? Or do you prefer the theory advanced by Hermogenes and many others, who claim that names are conventional and represent things to those who established the convention and knew the things beforehand, and that convention is the sole principle of correctness in names, and it makes no difference whether we accept the existing convention or adopt an opposite one according to which small would be called great and great small? Which of these two theories do you prefer?

Cratylus. Representing by likeness (ὁμοιώματι) the thing represented is absolutely and entirely superior to representation by chance signs. (Cratylus, 433D)

The great problem for the correspondence theory is how words and statements can possibly adequately correspond to (be like) things in the world.

Aristotle knew that our thoughts were in some sense the likenesses to things that Socrates was looking for, but can our thoughts be adequately expressed in words and statements?

Words spoken are symbols or signs of affections or impressions of the soul; written words are the signs of words spoken. As writing, so also is speech not the same for all races of men. But the mental affections themselves, of which these words are primarily signs, are the same for the whole of mankind, as are also the objects of which those affections are representations or likenesses (ὁμοιώματα), images, copies. (De Interpretatione, 16a)

The basic idea was named correspondence by early analytic language philosophers, especially Bertand Russell, the early Wittgenstein, and their followers in the Vienna Circle, Rudolf Carnap and Moritz Schlick, who had something like a picture theory of language. They hoped to find propositions (statements) that would be the "logical atoms" of verifiable knowledge of the world.

Here is how Russell connects a belief with the truth.

Thus a belief is true when it corresponds to a certain associated complex, and false when it does not. Assuming, for the sake of definiteness, that the objects of the belief are two terms and a relation, the terms being put in a certain order by the 'sense' of the believing, then if the two terms in that order are united by the relation into a complex, the belief is true; if not, it is false. This constitutes the definition of truth and falsehood that we were in search of. Judging or believing is a certain complex unity of which a mind is a constituent; if the remaining constituents, taken in the order which they have in the belief, form a complex unity, then the belief is true; if not, it is false.

Thus although truth and falsehood are properties of beliefs, yet they are in a sense extrinsic properties, for the condition of the truth of a belief is something not involving beliefs, or (in general) any mind at all, but only the objects of the belief. A mind, which believes, believes truly when there is a corresponding complex not involving the mind, but only its objects. This correspondence ensures truth, and its absence entails falsehood. Hence we account simultaneously for the two facts that beliefs (a) depend on minds for their existence, (b) do not depend on minds for their truth.

...Thus a belief is true when there is a corresponding fact, and is false when there is no corresponding fact.

It will be seen that minds do not create truth or falsehood. They create beliefs, but when once the beliefs are created, the mind cannot make them true or false, except in the special case where they concern future things which are within the power of the person believing, such as catching trains. What makes a belief true is a fact, and this fact does not (except in exceptional cases) in any way involve the mind of the person who has the belief.

Having now decided what we mean by truth and falsehood, we have next to consider what ways there are of knowing whether this or that belief is true or false. (The Problems of Philosophy, 1912, p.128-30)

But how can words in an arbitrary human language or even logical propositions represent likenesses, images, copies? Only if they are icons, and not indexes or symbols, the other two possible types of signs according to Charles Sanders Peirce's semiotic theory. Human language sentences are at best a set of symbols that evoke ideas in our minds that may have "true" likenesses to the world of objects and facts. They cannot "mirror" reality directly.

Correspondence Theory in Information Philosophy
The relations between ideas and things is much more straightforward in information philosophy.

To the extent of the correspondence, the isomorphism, the one-to-one mapping, between information structures (and processes) in the world and representative structures and functions in the mind, information philosophy claims that we have quantifiable personal or subjective knowledge of the world.

To the extent of the agreement (again a correspondence or isomorphism) between information in the minds of an open community of inquirers seeking the best explanations for phenomena, information philosophy further claims that we have quantifiable inter-subjective knowledge of other minds and an external world. This is as close as we come to "objective" knowledge, and knowledge of objects - Kant's "things in themselves."

For Teachers
Correspondence Theory of Truth, Stanford Encyclopedia of Philosophy
For Scholars

Chapter 3.7 - The Ergod Chapter 4.2 - The History of the Knowledge Problem
Part Three - Value Part Five - Problems
Normal | Teacher | Scholar