田中久美子（2010）『記号と再帰 記号論の形式・プログラムの必然』東京大学出版会
二元論では使用は記号モデルの外に配置され、使用によって生成される記号の意味は記号系の全体論的価値を為した。一方の三元論では使用は記号モデルの内側に含められた。（中略）二元論では、記号はよその記号から呼ばれ、呼んだ記号がまた別の記号から呼ばれることを繰り返して記号過程が生成されたのに対し、三元論では、記号の解釈項を自身が呼び、解釈項がさらに記号を為すのでさらにその解釈項を呼び、というように記号過程が生成された。（本書 p.78）
構造的な記号系では意味が明示的ではないため、記号の意味はいつもある程度曖昧であり、他の記号との重なりもある。（中略）したがって、ある記号が一つ削除されたからといって、すべての系が動かなくなることはなく、同じとまではいかなくとも、補強を要しつつも何とか系全体が動き続ける。一方で構成的な記号系では、記号は投機的に導入されても最終的には明示的で曖昧性のない内容となるように導入されなければならない。（本書 p.183）
本書はプログラムに用いられるような機械語を通して、元来おもに自然言語の俎上でしか論じられてこなかった記号論の新たな世界を切り開いた。2010年度のサントリー学芸賞受賞作であるが、その評でも少しふれられているとおり、本書は従来の区切りからすると理系の本である。参考文献の書き方や論の進め方といったスタイルから、必要とされる基礎知識まで、理系の教育を受けてきた人のほうがすんなり読めるのではないかと思う。私のように、高校の数学の時間に教師が「私の時代はプログラムは無かったから…」と言ってそこは飛ばされて教わったような、浅学の身には少々荷が重い。
ただ、プログラムを知らなかったらまったく読めないというわけでもない。基本的な路線としては、関数がデータ構造に外在する関数型プログラミングと、内在するオブジェクト指向プログラミングの違いと二元論と三元論の違いをみて、その位置づけを探り、オブジェクト指向プログラミングと自然言語でよくおこなわれる再帰について分析を行うという形をとっている。前者は解釈方法が開示された開かれた系であり、後者は開示されていない閉じた系であることに差がある。
本書を読んでいる間、ずっと感じていたのが、プログラムで用いられる機械語は、自律的な変化を伴わない静的な言語なので、これまでの記号論（少なくともソシュールは）前提としてきた自然言語と同列で語っていいのか、という疑問であった。すなわち、サピアのいうドリフトが起きない言語、フンボルトのいうエネルゲイアとしての言語ではなく、エルゴンとしての言語を対象としているのではないかという疑問である。
しかし、上記の引用の個所でこの疑問は氷解した。ひとつに、ソシュールは言語研究はラングを対象とすると同時に、共時態と通時態の両方をみるようにと言っている。そうすれば、本書では取り急ぎ共時態の側面をみているということになるので、問題はない。エネルゲイアの問題については本書のかなり最後のほうで触れられるコンパイラの話や自動生成プログラムの話が関連するだろう。私にとってもっとも大きな収穫は、自然言語は閉じた系であるために、言語のルール（ラング）を共有している人々の間ですら解釈系が共有されず、相手の反応から相手の解釈系を勝手に解釈しているにすぎない。それが反射して自らのランガージュに跳ね返ってくるという再帰的な行為を行っているのだけれども、ここにエネルゲイアの源泉があり、ドリフトのトリガーがあるのだろう。