2014-11-24から1日間の記事一覧

 How Does Kripke Get Over Quine's Objections to Quantified Modal Logic?: A Rough Outline.

以下に記しますことは、個人的な memorandum です。表題の疑問に対し、その答えをただ素描するだけのものです。何か original なことを述べたりするものではありません。単によく知られていることを手短にまとめているだけです。加えて以下では Quine さんや…

洋書 Stewart Shapiro Varieties of Logic, Oxford University Press, 2014, Gonzalo Rodriguez-Pereyra Leibniz's Principle of Identity of Indiscernibles, Oxford University Press, 2014, J. Barkley Rosser Logic for Mathematicians, Dover Publicati…