パラドックス研究会 "Reducing Revenge to Discomfort" (T.Maudlin) (2)

出席者3人、報告者は引き続きSさん。MaudlinはKleene三値論理を採用し、真理述語の導入・除去規則を維持したまま、⇒と¬の導入・除去規則を制限し、真理値が ungrounded の時には⇒と¬の導入規則が適用出来ないようにする。これで話が終わりかと思ったら、最後の最後で、Maudlin は Kripkeの真理理論のTrue* の議論をした後に ungrounded な文には真理述語の導入規則を制限すると主張し、研究会参加者全員のけぞる。そして論文はMaudinの盛大な言い訳で終了。