「x:=x+1」のような命令をはじめ，プログラミング言語を仔細にみてゆくと，人間の自然言語とは異なる再帰性，記号系の自己言及が見られる．人工言語の記号論を企て，人間の記号系の本質を再考し，サントリー学芸賞，大川賞に輝いた名著を改訂してペーパーバックに． 1章　人工言語と記号論 2章　情報記号 第1部　記号のモデル 3章　バビロンの混乱 4章　記号が一体化する時 5章　「である」と「する」 第2部　記号、対象の種類 6章　文 x:=x+1 7章　三種類の項 8章　ある■・その■ 第3部　記号のシステム 9章　構造的・構成的 10章　記号と時間 11章　系の再帰と進化 12章　結　語 Semiotics of Programming Kumiko Tanaka-Ishii