2013-02-17から1日間の記事一覧

 A Derivation of the Contradiction in Frege's Grundgesetze System: Professor Michael Resnik's Property Version

酔狂なことではありますが、前回は、Frege の Grundgesetze 体系から矛盾が出てくる様子を、Michael Resnik さんの証明に従いながら見てみました。その証明では所属関係が使われていましたが、今回は所属関係を使わず、性質、属性、概念を使った証明の例を、…

Journal の Logica Universalis, Special Issue: Perspectives on the History and Philosophy of Modern Logic: Van Heijenoort Centenary, vol. 6, nos. 3-4, 2012 から、次の諸論文を入手。 Solomon Feferman ''On Rereading van Heijenoort’s Selected E…