mathematics

T-schema

T-schema is a mathematics topic covered in the lgStudy science library. This page brings together a partial reference excerpt, illustrations, worked examples, real-world applications and a short study plan, so you can understand T-schema rather than just read about it. In short: The T-schema ("truth schema", not to be confused with "Convention T") is used to check if an inductive definition of truth is valid, which lies at the heart of any realisation of Alfred Tarski's semantic theory of truth. Some authors refer to it as the "Equivalence Schema", a synonym introduced by Michael Dummett.

Key takeaways

T-schema belongs to mathematics; place it in that map before memorising details.
Learn the definition first, then one example that makes the definition concrete.
Connect T-schema to a quantity you can measure, compute or draw — that is where exam questions come from.
Reproduce the core statement of T-schema from memory before moving on to harder problems.

Reference excerpt

The T-schema ("truth schema", not to be confused with "Convention T") is used to check if an inductive definition of truth is valid, which lies at the heart of any realisation of Alfred Tarski's semantic theory of truth. Some authors refer to it as the "Equivalence Schema", a synonym introduced by Michael Dummett. The T-schema is often expressed in natural language, but it can be formalized in many-sorted predicate logic or modal logic; such a formalisation is called a "T-theory." T-theories form the basis of much fundamental work in philosophical logic, where they are applied in several important controversies in analytic philosophy. As expressed in semi-natural language (where 'S' is the name of the sentence abbreviated to S): 'S' is true if and only if S. Example: 'snow is white' is true if and only if snow is white.

The inductive definition By using the schema one can give an inductive definition for the truth of compound sentences. Atomic sentences are assigned truth values disquotationally. For example, the sentence "'Snow is white' is true" becomes materially equivalent with the sentence "snow is white", i.e. 'snow is white' is true if and only if snow is white. Said again, a sentence of the form "A" is true if and only if A is true. The truth of more complex sentences is defined in terms of the components of the sentence:

A sentence of the form "A and B" is true if and only if A is true and B is true A sentence of the form "A or B" is true if and only if A is true or B is true A sentence of the form "if A then B" is true if and only if A is false or B is true; see material implication. A sentence of the form "not A" is true if and only if A is false A sentence of the form "for all x, A(x)" is true if and only if, for every possible value of x, A(x) is true. A sentence of the form "for some x, A(x)" is true if and only if, for some possible value of x, A(x) is true. Predicates for truth that meet all of these criteria are called "satisfaction classes", a notion often defined with respect to a fixed language (such as the language of Peano arithmetic); these classes are considered acceptable definitions for the notion of truth.

Natural languages Joseph Heath points out that "the analysis of the truth predicate provided by Tarski's Schema T is not capable of handling all occurrences of the truth predicate in natural language. In particular, Schema T treats only "freestanding" uses of the predicate—cases when it is applied to complete sentences." He gives as an "obvious problem" the sentence:

Everything that Bill believes is true. Heath argues that analyzing this sentence using T-schema generates the sentence fragment—"everything that Bill believes"—on the righthand side of the logical biconditional.

See also Principle of bivalence Law of excluded middle

References

External links Zalta, Edward N. (ed.). "Tarski's Truth Definitions". Stanford Encyclopedia of Philosophy. ISSN 1095-5054. OCLC 429049174. Zalta, Edward N. (ed.). "Consequences of the Semantic Paradoxes". Stanford Encyclopedia of Philosophy. ISSN 1095-5054. OCLC 429049174.

Worked examples

Example 1 — a first encounter with T-schema

Start with the simplest possible case. Write down what T-schema claims or describes in one sentence, then invent the smallest concrete situation in which that sentence is true. In mathematics, the smallest case is usually a single object, a single equation or a single measurement. Check that every symbol or term in your sentence has a meaning in that case.

Example 2 — changing one variable

Take the situation from Example 1 and change exactly one quantity: double it, halve it, or set it to zero. Predict what should happen to T-schema before you calculate. Comparing your prediction with the result is the fastest way to find out whether you understand the idea or only the words.

Example 3 — an exam-style question

Typical questions about T-schema ask you to (a) state it precisely, (b) apply it to given data, and (c) explain a limitation. Practise writing all three answers in under five minutes; the third part is what separates a full-mark answer from an average one.

Applications of T-schema

In research: T-schema appears in mathematics research whenever the underlying quantities have to be modelled precisely. Papers usually cite it as a starting assumption and then explore where it breaks down.
In technology and industry: Engineering practice reuses T-schema in design rules, simulations and safety margins. Knowing the idea lets you read a specification sheet and understand why the numbers look the way they do.
In the classroom: T-schema is common in secondary-school and first-year university syllabi. It links to neighbouring topics Logical expressions, Mathematical logic, Philosophical logic, so understanding it makes those chapters shorter.
In everyday life: Look for T-schema outside the textbook — in sport, cooking, traffic, electronics or the sky above you. An example you found yourself is remembered far longer than one you were given.

Affiliate

Preply — study more efficiently by working with a personal tutor. 50% off.

How to study T-schema in 20 minutes

Read the reference excerpt below once, without taking notes.
Close the page and write down what T-schema means in your own words.
Compare your version with the excerpt and mark what you missed.
Work through the three examples above with pen and paper.
Explain T-schema out loud to somebody else — or to Teacher Smith in the lgStudy chat.

Frequently asked questions

What is T-schema in simple terms?

Why does T-schema matter?

Because it connects several mathematics ideas at once: it gives you a definition you can apply, a quantity you can calculate, and a way to check whether a result is plausible.

How should I study T-schema?

Read the excerpt, restate it from memory, then work through the examples and applications listed on this page. The five-step study plan above takes about twenty minutes.

What does this page cover?

It gives you a compact reference excerpt plus original lgStudy explanations, examples, applications and study material on T-schema.