Talk:T-schema
From Wikipedia, the free encyclopedia
 |
This article is within the scope of the Philosophy WikiProject, which collaborates on articles related to philosophy and the history of ideas. Please read the instructions and standards for writing and maintaining philosophy articles. 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 Project's quality scale. (If you rated the article please give a short summary at comments to explain the ratings and/or to identify the strengths and weaknesses.) |
|
[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)
