論理学 否定：図を使った論理学学習の限界
古い論理学（アリストテレスの三段論法を使った論理学）の常套手段であるヴェン図とオイラー図を使った基本文型の視覚的表現を辿って来た。古い論理学（アリストテレスの三段論法を使った論理学）には４つの基本文型がある。A: すべてのF はG である。...
論理学
論理学 
論理学 特称文のヴェン図とオイラー図
全称文についてのオイラー図とヴェン図での表現をみた。今度は特称文での表現をみてみよう。特称文とは、次の形式を持つ文のことである。特称文「或るF はG である」∃x(Fx⋀Gx)この文の形式について上手に表現しているのは、全称文の時とは正反対...
論理学 全称文のヴェン図とオイラー図
全称文は、古い論理学（アリストテレスの三段論法を使った論理学）でも、記号論理でも、重要な位置を占める文の形式である。全称文「すべてのF はG である」∀x(Fx→Gx)この文形式について、ふつう人が直感的に持つのはオイラー図であろう。オイラ...
哲学 『論理学綱要』（内田老鶴圃，うちだろうかくほ）
John Venn (1834-1923）古い論理学（アリストテレスの三段論法を使った論理学）の代表的な教科書として岩波書店の『論理学入門』を紹介しました。もう一冊、見るだけで図書館の香りが蘇るような本として『論理学綱要』を取り上げさせても...
哲学 『論理学入門』（岩波書店）
Leonhard Euler (1707-1783)古い論理学というのは、記号論理以前のアリストテレス論理学のことをいいます。書店で論理学の本を探すと、決まって「記号論理」の本と「古い論理学」の本が混在していることに気づくでしょう。古い論理...
論理学 ヴェン（ベン）図とオイラー図
John Venn (1834-1923）円や丸を描いて概念や集合をイメージする、という知的作業は非常に自然な（生得的、直感的）なもので、わざわざ、それをヴェンやらオイラーに帰するのは、うなずけないところがある。しかし、それでも慣例的に、ヴ...
哲学 ∃x (x = c)という表現について
上掲画像のゲンツェンが考えた表現ではないが、論理学（記号論理）では慣習的に「cが存在する」を次のように表す：∃x (x = c)私（管理人）は、この表現はダメだとずっと思って来た。『文系のための記号論理入門』pp.85f.では、どうして ∃...
論理学 【記号論理】記号の出し方、証明図の書き方（Word明朝体で出す）
ゲンツェン（Gerhard Karl Erich Gentzen 1909-1945）パソコンキーボードでの論理学の記号の出し方を、ここでは紹介させて頂きます。MS明朝（※）で、ふつうに漢字変換とおなじように記号を出すことができます。「かつ...