| | Truth [Internet Encyclopedia of Philosophy] (Site not responding. Last check: 2007-10-12) |
 | | Although everyone would agree that influential people — the movers and shakers — have profound effects upon the beliefs of other persons, the controversy revolves around whether the acceptance by others of their beliefs is wholly a matter of their personal or institutional prominence. |
 | | In the 1920s, David Hilbert hoped to represent the sentences of arithmetic very precisely in a formal language, then to generate all and only the theorems of arithmetic from uncontroversial axioms, and thereby to show that all true propositions of arithmetic can in principle be proved as theorems. |
 | | In effect, Kripke's 'repair' permits a definition of the truth-predicate within its own language but at the expense of allowing certain violations of the law of excluded middle. |
| www.iep.utm.edu /t/truth.htm (9250 words) |