今日 藤村龍雄 「『概念記法』の言語思想(その一)」 を昨日に続きcafeで読んでいたら、BegriffsschriftというFregeの主著の題名の出典情報が書いてあった。この題名が文献上どこに由来するかは次の論文にその情報があるという。 Christian Thiel “From Leibn…

Louis Couturat The Algebra of Logic Doverから来年1月に刊行予定のよう。この本は随分前にしばらく古本屋に置いてあるのを見かけ、買おうかどうか迷ったが、失礼ながら一級の論理学書ではないしやめておこうと思ったら、そのうち店頭からなくなっていた。…

Irving M. Copi The Theory of Logical Types Patricia R. Allairea and Robert E. Bradley “Symbolical Algebra as a Foundation for Calculus: D. F. Gregory's Contribution” 1本目はType Theoryの入門書。先日からの三浦さんのラッセル本を読んでいたら…