T模式

T - 模式 （ 也叫做約定T ） 是位於 Alfred Tarski 的真理的語義理論的任何實現的核心位置的歸納定義 ， 表達了真理在邏輯運算符上的交換性 。 T - 模式經常用自然語言表達 ， 但它們很容易接納多類謂詞邏輯或模態邏輯的形式化 ； 比如叫做 T - 理論的公式化 。 T - 理論構成了哲學邏輯中很多基礎工作的基礎 ， 它們被應用於分析哲學中很多重要爭論 。 它們也是在模型論背後的基礎直覺 ； 或者說模型論實現了它們 。