Incognito0 https://blog.hatena.ne.jp/Incognito0/ Asinus's blog https://incognito0.hatenablog.com/ 数理論理学 ドイツの論理学者・哲学者であるポール・ローレンツェン(Paul Lorenzen 1915~1994)の仕事はざっくり大きく二つの時期に分けられる1。一つはゲーム意味論に取り組む前の"Einführung in die operative Logik und Mathematik", 1955を主要な成果とするような操作的論理の時期である。もう一つは論文としては"Logik und Agon", 1958から始まる(証明論的な)ゲーム意味論の時期である2。 ゲーム意味論関連の彼の著作の中でも操作的論理の理論に現れていたような説明はよく用いられている。その意味でこれら二つのアプローチには連続性が… 190 <iframe src="https://hatenablog-parts.com/embed?url=https%3A%2F%2Fincognito0.hatenablog.com%2Fentry%2F2020%2F10%2F19%2F183346" title="ローレンツェンのゲーム意味論への転回 - Asinus&#39;s blog" class="embed-card embed-blogcard" scrolling="no" frameborder="0" style="display: block; width: 100%; height: 190px; max-width: 500px; margin: 10px 0px;"></iframe> Hatena Blog https://hatena.blog 2020-10-19 18:33:46 rich https://incognito0.hatenablog.com/entry/2020/10/19/183346 1.0 100%