本日の日記は2011年8月8日の日記 ''C. I. Lewis' Logic in his ''Implication and the Algebra of Logic'' Collapses into Two-Valued Classical Logic'' の続きです。前回と同様、目新しい記述はございません。 さて、様相論理を批判した人に Quine さんが…

Dana Scott ''Combinators and Classes,'' in: λ-Calculus and Computer Science Theory: Proceedings of the Symposium Held in Rome March 25–27, 1975, Springer, Lecture Notes in Computer Science, 37, 1975 Ditto ''Some Philosphical Issues Concern…