Find link

language:

Find link is a tool written by Edward Betts.

searching for Truth predicate 10 found (326 total)

Boolean-valued function (314 words) [view diff] exact match in snippet view article find links to article

sign or syntactic expression. In formal semantic theories of truth, a truth predicate is a predicate on the sentences of a formal language, interpreted for

Deflationary theory of truth (3,111 words) [view diff] exact match in snippet view article find links to article

of a theory of truth which attempted to systematically define the truth predicate out of existence is attributable to F. P. Ramsey. Ramsey argued, against

Dialetheism (1,504 words) [view diff] exact match in snippet view article find links to article

advocating constructive (methodological) deflationism regarding the truth predicate. The term was coined by Graham Priest and Richard Sylvan (then Routley)

Saul Kripke (6,551 words) [view diff] exact match in snippet view article find links to article

expressions in a language that do not contain the truth predicate, and defining a truth predicate over just that segment: this action adds new sentences

Pragmatic theory of truth (5,273 words) [view diff] exact match in snippet view article find links to article

truth-bearers. This judgment is typically expressed in the form of a specific truth predicate, whose positive application to a sign, or so on, asserts that the sign

Anil Gupta (philosopher) (1,338 words) [view diff] exact match in snippet view article

theory is a semantic theory of truth that combines an unrestricted truth predicate with classical logic. Revision theory takes truth to be a circular

Crispin Wright (1,232 words) [view diff] exact match in snippet view article find links to article

with identity. There need only be some principles regarding how the truth predicate can be applied to a sentence, some 'platitudes' about true sentences

Revision theory (6,640 words) [view diff] exact match in snippet view article find links to article

supposed to reflect intuitive evaluations of sentences that use the truth predicate. Some sentences are stable in their evaluations, such as the truth-teller

Joan Weiner (557 words) [view diff] no match in snippet view article find links to article

retrieved 2021-02-06 Greimann, Dirk (April 2008), "Does Frege use a truth-predicate in his 'justification' of the laws of logic? A comment on Weiner",

Sergei N. Artemov (943 words) [view diff] exact match in snippet view article find links to article

1016/0168-0072(94)90007-8. S. Artemov (1985). "Non-arithmeticity of truth predicate logics of provability". Soviet Mathematics Doklady. 32 (2): 403–405