曇りなき眼で見定めブログ
id:cut_elimination
線形論理を研究するモチベーションとは?
私の所属する某超一流大学哲学研究室の懇親会に出た際、後輩から「線形論理を研究するおおまかなモチベーションは何か?」的なことを訊かれた。その後輩は(メタ)倫理学をやっていて、倫理学のおおまかなモチベーションは「何がよいことか?」「どんな規範に従うべきか?」というようなことだと言っていた。となるとじゃあ…