「ハイパー論理」 一覧

ここからハイパー論理に。 純粋に抽象化された世界では、無矛盾性は保持できます。 例えば、群論は無矛盾の可能性がありますね。 しかし、矛盾している可能性もある。 この二律背反は？ ここまで来ると、何故か ...

ここからハイパー論理に。  一般に、性質ψ（ｘ）があって。 そのままだとプロパークラスになる可能性があるから。 ＺＦでは普遍的に大事を取って、抑え集合Ａで相対化したの。 しかし、ここでは、元のψ（ｘ） ...

ここからハイパー論理に。 前回は、相対的Ｖなんていう新概念を仰々しく定義しておきましたが。 結果は、今まで、すでに指摘してきたことの焼き直しで。 大したことは無いと思った猿も多いカモ。 そもそも、ラベ ...

ここからハイパー論理に。    今回は、新集合論としてのＹＪ構築に向けた準備として。 もう少し、∅の基本思想について蘊蓄を傾けておきましょうか。 ∅にラベルを付与して、）∅（ＺＦ）などと階層表現すれば ...

ここから、ハイパー論理に  前回の弱ＡＣ関連の話題として登場した ＺＦ外で、ＺＦ＋弱ＡＣ内の新命題（論理式） （∃ｘ）ψ（ｘ）・・・（１） ですが。 今更、 「そんなものが必ずあるという保証は？」 な ...

ここからハイパー論理に。 ここまで来ても、まだ、ＺＦの矛盾を認めたくない猿がいるカモ。 だから、コロナ菌が暴れているとは思わないでしょうけど。 それでも、タイミング的には興味深いものがある。 ちなみに ...

ここからハイパー論理に。  最初に、前回の宿題の解答から。 ＺＦ＋￢ＡＣで登場する新たな空集合を ∅（￢ＡＣ）＝｛Ａ｜∀ｚ∈Ｘ∃ｔ（ｚ∩Ａ＝｛ｔ｝｝・・・（１） と設定したわけですが。 一つだけ気にな ...

ここから、ハイパー論理に。 ＺＦに対する新矛盾を１００年ぶりに発見したのが神の私です。 その具体例が∅のパラドックスでした。  というわけで、新参者も多いでしょうし。 復習を兼ねて、∅パラドックスの再 ...

ここからハイパー論理に。 予告通り、今回から 「新猿の知性３５：創世編」 に入ります。  まず最初に、敵の妄想を潰すことから入ります。  認識症患者は、同じ真理を何度聞いても、１カ月くらい経過すると、 ...