2011-08-08から1日間の記事一覧

 C. I. Lewis' Logic in his ''Implication and the Algebra of Logic'' Collapses into Two-Valued Classical Logic

先日、調べ物をしていて、以下の文献の前半を読んでいたら、私の知らなかったことを教えられた。 Alasdair Urquhart ''Anderson and Belnap's Invitation to Sin,'' in: Journal of Philosophical Logic, vol. 39, no. 4, 2010 教えられたことというのは、現…

まず、入手した洋書から。 Katalin Bimbó Combinatory Logic: Pure, Applied and Typed, CRC Press, Discrete Mathematics and Its Applications Series, 2011 次に論文。 Solomon Feferman ''A Language and Axioms for Explicit Mathematics,'' in J. N. C…

Oskari Kuusela and Marie McGinn ed. The Oxford Handbook of Wittgenstein, Oxford University Press, Oxford Handbooks in Philosophy Series, Due in October 2011