現代数学の系譜工学物理雑談古典ガロア理論も読む62

現代数学の系譜工学物理雑談古典ガロア理論も読む62at MATH

現代数学の系譜工学物理雑談古典ガロア理論も読む62 - 暇つぶし2ch218:本があったね（＾＾下記PDF、これに関連していて、図が多くて、面白いかも。竹内先生の本で見たような図もあるかなスティーブ・アウディ先生は、圏論の訳本があったね 1 階様相論理だが、ヒットしたので貼る https://repository.kulib.kyoto-u.ac.jp/dspace/bitstream/2433/56973/1/awodey_kishida.pdf 位相と様相 ―1 階様相論理への拡張― 科学哲学科学史研究 (2006), 1: 91-108 スティーブ・アウディ* 岸田功平** * カーネギーメロン大学哲学科 awodey@cmu.edu ** ピッツバーグ大学哲学科博士課程 kok6@pitt.edu; kkishida@andrew.cmu.edu フルブライト奨学金大学院留学プログラムの支援による． (抜粋) ブール代数のストーン表現定理を拡張することによって位相空間が命題様相論理に意味論を与えることはタルスキの仕事以来知られている．具体的には，体系 S4 の規則に従う必然性様相を位相空間での開核演算によって解釈することができる．ただしこの結果は命題様相論理に限ったものであって，この解釈（位相空間の開核による）がそのまま 1 階様相論理にまで拡張されることはこれまでなかった．この拡張がいかに可能かを示すことが本稿の目的である． (引用終り)

次ページ

続きを表示

1を表示