2013-02-17から1日間の記事一覧
酔狂なことではありますが、前回は、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…