2010年 第32回 サントリー学芸賞・思想・歴史部門受賞
2010年 第19回 大川出版賞受賞

人工言語の記号論を企て、人間の記号系の本質を再考する。文理を超える野心的な試み。

第１部　記号のモデル（バビロンの混乱
記号が一体化する時
「である」と「する」）
第２部　記号の種類（文ｘ：＝ｘ＋１
三種類の項
ある■・その■）
第３部　記号のシステム（構造的・構成的
記号と時間
系の再帰と進化）

再帰性の概念を軸に、プログラミング言語の記号論を企て、自然言語と対比する斬新な試み。