暇つぶしに見て 論理和除去と導入
後回しにしてた論理和の推論規則を学んでいきます。 論理和の導入と除去 ∨（論理和）導入 Wikipediaの説明が分かりやすいので引用します。 もし「P」という命題が真であれば、「PまたはQ」という命題もまた真である、という推論規則である。...
暇つぶしに見て メンタル 恒真な心を目指す
論理学が人の認識を抽象化し一般化させたものだとしたら、恒真式のようにどんな入力に対しても同じ出力を返す心を創れるのではないか？と思うようになりました。 どんな困難に対しても幸福と=で結ばれた動じることのない恒等な心。これが悟りではないかとも...
暇つぶしに見て 推論規則に従い三段論法を演繹
除去、導入の推論規則に従い三段論法が論理的に正しい演繹であることを確認していきます。 三段論法は大前提「pならばqである」小前提「qならばrである」結論「pならばrである」といった風に二つの前提となる命題から結論を演繹する妥当な推論です。 ...
メンタル 外的な動機と内的な動機を切り離して心を調和させる
内的な動機と外的な動機 本然を知る 分かりやすいように最初にまとめると。セルフ2=本能=潜在意識=感覚、直感セルフ2=理性=顕在意識=言語本能とは動物的な欲求ではなく、本能にまで落とし込まれた、幼少期から積み重ねられた連続性のことです。本然...
暇つぶしに見て 演繹の推論規則と含意除去
論理演算を導入する規則の次は、それを除去する規則を学びます。 推論規則 除去 定義 導入規則と対になる除去規則（elimination rules）がある（削除規則とも）。すなわち、複合型の命題を解体するものである。例えば、"A ∧ B t...
よもやま話 逃げたらコンプレックスまみれ
突然ですが、花沢健吾作品て面白いですよ。読み返して、若い頃のピュアさを思い出すのと同時にこれを面白いと言えない男とは仲良くできないと感じます。 花沢健吾の作風と股関節おじさん 股関節おじさんの思想 少年時代に抱えていた崇高な理想と現実の大き...
暇つぶしに見て 自然演繹の推論規則と導入
含意は論理包含の別名です。推論規則は論理学で推論を行う際に利用してよい式の変形法則。 導入と除去のうち、今回は導入を学びます。 推論規則 導入 一見しただけでは「どうしてこんなことを決めるの？」と思ってしまいますが、僕は「人の認識によって新...
メンタル 何を得るかの前に何を”捨てるか”
一度記事にした気がします。 もしかすると焼き増しですが、このブログ自体が同じ内容を言葉を変えて繰り返してるだけなので別にいいですよね。悪しからず。 何を捨てるかを決めろ 行動を起こすのって難しいし先延ばしにしてしまいがちですよね。そんな方に...
暇つぶしに見て 論理的妥当性の再帰的な構造
ここまででようやく数学の始まりがぼんやりと見えてきました。出発は人の認識。その認識を一般化した演算規則によって公理の構造を変形させ、普遍的な法則（理論）を見つけていく。それがのちに意味を帯びてきて現実への応用される。 数学の議論の再帰的な構...
トレーニング 腸腰筋活性化エクササイズ
この投稿をInstagramで見る 陸長濱(@r.npugilist)がシェアした投稿 最近長岡が最近熱心に取り組んでます。 腸腰筋エクササイズ きっかけは長岡の運動の傾向として、前腿が効きやすく骨盤の前傾が崩れやすいということを僕が指摘し...
暇つぶしに見て 認識のパズルと演繹
証明の確かさって一体どう定義されているのだろうと思い立ってネットを彷徨、妥当性や健全性って定義に行き着きました。 確認が終わったところで、どうしてそれが正しいと仮定されたいるのかと再び疑問が浮んでネットを再び彷徨。一応の解釈に行き着きました...
よもやま話 大阪歴史博物館で感じたの日本人の思想
大阪歴史博物館へ行ってきました。 歴史の面白さ 経済から、人々から、人物から…などなど色んな読み解き方ができ、会釈の仕方で見え方がまるっきり変わってしまうことが歴史の面白さだと思います。 経済的なシステムがどのように人々の価値観を創り、どう...