How was the Proof of Ex Contradictione Quodlibet Discovered in the West?: A Tentative Sketch.

C. I. Lewis

目次 0. はじめに 1. Ex Contradictione Quodlibet 2. Abelard's Embarrassing Argument from Opposites: The Inference Rules. 3. Abelard's Embarrassing Argument from Opposites: The Argument. 4. Alberic's Counterargument 5. The Proof of Ex Contra…

#Ex Falso Quodlibet

2011-08-19

　C. I. Lewis' Logic in his A Survey of Symbolic Logic Collapses into Two-Valued Classical Logic

C. I. Lewis

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

2011-08-08

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

C. I. Lewis

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