当ブログは論理学とアニメを両輪とするはずが、気付けばアニメばかりになっている! アイデンティティの危機である。何故アニメばかりになったのかというと書きやすいからである。論理学記事は数式を打つのが面倒臭い。また私の専門(?)分野である証明論は証明図というのを書かねばならず、これがはてなブログだと難しい。
そんで考えたのだが、最近は証明論に加えて代数的な意味論というのを勉強していて、これならちょっとずつでも書けそうな感じ。なのでこれをテーマにいろいろ書きたい所存。
日本のネット上には論理学や数学基礎論の専門家はそこそこいるが、私のような非古典論理・部分構造論理の証明論・代数的意味論をやっている人間はめっちゃ少ない。まあそれはぶっちゃけブームが去っているからだが、しかし研究すべきことがなくなったというわけでもないと思う。
とりあえず今回は最初なので基本中の基本である順序集合の定義と例でも書きまっせ。
まず を集合とする。「関係」の定義の話までしだすとややこしいのでそこは曖昧にし、要するに という記号が の任意の要素 について以下の二つを満たすとする。
- 反射律:
- 推移律: かつ ならば
このとき対 は前順序集合であるという(このとき は前順序であるという。以下でも同様に〇〇順序集合の を〇〇順序という)。
前順序集合がさらに次を満たすとする。
- 反対称律: かつ ならば
このとき対 は半順序集合または順序集合であるという。
順序集合がさらにさらに次を満たすとする。
- (有名な名前がない): または
このとき対 は全順序集合または線形順序集合であるという。
例を考えましょう。
自然数をすべて集めた集合 *1 に、普通の数の大小の関係 を合わせた は全順序集合になる(全順序集合は順序集合だし前順序集合でもある)。どの数も大小比較が可能なので四つめの法則を満たす。推移律と反対称律もよい。反射律なのだが、どの自然数も なのだが、順序を でなく <*2 にすると成り立たない。よって < は全順序集合でも順序集合でも前順序集合でもない。
順序集合の典型例はベキ集合と包含関係である。 は順序集合になる。 というのはあらゆる自然数の集合を集めたものね。 と といった集合の間には包含関係がなく、全順序集合にならない。順序集合はもちろん前順序集合でもある。
前順序集合の例として最適なのが論理的帰結関係である(唐突な例だが)。 をすべての論理式の集合とし、 を「 が真ならば も真である」と定義すると、 は前順序集合となる。 と のように 、 と両方向に が言える、すなわち論理的に同値だが、等しくない論理式がある。よって反対称律を満たさないのでこれは順序集合ではない。
みたいな感じで書いていきますね。
↓続きはこちら
cut-elimination.hatenablog.com
非古典論理・部分構造論理の代数的意味論が解説されている日本語の入門書と言えば古森&小野先生の『現代数理論理学序説』。