「なぜ意味論は「プロセス」を含むか -表示意味論／領域理論をめぐって」（岡本賢吾） - あいまいな本日の私 blog

科学哲学40-2(2007) pp.23-39. 計算機科学で使われる表示意味論と、特に領域意味論に注目し、領域意味論の有限データ性とブラウワーの連続性概念が似ていることを指摘した後、領域意味論もある意味で生成的／プロセス的といえる観点から数学的構造を再構成しようとしているので両者が似ているように見えるのは決して偶然ではないと主張する。そして、そのプロセス的な視点からの数学的構造の再構成の例として、コンパクト元を付け加える操作をあげる*1。コンパクト元は、本来数学的構造の中にインフォーマルに埋め込まれていた要素の明示化にあたり、数学の中に埋め込まれていた言語的活動の表現である*2。 *1:例えば をcpoと見なしたとき がコンパクト元にあたる。というのも 自身は前者を持たないため到達可能ではないが、は前者から到達可能。 *2:任意の自然数に対してあるが存在して(*)となるが、はを満たすとい

[kgbu]

Brauerの立場と、領域理論のつながりに関する論文らしいが、論じきるには紙幅が足りないという状態だったらしい。