David Papineau Philosophical Devices: Proofs, Probabilities, Possibilities, and Sets, Oxford University Press, 2012 以下の四つの事柄の、初歩的な概念を説明しています。集合論、真理に関する区別 (analyticity, a prioricity, and necessity), 確率…

2012年8月19日の当日記で 'Who Was the First to Formulate Comprehension Principles as an Axiom?' という大それた題名の項目を書きました。その際にこの項目を読まれた方が、ひょっとするとおられるかもしれません。 その後、この項目の Frege について触…