未分類 一般化と∃除去の仮定の解消
存在除去は下のリンクの記事のような雰囲気の演算のことで、人の普遍的な認識を厳密化したものだと感じます。例えば「1より大きな数は存在する」というありふれた人の認識は、厳密には「2は1より大きな数は数である」という暗黙的な前提が元になっています...
2023-10
未分類 よもやま話 「夫婦なのに」「友達なのに」「トレーナーなのに」大人の依存心
現代人の急所をこれでもかと突いてきます。人生を壊す依存心上の書籍は、僕が自己喪失と表現する現象の根本的な発生源を特定し、恋愛、結婚、友人関係といった日常生活を例に、「甘え=依存心」の危険性を説明してくれています。依存心が個人の人生と社会を破...
メンタル 埋没費用を取り戻したい感情≒決意
ふとそう感じました。決意の強さって埋没させた費用に比例するんじゃね？って。決意の強さと埋没費用決意≒闘争本能三日間徹夜した程度のと一ヶ月間準備したのとでは決意の強さが違いますよね。僕は時間と金を使った程度が大きくなるに連れて決意が固くなって...
数学とか 一般化の雰囲気
∃除去の話の続き。∃除去、導入の推論規則を読んだだけだと、どうしてそれが必要なのかが感じられない。なんとなく、人が法則を一般化させる認識が根底にはあるんだろうな、とは感じられますが、しっくりはこない。一般化の雰囲気参考にしている本にこんな記...