Fregeが考えていたと後付け的に推測される、数が(対象として)存在するということの論証概略(の概略)*1 (HP: Hume's Principle) Fの数とGの数は同じである iff Fの元とGの元は一対一に対応する (Nx:Fx = Nx:Gx ⇔ F 〜 G) を正しいと仮定する(「〜」は全単射)…

Laurence R. Horn “Contradiction”, in: Stanford Encyclopedia of Philosophy, 2006 Thomas Uebel “Vienna Circle”, in: Stanford Encyclopedia of Philosophy, 2006