昨日今日と、Fregeの再認命題について、つらつらと考える。 次をHume's Principleとする。 N(F) ＝ N(G) ⇔ F 〜 G. これの左辺を、「Hume's Principleにおける再認命題」と呼ぶ。 そしてこのHume's Principleを一般的に表すと以下のようになる。 a ＝ b ⇔ Φ(…

以下の各氏のHPをリンク集に追加。 Otávio Bueno, Oswaldo Chateaubriand, Bernard Linsky, Francis Jeffry Pelletier. この先生方は、みな何がしかFregeについて書いておられます。

昨日は街中の並木通りを自転車で行き、秋枯れの街路樹を眺めやる。 そして街の真ん中にあって、近日オープンする遊戯施設を遠巻きに眺望。非常に大きい。私はこわいのでここでは遊びたくない。