02月13日

質問者さん

白星フウさんの次のツイートについて、どう思いますか? 「『数学の真髄-論理•写像-』のp93〜95クソです。著者は全体集合や条件の定義を理解してない。 +0xという無意味な正当化をしているけど、+0zがない理由を説明出来ていないし、そもそも全体集合を先に指定するのが筋なので、この哲学自体が無意味です。単に全体集合をR²とするの一言で終わる話です。」

02月17日

えぬぬん@C104月曜東Y34a

えぬぬん@C104月曜東Y34aさん

次からで構わないのですが、特定のものについての見解が欲しいときはリンク貼ってくださいね まず(いったんツイートの内容は全部無視して)本の内容についてのみ話しますが、まぁ察しているかもしれませんが上から下まで間違いだらけというのが私の見解ですなぁ 何が間違いかというと、ここの記述がどうこうというより「"条件"というものに厳格な定義があるかのように議論が進んでいる」ということです 個々の記述におかしなところはいくらでも見つけられますが、根本はそこです メタの範囲での論理は素朴にやらざるを得ないので、厳格な定義のもと運用するかのような議論は上から下まで全部間違いと断じて良いと思っています(個々の記述は無理やり正当化できなくはないですが、そうする価値はあんまりないかなと思います) 普通の(=大学受験生向けでない)本の論理パートでアレが違うこれが違うという話が出てこない理由がこれです(厳格にやってないのでこれは間違いですと言いづらい) で、もとのツイートに戻るのですが、「全体集合や条件の定義」と言ってる時点で↑のナンセンスな香りがプンプンしますね

えぬぬん@C104月曜東Y34aさんに 質問してみましょう!

えぬぬん@C104月曜東Y34a

えぬぬん@C104月曜東Y34a

某ヌの学術・技術系の垢 著書・怪文書の宣伝、イベントの参加告知とかもこっち 六四天安門事件香港加油台湾独立

えぬぬん@C104月曜東Y34aさんが

最近答えた質問

02月17日

白星フウさんの次のツイートについて、どう思いますか? 「『数学の真髄-論理•写像-』のp93〜95クソです。著者は全体集合や条件の定義を理解してない。 +0xという無意味な正当化をしているけど、+0zがない理由を説明出来ていないし、そもそも全体集合を先に指定するのが筋なので、この哲学自体が無意味です。単に全体集合をR²とするの一言で終わる話です。」

12月25日

「⇒」や「⇔」は、命題変数や述語記号をつなぐ記号ですよね?ならば例えば数学の答案などで、具体的な命題同士をこれらの記号で繋ぐのはおかしい、というか不正確だと思ってしまうのですが、いかがなのでしょうか、

11月18日

真理値は論理学の人工言語(記号言語)の世界の概念で、命題の真偽を表す記号、という解釈で合ってますかね?誤っていたら正しい理解を教えていただけるとありがたいです!