2023-04

メンタル

外的な動機と内的な動機

内的な動機と外的な動機本然を知る分かりやすいように最初にまとめると。セルフ2=本能=潜在意識=感覚、直感セルフ2=理性=顕在意識=言語本能とは動物的な欲求ではなく、本能にまで落とし込まれた、幼少期から積み重ねられた連続性のことです。本然とい...
数学とか

演繹の推論規則と含意除去

論理演算を導入する規則の次は、それを除去する規則を学びます。推論規則 除去定義導入規則と対になる除去規則(elimination rules)がある(削除規則とも)。すなわち、複合型の命題を解体するものである。例えば、"A ∧ B true...
よもやま話

逃げたらコンプレックスまみれ

突然ですが、花沢健吾作品て面白いですよ。読み返して、若い頃のピュアさを思い出すのと同時にこれを面白いと言えない男とは仲良くできないと感じます。花沢健吾の作風股関節おじさんの思想少年時代に抱えていた崇高な理想と現実の大きな乖離。僕の心はピュア...
数学とか

自然演繹の推論規則と導入

含意は論理包含の別名です。推論規則は論理学で推論を行う際に利用してよい式の変形法則。導入と除去のうち、今回は導入を学びます。推論規則 導入一見しただけでは「どうしてこんなことを決めるの?」と思ってしまいますが、僕は「人の認識によって新たな宇...
数学とか

論理的妥当性の再帰的な構造

ここまででようやく数学の始まりがぼんやりと見えてきました。出発は人の認識。その認識を一般化した演算規則によって公理の構造を変形させ、普遍的な法則(理論)を見つけていく。それがのちに意味を帯びてきて現実への応用される。数学の議論の再帰的な構造...