2020-10-19から1日間の記事一覧
ドイツの論理学者・哲学者であるポール・ローレンツェン(Paul Lorenzen 1915~1994)の仕事はざっくり大きく二つの時期に分けられる1。一つはゲーム意味論に取り組む前の"Einführung in die operative Logik und Mathematik", 1955を主要な成果とするような操…
ドイツの論理学者・哲学者であるポール・ローレンツェン(Paul Lorenzen 1915~1994)の仕事はざっくり大きく二つの時期に分けられる1。一つはゲーム意味論に取り組む前の"Einführung in die operative Logik und Mathematik", 1955を主要な成果とするような操…