Loading article…
Tスキーマ（「真理スキーマ」、ただし「規約T 」とは混同しない）は、真理の帰納的定義が妥当であるかどうかを確認するために使用され、これはアルフレッド・タルスキの真理の意味論的理論の実現の中核をなすものです。一部の著者はこれを「等価スキーマ」と呼んでおり、これはマイケル・ダメットによって導入された同義語です。[ 1 ]
Tスキーマは自然言語で表現されることが多いが、多ソート述語論理や様相論理で形式化することもできる。このような形式化は「 T理論」と呼ばれる。T理論は哲学論理学における多くの基礎研究の基盤となっており、分析哲学におけるいくつかの重要な論争にも応用されている。
半自然言語で表現すると（ここで「S」は文の名前をSと略記したもの）： 「S」はSの場合に限り真である。
例：「雪は白い」という命題は、雪が白い場合に限り真である。
このスキーマを用いることで、複合文の真偽を帰納的に定義することができる。原子文には、引用符を外すことで真偽値が 割り当てられる。例えば、「『雪は白い』は真である」という文は、「雪は白い」という文と実質的に等価となる。つまり、「雪は白い」は、雪が白い場合に限り真である。言い換えれば、「A」という形式の文は、Aが真である場合に限り真である。より複雑な文の真偽は、文の構成要素によって定義される。
これらの基準をすべて満たす真理の述語は「充足クラス」と呼ばれ、固定された言語（ペアノ算術の言語など）に関して定義されることが多い概念です。これらのクラスは真理の概念の許容可能な定義と考えられています。[ 2 ]
ジョセフ・ヒースは、「タルスキのスキーマTによって提供される真理述語の分析は、自然言語における真理述語のすべての出現に対応できるわけではない。特に、スキーマTは述語の『独立した』使用、つまり完全な文に適用される場合のみを扱う」と指摘している。[ 3 ]彼は「明らかな問題」として次の文を挙げている。
ヒースは、この文をTスキーマを使って分析すると、論理双条件文の右辺に「ビルが信じていることすべて」という文断片が生成されると主張している。