曇りなき眼で見定めブログ

私は現代最高のロジシャンはJean-Yves Girardだとガチで思っている。 ジラール先生の論文や本は、理論的なものであっても個人の論理に対する考えが混入していることがよくあるように思う。時には本線のテクニカルな議論からやや離れたお話のようなことが書かれていることもある。そういうところはテクニカルなロジックの文…