Talk:T-schema
From Wikipedia, the free encyclopedia
 |
This article is within the scope of the WikiProject Philosophy, which collaborates on articles related to philosophy. To participate, you can edit this article or visit the project page for more details. | ||||||||
| Stub | This article has been rated as Stub-Class on the quality scale. | ||||||||
| ??? | This article has not yet received an importance rating on the importance scale. | ||||||||
|
|||||||||
[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)
