論理学

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

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

証明の確かさって一体どう定義されているのだろうと思い立ってネットを彷徨、妥当性や健全性って定義に行き着きました。確認が終わったところで、どうしてそれが正しいと仮定されたいるのかと再び疑問が浮んでネットを再び彷徨。一応の解釈に行き着きました。...

定義は定義として受け入れるとして、その心が知りたくなるのが人情。十分条件と必要条件を定義に背後にある心を考察していきます。必要十分条件と同値関係必要十分条件というわけで十分と必要の日本語から。【十分・充分】《ダナノ・副》物事が満ち足りて、何...

論理包含の演算規則はは認識を一般化したものだと仮定して、もう少し論理包含について認識の側面から考えます。論理包含の定義から同値という概念を演繹出来ます。僕がずっと抱いている「なぜ同値の定義の形はそうなっているのか」という疑問の答えへ繋がって...

論理学は人の認識の一般化です。人が開発したのだから当たり前ではありますが、見落としてしまいがち。人の認識を土台として集合や写像という概念は開発された、という視点に立てば数学の見え方が変わってきます。複雑に見える概念であっても、集合や写像とい...

集合論やろうと思って入門書まで買ったのに。脱線に次ぐ脱線で全く意図しない方向へ走りだしてしまっています。証明の正しさとは何かってことで数学の定義する正しいを見ていきました。演繹、三段論法と推論規則などなど。納得したと思ったらまだモヤモヤする...

論理的に正しいと定義される推論の形式の続き「背理法」を見ていきます。背理法定義【背理法】とは、ある命題Pを証明したいときに、Pが偽であることを仮定して、そこから矛盾を導くことによって、Pが偽であるという仮定が誤り、つまりPは真であると結論付...

論理的な論証とは何かを前回学びました。それは「前提が真であれば結論が真となる「妥当」且つ、前提が全て真である「健全」な論証のことでした。妥当性は論証が形式的に正しいかどうか、健全性は具体的に前提の命題が真であるかどうかが焦点です。前件肯定概...