2023-04

よもやま話

理想を掲げると理想は実現されなくなるパラドックス

世界平和、男女平等...など。古今東西で腐るほど理想が掲げられてきたわけですが、その理想が達成されたことってありません。それは理想が掲げられてしまうと理想は実現されない論理があるからだと考えています。悲しいことですが、掲げたその信念に囚われ...
よもやま話

ボクシングは哲学だ

判断の連続がボクシング。判断の源は哲学です。つまり、ボクシングとは哲学です。自らの哲学を創る哲学が判断を作る【哲学】世界や人生の究極の根本原理を客観的・理性的に追求する学問。 とらわれない目で事物を広く深く見るとともに、それを自己自身の問題...
よもやま話

人の不幸の正体 主観と客観の混同

不幸は主観と客観の混同により起こっているとする長濱説です。不幸と不運客観と主観主観は「自らの純粋な欲求」。客観は「他者があなたに期待しているはずだと”あなたが”勝手に考えた欲求」、つまり妄想です。どちらも自分の中から湧き上がるもので簡単には...
スポンサーリンク
技術

落下のエネルギーで腰を回す【手打ち打法】

手打ちによる骨盤の落下とそれに伴う骨盤の斜め回転の話です。骨盤の斜め回転振り子の運動上の動画ではガルシアの体は振り子運動をしています。この時、右脚が振り子のように振られています。この右脚の運動量は接地している左脚を介して床を押しています。ま...
よもやま話

狂った1970年代と2020年代

サムネの画像は「時計じかけのオレンジ」という僕が好きな狂った映画の一場面です。今回、70年代が生み出した傑作を再視聴して「やっぱりそうじゃないか」と感じたことをつらつらと垂れ流します。歴史は同じことを繰り返してるとする長濱説です。拝金主義タ...
メンタル

「強くなろう」ではなく「強くあろう」

今回の試合で強く感じました。僕は僕の弱さや葛藤など自分の見たくない部分も含めて愛せるようになっています。試合までに起こる葛藤こそが僕にとっての財産なのだと感じます。今回は試合までの過程で発見した心理的な重圧を和らげるマインドを共有します。未...
数学とか

背理法で二重否定の除去

背理法によって命題pの二重否定¬¬pがpと同値であることを演繹します。二重否定の除去背理法命題「¬pと¬¬p」が矛盾であることを背理法(否定除去)により演繹します。この演繹を日本語に翻訳すると「裏の裏は裏ではない、よって表である」となります...
数学とか

否定除去と背理法

推論規則の否定除去の方で少し振れましたが、命題aの否定から矛盾が演繹できるなら結論としてaの否定を除去したaを導いてよいとする規則です。背理法と否定除去矛盾を利用した論法に背理法がある。この論法では、「Xである」を示す場合に、まず「Xでない...
数学とか

矛盾と否定の認識

恒偽式は矛盾とも呼ばれ、恒真式の対義語です。矛盾と否定矛盾恒真式(こうしんしき、トートロジー、英: tautology、ギリシャ語のταυτο「同じ」に由来)とは論理学の用語で、「aならば aである (a → a) 」「aである、または、a...
よもやま話

精神的自立の為のアイデンティティ

自立した大人とは自我同一性を獲得した人のこと。"自ら"の経験に由来した、何を大切すべきかという善悪の基準を持ち、"自ら"の価値観を実践する人のこと。アイデンティティ = 魂SNS大衆社会僕がこのようなことを考えるようになったのはSNSをやる...
数学とか

論理和除去と導入

後回しにしてた論理和の推論規則を学んでいきます。論理和の導入と除去∨(論理和)導入Wikipediaの説明が分かりやすいので引用します。もし「P」という命題が真であれば、「PまたはQ」という命題もまた真である、という推論規則である。例えば、...
数学とか

推論規則に従い三段論法を演繹

除去、導入の推論規則に従い三段論法が論理的に正しい演繹であることを確認していきます。三段論法は大前提「pならばqである」小前提「qならばrである」結論「pならばrである」といった風に二つの前提となる命題から結論を演繹する妥当な推論です。三段...