一階述語論理のネット解説で、次のような説明にしばしば出会う。
一階述語論理とは、量化の及ぶ範囲が個体（私、ソクラテス、リンゴなど）に限られる‥
この手の説明は形式的に誤りでないものの、無視できない違和感がまとわりつく。この違和感は単なる言葉遣いの問題ではない。それは近代論理学が成立過程で意図的に切断してきた前提、すなわち「概念とは何か」という問いに関わる構造的な問題だ。
概念とは何か「リンゴ」と名づける行為の構造
自然言語において「リンゴ」という語は特定の物体を直接指し示す固有名ではない。それは「丸い」「果実である」「一定の植物学的特徴を有する」といった共通性質を抽象概括した名辞、すなわち概念である。
したがって、「リンゴ」と名指す瞬間、たとえば「四角い物体」「金属製の塊」「走り回るもの」といった対象は定義によって排除される。このとき言語の持つ範疇づけの働きが自明に前提されている。
この意味で「リンゴ」は一般名詞であり、論理学的には「個体（Individual）」を直接指し示すものでなく、個体が満たすべき「性質」や「述語（Predicate）」の側に属するはずのものである。個体を厳密に指し示すためには「このリンゴ」といった指示代名詞や特定のIDを与えられた「個体定数」としての扱いが必要になる。しかし、多くの解説では、この区別が曖昧なまま「リンゴ」が個体の代表例として（あたかも固有名であるかのように）列挙されるのである。
なぜ「リンゴ」が個体例として挙げられるのか
論理学の解説では往々にして「リンゴ」が個体の例として提示される。この不整合はどこから生じるのか。
その理由は一階述語論理がモデル理論的視座を前提にしている点にある。モデル理論において議論領域（domain of discourse）は単なる集合であり、その要素は意味内容を持たない抽象的な「点」にすぎない。モデルの解釈（Interpretation）の段階で、これらの点に「特定のリンゴ」「リンゴという種」「リンゴという語」といったラベルが任意に貼られるが、論理体系そのものにとって、その中身が何であるかは関心の外である。
したがって、ここで言う「個体」は自然言語の存在論的個体とはまったく異なる。論理学における「個体」はただ「等しさ（等置関係）」と「所属」の判定基準としてのみ存在する意味を脱色された純粋形式的要素であり自然言語の「指示」や「概念」とは接続しない。 問題は、この意味の脱色というプロセスが説明されぬまま日常語としての「リンゴ」を個体例に導入してしまう点にある。ここで自然言語的直観と形式的定義が混線し、解消しがたい齟齬が生じるのだ。
概念を全称量化するという構造「内包を欠いた形式性」
問題の核心は「なぜ論理は概念そのものを量化対象にせず、個体上の全称走査（スキャン）を行うのか」という点にある。 一階述語論理では概念は内包的な構造を持たず外延すなわちドメインの部分集合としてのみ扱われる。例えば「すべてのリンゴは果物である」を∀x(Apple(x)→Fruit(x))と記述するさい論理が関心を持つのは「リンゴとは何か」という定義ではない。
領域内の各個体xについて
x∈Appleならばx∈Fruitであるかという要素ごとの真偽判定のみが問題となる。
この形式が必要となるのは論理体系の内部で概念が弱体化されているからである。もし概念に内包的意味を保持させ得る体系があれば全称量化という走査操作は不要かもしれないが、一階述語論理は意図的にその方向を切り捨てることで成立している。
違和感の妥当性「一階述語論理の意図的制約」
この違和感は論理学的に見て誤りではない。むしろ一階述語論理と二階述語論理の差、すなわち概念を量化可能な対象として認めるか否か、という体系上の根本的問題と直結する。一階述語論理は完全性定理やコンパクト性定理といった強力な性質を獲得する代償として概念の内包的意味を体系内に保持できない。もっとも、この形式的制約は欠陥ではない。むしろ理論的整合性のために選び取られた自制といえるが、こうした制約を自覚せず自然言語の語法と混同した説明を行うから「リンゴを個体の例にする」ような言語上の不可思議が生じてしまうのだ。
形式の純粋性は意味の断絶を引き受けることによってのみ擁護されるのである。
おわりに
一階述語論理の厳密で強靭な構造は、哲学的にも計算論的にも優れている。
ただ、説明する際に細部への配慮は欲しい。概念と言語の階層が自明に区別されている以上、個体の例に一般名詞を例示する手法は説明上の正確さを欠く。たとえば自然言語としての人間個体とは「この人やあの人」に他ならないわけで、この些細な精度への配慮こそ形式と意味の断層線を直視するための第一歩なのだと思う。論理の理解とは、まさにその断層を意識化する営みなのだから。
Original: karsai-nei-tsang.hatenablog.com | Author: [マBOY] | First published: 2026-01-15 | ID: pcm-puls
