Talk:T-schema

From Wikipedia, the free encyclopedia

[edit] The term 'T-schema' does not refer to the inductive definition of truth due to Tarski

This article is based on a (rather common) mistake: confusing the T-schema and the definition of truth given by Tarski. The T-schema is an adequacy condition which the definition of truth must satisfy, but it does not itself constitute a definition of truth. I will re-write this article to correct the mistake when I have the time if no one else will. Aatu 21:35, 13 December 2005 (UTC)

Quite, but there's not much harm in the confusion, since given appropriate assumptions in set theory, the T-schema uniquely determines an inductive truth valuation. I'm all in favour of clairty, but I'm not into overlabouring distinctions without a difference. --- Charles Stewart 03:59, 9 January 2006 (UTC)

[edit] Convention T vs. T-schema

An anonymous editor switched this article to the former: my instinct is that the latter is much more common. The Google test with the additional term "Tarski" (to avoid convention t-shirts and the like) suggests my intuition is well-founded. I'm changing the article back. --- Charles Stewart 03:59, 9 January 2006 (UTC)