2005年出版。読者の間では「赤本」という愛称で呼ばれています。「論考」（2000年出版）で検討した構文論・意味論を前提にして、「赤本」では カルナップ 氏の説を参考にし、「L-真」（導出的な真）と「F-真」（事実的な真）を導入しました。「赤本」を執筆して、再び、「意味の対象説」と「意味の使用説」との併存を強く意識しました。それらの説を矛盾しないで併存できる体系を立てた著作が、2009年に出版した「いざない」です──「いざない」では、モデル の完全性を 「合意された語意 → L-真の構成 → F-真の験証」という手続きとして実現しました。「赤本」で（Ｔ字形 ER法の名前を変更して）「TM」という呼称を使いました。