前回の続き（って書いてないけど）で、ネオフレーゲアン（もちろん新論理主義の方）の解説。ヒュームの原理で自然数が得られるところからBad Campany Argumentへ。ヒュームの原理が正しいとしても、それが無限の数の「存在」を含意すると言うのは文法構造を…

再開しますって書いてから何日空けてるんだか。ま、それはともかく、今日のJasonゼミはRichard Heckがゲストに来て『算術の基本法則』についていろいろと話をした。ここで再現できるほど理解できなかったけど、stipulationと理論のconsistencyの関係とか、シ…