プログラミング言語という人工言語の記号論を企て、人間の記号系の本質にせまる。第３２回サントリー学芸賞（思想・歴史部門）、第１９回大川出版賞を受賞した、文理を超える試みの書を改訂した決定版。