記号と再帰 新装版: 記号論の形式・プログラムの必然

本書は、プログラミング言語の根幹にある人工言語の記号論を探求し、人間の言語や思考の本質に迫る、学術的にも高く評価された名著の新装版です。具体的には、「x:=x+1」のような命令文の分析を通じて、自然言語には見られないプログラミング言語特有の「再帰性」や「自己言及」といった記号システムのメカニズムを解き明かしていきます。前半では人工言語と記号論の基礎、情報記号について解説し、第I部・第II部では記号のモデルや種類を詳細に分析。第III部では、記号システム全体の構造、時間、そして系の再帰と進化といった、より高度で哲学的なテーマへと展開していきます。本書で扱われる記号論的アプローチは、プログラミング言語の設計思想や、論理的思考、さらには人間の知性の根源への理解を深めるための強力な視点を提供します。プログラマーだけでなく、言語学、哲学、認知科学など、文理を超えて知的好奇心を刺激される読者にとって、自身の専門分野を再考し、新たな発見をもたらすユニークな知的体験となるでしょう。サントリー学芸賞、大川出版賞受賞という権威ある評価も、本書の学術的な深さと独創性を裏付けています。