T図式

T図式（ティーずしき、、真理図式（truth schema）。「規約T」と混同してはならない）は、真理の帰納的定義が妥当であるかを検査するために用いられ、アルフレト・タルスキの真理の意味論的理論のいかなる実現の核心にも位置する。一部の著者はこれを「同値図式（Equivalence Schema）」と呼ぶ。これはマイケル・ダメットによって導入された同義語である。

T図式はしばしば自然言語で表現されるが、多ソート述語論理や様相論理において形式化することもできる。そのような形式化は「T理論」と呼ばれる。T理論は哲学的論理学における多くの基礎的研究の土台をなし、そこでは分析哲学におけるいくつかの重要な論争に適用される。

半自然言語で表現すると（ここで「S」は S と略記される文の名前である）、「S」が真であるのは、S であるとき、かつそのときに限る。

例：「雪は白い」が真であるのは、雪が白いとき、かつそのときに限る。

帰納的定義

この図式を用いることで、複合文の真理について帰納的定義を与えることができる。原子文には、引用解除的に真理値が割り当てられる。例えば、「『雪は白い』は真である」という文は、「雪は白い」という文と実質的に同値になる。すなわち、「雪は白い」が真であるのは、雪が白いとき、かつそのときに限る。言い換えれば、「A」という形式の文が真であるのは、A が真であるとき、かつそのときに限る。より複雑な文の真理は、その文の構成要素によって定義される。「A かつ B」という形式の文が真であるのは、A が真であり、かつ B が真であるとき、かつそのときに限る。「A または B」という形式の文が真であるのは、A が真であるか、または B が真であるとき、かつそのときに限る。「もし A ならば B」という形式の文が真であるのは、A が偽であるか、または B が真であるとき、かつそのときに限る。実質含意を参照。「A でない」という形式の文が真であるのは、A が偽であるとき、かつそのときに限る。「すべての x について、A(x)」という形式の文が真であるのは、x のすべての可能な値について A(x) が真であるとき、かつそのときに限る。「ある x について、A(x)」という形式の文が真であるのは、x のある可能な値について A(x) が真であるとき、かつそのときに限る。これらの基準のすべてを満たす真理の述語は「充足クラス（satisfaction classes）」と呼ばれ、これはしばしば固定された言語（ペアノ算術の言語など）に関して定義される概念である。これらのクラスは、真理という概念の許容可能な定義とみなされるH. Kotlarski, Full Satisfaction Classes: A Survey (1991, Notre Dame Journal of Formal Logic, p.573). Accessed 9 September 2022.。

自然言語

ジョゼフ・ヒースは、「タルスキのT図式によって提供される真理述語の分析は、自然言語における真理述語のすべての出現を扱うことができるわけではない。とりわけ、T図式は述語の『自立した』使用——完全な文に適用される場合——のみを扱う」と指摘する。彼は「明白な問題」として次の文を挙げる。ビルが信じることはすべて真である。ヒースは、この文をT図式を用いて分析すると、論理的双条件法の右辺に「ビルが信じることすべて」という文断片が生成されると論じる。

Źródło i licencja