2010-06-13から1日間の記事一覧

 Frege's Proof of Referentiality and Church-Rosser Theorem

昨日と今日で、某学会に行こうかと思っていたのですが、体調が思わしくないので、急遽取り止めにしました。 その学会では以下の発表を取り分け拝聴させていただきたいと考えていました。 大西琢朗 「フレーゲの「論理」」 この大西先生の発表はとても興味深…

最近入手した文献の名前を掲げます。 まず Frege 関係。 大西琢朗 「概念記法と概念形成」、京都大学大学院文学研究科21世紀COEプログラム「グローバル化時代の多元的人文学の拠点形成」編、『人文知の新たな総合に向けて 第5回報告書 上巻』、京都大学大学…