１．基本問題：what are truths？what (if anything) makes them true？世界の構造との対応？共同体の是認？検証可能性？有用性？・・

２．what are truths？

形而上学（存在論）―世界に何が存在するかについての理論―：「真」を定義する際、存在論を要請する必要があるか、必要があるとすればどのような存在論か？存在論なしですますことができるか？

対応説：事実との対応、「事実」を仮定（世界は諸事実から成る）

初期のムーア、ラッセルの苦闘：真な命題＝事実（同一説(identity theory)）、

この定義では、偽な命題＝？〔影事実？〕

存在論：世界は事実と影事実とから成る

—（これを嫌い）対応説へ移行

[膨張説(inflationism)] 言葉を尽くして「真である」を定義する

A. 対応説（correspondence theory）：a belief is true if there exists an appropriate entity—a fact—to which it corresponds. If there is no such entity, the belief is false.

信念は、それに対応するもの（事実）が存在すれば、真、対応するものが存在しなければ偽

Tarski's theory of truth（現代真理論の標準―タルスキー本人は対応説と解釈）

‘Snow’ refers to snow. (reference)

“a” satisfies ‘is white’ if and only if a is white. (satisfaction)

For any atomic sentence ⌈ t is P ⌉ :

⌈ t is P ⌉ is true if and only if the referent of ⌈ t ⌉ satisfies ⌈ P⌉.

Recursion clauses. For any sentences φ and ψ of L:

⌈ φ ∨ ψ ⌉ is true if and only if ⌈ φ ⌉ is true or ⌈ ψ ⌉ is true.

⌈ ¬φ ⌉ is true if and only if it is not the case that ⌈ φ ⌉ is true.

B. 斉合説（coherence theory）：a proposition is true if it coheres (or agrees) with other propositions we already hold to be true.

（ムーアたちの論敵British idealistsが採用していた真理論）

命題は、真としてわれわれが受け入れている他の諸命題と斉合すれば、真

C. プラグマチズム説(pragmatist theories)： William James and C.S. Pierce; a proposition is true if it is useful to believe it. those propositions that best justify what we do and help us to achieve what we are aiming at are true. 真である＝われわれの実践を最もよく導く

[収縮説（deflationism）] 存在仮定を可能な限り切りつめる、できたら存在仮定なしで「真である」を説明する

Frege (1918–19) にあり

A. 余剰説（redundancy theory）

Ramsey (1927)：the equivalence thesis:

「「 φ 」 is true」has the same meaning as φ.

＜「 φ 」は真＞は φと同じ意味をもつ

Strawson (1949; 1950)

To assert that 「 φ 」 is true is just to assert that φ.

＜「 φ 」は真＞と主張すること＝φと主張すること

B. 最小主義（minimalist theories） Horwich (1990)

For a given language L and every φ in L, the biconditionals

「「 φ 」 is true if and only if φ」 hold by definition (or analytically, or trivially, or by stipulation …).

This is all there is to say about the concept of truth.

C. Disquotationalism

Quine

An attribution of truth to a sentence undoesはずすthe effects of the quotation marks that have been used to form sentences: Sentence "S" is true if and only if S.

D.代文説（prosentential theory)

Grover, 他(1975), Grover (1992) ,Brandom (1994)

名詞―代名詞、文―代文

Prosentential theorists claim that sentences such as "That is true" are prosentences that function analogously to their better known cousins—pronouns. For example, just as we might use the pronoun 'he' in place of 'James' to transform "James went to the supermarket" into "He went to the supermarket," so we might use the prosentence-forming operator 'is true' to transform "Snow is white" into "'Snow is white' is true." According to the prosentential theory of truth, ｔo assert that a sentence is true is simply to assert or reassert that sentence.

[真理についての多元主義（pluralism about truth）]

Lynch (2001b; 2009), Wright (1992; 1999)

in certain domains of discourse what we say is true in virtue of a correspondence-like relation, while in others it is its true in virtue of a kind of assertibility relation that is closer in spirit to the anti-realist views.

：there are multiple concepts of truth, or that the term ‘true’ is itself ambiguous.

＊＊

真理論は間口が広い。クリスチャンにとって「イエス・キリストは神である」が真、他宗派の人にとって別の命題が真。諸真理の争いが宗教戦争であり、科学と教会との長年の闘争である。

（哲学的、分析的？）真理論は（多元主義を除けば）、膨張説と収縮説に大別される。最近私は、「ソクラテスが人間の集合に属す」が成り立つ、「ソクラテスは人間の集合に属すとともにリンゴの集合に属す」が成り立たない、が言えるための存在論（各種の集合の存在を認める）にとくに困難を感じない。しかし、収縮説はシンプルで魅力的。

その一つ、代文説によれば、「φ」は真、と主張するのは、単に、「φ」と再主張すること。

ためしに収縮説的観点をとってみよう。

私が思いつくのは次;

「φ」は真、ならば、「φ」を以後の証明の前提として使ってよい、あるいは、以後の公共的議論の前提として使用して良い。

（「雪が白い」が真ならば、会話の中で「雪が白い」を自由に使ってよい。逆に言えば、会話の中で「雪が白い」を自由に使えないのならば、「雪が白い」は真ではない。「冥王星は惑星である」は現在会話の前提として自由に使えない。よって、「冥王星は惑星である」は真ではない。）

これをテーゼ化すると；

「φ」を以後の証明の前提として使ってよい場合に限り「φ」は真。

「 φ 」 is true only if we can use 「 φ 」 as a presupposition of proofs (or arguments).