論理学 【集合論や数学記号】Word（MS明朝体）での記号の出し方
Wordを使って文章を作っている時，わざわざCambriaMathを使うなどして記号を入力するのが面倒なひと（例えばメールのやり取り）のために，集合論の記号を枚挙しておきます。記号論理は☟こちらを参照してください。共通部分・積集合・交わり ...
論理学
論理学 Unicode（ユニコード） Unicode【数学】
発音記号についてのUnicode覚書を非常に重宝しています（管理人が）。なので今度は論理・数学の記号を枚挙してゆきます。補集合の上付きバー = 0305上付きCや，/で補集合を表さずに、上付きバーで補集合を表したい時のUNICODEは、03...
論理学 【命題論理の証明問題】⊢ p→(p→(p⋁q))
文型理系に限らず，記号論理の証明問題ができない人はびっくりする位います。本記事では，その考え方を伝えたいと思います。真理表があれば命題論理の証明問題（いわゆる構文論）を解く必要はない、と考えるのは間違いです。なぜ間違いなのかは、それなりに論...
論理学 多重量化について（数学的ルーツの大切さ）
多重量化について講義した際、質問して頂いた問題について取り上げたいと思います。多重量化で次の構文を取り上げました。∃x∀yR (x, y) 誰かがみんなを愛している（能動態）∀y∃xR (x, y) 誰もが誰かによって愛されている（受動...
Unicode（ユニコード） Unicode【論理・記号論理】
証明体系についてはこの記事をご参照ください。論理記号のパソコンにおける出し方を以前、記事化しました。本記事は、その続編となります。説明はUnicodeについての記事と同じ方法を採用します。随時更新してゆきます。ト記号 = 22A2ト記号，T...
文献案内 記号論理入門【述語論理】後編
記号論理入門【述語論理】前編の続編として『後編』を出版しました。本記事は、その紹介になります。記号論理の入門シリーズを執筆しています（管理人が）。１．記号論理入門【命題論理】前編２．記号論理入門【命題論理】後編３．記号論理入門【述語論理】前...
IT（Information Technology：情報技術） テストの採点について（一般論）
暖かいご支援ありがとうございます。アマゾンの拙著レビュー岸菜雄大さんから大学生が勉強しない、講義に出ない、というのは今始まったことではなく、特に親元を離れたなら、当然起こり得ることだと考えられます。勉強しないのだから、当然テストで良い点は取...
論理学 空疎に真（vacuously true）の説明
ウィトゲンシュタインが真理表を考えた。かなりたくさんの人に質問される論理学の概念、空疎に真(vacuously true)について説明したいと思います。拙著では下記のページに載っています。記号論理入門【命題論理】前編 §9文系のための記号論...
哲学 論理学と哲学の違い
論理学という学問ほど一定した知見が確立していない分野はないかも知れません。本記事では、ここまで本サイトで書きこんで来たことも含め、論理学とはなにか、それはどう学べばよいのか、ということをまとめてみたいと思います。論理学と哲学は違うLudwi...
論理学 否定：図を使った論理学学習の限界
古い論理学（アリストテレスの三段論法を使った論理学）の常套手段であるヴェン図とオイラー図を使った基本文型の視覚的表現を辿って来た。古い論理学（アリストテレスの三段論法を使った論理学）には４つの基本文型がある。A: すべてのF はG である。...
論理学 特称文のヴェン図とオイラー図
全称文についてのオイラー図とヴェン図での表現をみた。今度は特称文での表現をみてみよう。特称文とは、次の形式を持つ文のことである。特称文「或るF はG である」∃x(Fx⋀Gx)この文の形式について上手に表現しているのは、全称文の時とは正反対...
論理学 全称文のヴェン図とオイラー図
全称文は、古い論理学（アリストテレスの三段論法を使った論理学）でも、記号論理でも、重要な位置を占める文の形式である。全称文「すべてのF はG である」∀x(Fx→Gx)この文形式について、ふつう人が直感的に持つのはオイラー図であろう。オイラ...
哲学 『論理学綱要』（内田老鶴圃，うちだろうかくほ）
John Venn (1834-1923）古い論理学（アリストテレスの三段論法を使った論理学）の代表的な教科書として岩波書店の『論理学入門』を紹介しました。もう一冊、見るだけで図書館の香りが蘇るような本として『論理学綱要』を取り上げさせても...