量化

量化（りょうか、英: Quantification）とは、言語や論理学において、論理式が適用される（または満足される）議論領域の個体の「量」を指定すること。

例えば、算術において、「全ての自然数にはその次の数が存在する」と言った場合、あるいは論理学で、「ある議論領域に特定の属性をもつ事象が少なくとも1つ存在する」と言った場合、いずれも量化を行っている。量化を伴う言語要素を量化子（quantifier）と呼ぶ。量化子を使った表現は量化されており、述語や関数の自由変項を量化子によって束縛することで量化が行われる。量化は自然言語でも形式言語でも行われる。自然言語での量化子の例として、「全ての」、「いくつかの」、「多くの」、「一部の」などがある。形式言語では、量化は（論理）式の構成要素の一部であり、ある式から別の式を生成する。言語の意味論によって、それら構成要素が妥当性の範囲でどう解釈されるかが指定される。量化は変項束縛操作の一例である。

述語論理における2種類の基本的量化として、全称量化と存在量化がある。これらの詳細は各項目にあるので、ここでは両者に共通する量化の概念を述べる。

全称量化子は、"A" を逆さにした "∀" で表される。存在量化子は、"E" を裏返しにした "∃" で表される。これらの量化子は、Mostowski と Lindström の研究を端緒として一般化されていった。

全ての人間の言語は、完全な数体系がない場合でも、量化を利用している（Wiese 2004）。例えば、日本語での例は次の通りである。

• 「全ての方針に目を通す必要がある」
• 「川を渡っている人のうち何人かが白い腕章をしている」
• 「私が話した人々のほとんどが、誰に投票するか決めていなかった」
• 「待合室の誰もが小沢氏に対する少なくとも1つの不満を持っていた」
• 「クラスの誰かが、私の出した全ての問題に答えられるはずだ」
• 「多くの人々は賢明である」

これらを量化を使わずに、複数の文の論理和や論理積で表す単純な方法は存在しない。例えば、「Aの方針に目を通す必要がある」かつ「Bの方針に目を通す必要がある」……などと続くことになる。これらの例はまた、自然言語での量化表現の構築が統語的に非常に複雑となる可能性を示唆している。幸いにも、数学的表現における量化は、統語的により直接的である。

自然言語における量化の研究は形式言語の場合に比べて難しい。ひとつには、自然言語の文法構造が論理構造を隠蔽する場合があるためである。さらに、数学的規定は形式言語の量化子の妥当性の範囲を厳密に指定する。自然言語では、妥当性の範囲を指定するには、重要な意味論的問題に対処する必要が生じる。

モンタギュー文法は、自然言語の斬新な形式意味論を与える。その信奉者は、フレーゲ、ラッセル、クワインらの伝統的な手法よりも自然言語の自然な形式的再現が可能であると主張している。

ここでは、まず数学での量化を非形式的に説明する。次のような文があるとする。

1·2 = 1 + 1、かつ 2·2 = 2 + 2、かつ 3·2 = 3 + 3、かつ ……、かつ n·2 = n + n、かつ ……

これはいわば、命題の「無限論理積」である。形式言語の観点からすれば、有限なオブジェクトを生成する統語的規則を期待しているので、これでは問題がある。それとは別に、この例の場合、全ての論理積の対象要素を生成するプロシージャがあることがわかる。しかし、全ての無理数について何かを主張したい場合、無理数は列挙できないので、論理積の全対象要素を並べ立てる方法はない。このような問題に対処する簡潔な定式化として、全称量化がある。

全ての自然数 n について、n·2 = n + n である。

同様に、論理和の場合もある。

1 は素数である、または 2 は素数である、または 3 は素数である、または …… 、または n は素数である、または ……

この場合は、存在量化によって簡潔に定式化される。

ある自然数 n があり、n は素数である。

次のような文を考えてみよう。

任意の自然数 n について、s = n × n となる、ある自然数 s がある。

これは明らかに真である。これは単に全ての数に平方が存在することを主張しているに過ぎない。

量化子を意味する部分の順序を変えると、その内容は全く変わってしまう。

ある自然数 s について、s = n × n となる、任意の自然数 n がある。

これは明らかに偽である。ある1つの自然数 s が、あらゆる自然数の平方であると主張することになってしまう。

以上の基本的事実は、量化子の入れ子に際して非常に重要となる。量化子の適用順序は極めて重要である。

やや複雑な例として、解析学の重要な概念である一様連続の例を示す。これは、2つの量化子の順序を入れ替えるだけで各点連続を表すようになる。これを示すため、f が R 上の実数値関数であるとする。

• A: R 上の f の各点連続

${\displaystyle \underbrace {\forall x\in \mathbb {R} ,\ \forall \varepsilon >0} ,\exists \delta >0,\forall h\in \mathbb {R} ,\quad |h|<\delta \implies |f(x)-f(x+h)|<\varepsilon }$

波括弧上の全称量化子を入れ替えても、同じである。

• A': R 上の f の各点連続:

${\displaystyle \forall \epsilon >0,\ \underbrace {\forall x\in \mathbb {R} ,\exists \delta >0} ,\ \forall h\in \mathbb {R} ,\quad |h|<\delta \implies |f(x)-f(x+h)|<\varepsilon }$

これは、A' で波括弧上にある存在量化子と全称量化子を入れ替えた次のものとは異なる。

• B: R 上の f の一様連続:

${\displaystyle \forall \epsilon >0,\underbrace {\exists \delta >0,\forall x\in \mathbb {R} } ,\forall h\in \mathbb {R} ,\quad |h|<\delta \implies |f(x)-f(x+h)|<\varepsilon }$

それぞれの量化は、1つの特定の変項に関するものであって、その変項の「議論領域」あるいは「量化範囲」に関するものである。量化範囲はその変項がとりうる値の集合を指定する。上の例で言えば、量化の範囲は自然数の集合である。量化の範囲の指定により、ある述語が自然数についてのものであるとか、実数についてのものであるといった違いが表現可能になる。説明的な慣習として、"n" を自然数、"x" を実数を表す変項とすることもあるが、そのような命名規則だけに依存することは推奨できない。

議論領域を制限するより一般的な方法として「ガード付き量化」がある。ガード付き量化とは、次のような文である。

ある自然数 n について、n は偶数で、かつ n は素数である。

次も同じ意味である。

ある偶数 n について、n は素数である。

数学の理論によっては、議論領域を1つに固定することがある。例えば、ツェルメロ＝フレンケルの集合論では、変項の範囲は全ての集合である。この場合、ガード付き量化子は、量化の範囲を狭めるときに使われる。すると、上記の例は次のように表される。

任意の自然数 n について、n·2 = n + n

ツェルメロ＝フレンケルの集合論では、次のように表される。

任意の n について、n が N に属するとき、n·2 = n + n

ここで、N は全自然数の集合である。

全称量化子は "A" を逆さにした "∀" で記述され、これは "all" に由来する。存在量化子は "E" を裏返しにした "∃" で記述され、これは "exists" に由来する。これを使った量化式は次のようになる。

${\displaystyle \exists {x}\,P\quad \forall {x}\,P}$

ここで、"P" は何らかの（論理）式を表す。他にも様々な表記方法がある。

${\displaystyle \exists {x}\,P\quad (\exists {x})P\quad (\exists x\ .\ P)\quad (\exists x:P)\quad \exists {x}(P)\quad \exists _{x}\,P\quad \exists {x}{,}\,P\quad \exists {x}{\in }\mathbb {N} \,P\quad \exists \,x{:}\mathbb {N} \,P}$

以上の表記方法は全て全称量化にも適用可能である。全称量化の他の記法として、次のものがある。

${\displaystyle (x)\,P\quad \bigwedge _{x}P}$

一部の記法では、量化範囲を明示的に示している点に注意されたい。量化範囲は常に示すべきだが、その数学理論によっては表現方法も変わってくる。

• 全ての量化の議論領域が固定である場合: ツェルメロ＝フレンケルの集合論など
• 一部の議論領域が固定で、必要に応じて各変項の「型; type」として領域を宣言する場合: プログラミング言語の型システムに似ている
• 毎回量化の範囲を明示的に示す場合: 領域内の全てのオブジェクトの集合をシンボルで表したり、領域内のオブジェクトの型を示す。

古典論理では、自然言語とよく似た方法で量化を扱っており、形式的解析にはあまり向いていなかった。アリストテレスの論理学では、紀元前1世紀から真理様相との関連において All、Some、No といった概念を扱っている。

最初に変項ベースの量化を導入したのは、1879年、ゴットロープ・フレーゲの『概念記法』 Begriffsschrift であった。フレーゲは変項の全称量化を行った箇所で直線を窪ませ、その窪みの上に全称量化された変項を書くという記法を採用した。存在量化については独立した記法はなく、${\displaystyle \sim \forall x:\sim \ldots }$ と等価な記法であった。フレーゲの量化の扱い方は、1903年、バートランド・ラッセルの『数学原理』Principia Mathematica まで、あまり注目されなかった。

一方、チャールズ・サンダース・パースとその学生 O. H. Mitchell は独自に全称量化子だけでなく存在量化子も生み出していた（1885年）。パースと Mitchell は、我々が ∀x と ∃x と書くところを Π_x と Σ_x と書いていた。この記法は Ernst Schroder、Leopold Loewenheim、トアルフ・スコーレムらによって1950年代ごろまで使われることとなる。クルト・ゲーデルが、1930年の一階述語論理の完全性定理に関する論文と、1931年のペアノ算術の不完全性定理で採用したのも、この記法であった。パースは後に存在グラフと呼ばれる記法を提案したが、これは最も浅いインスタンスによって変項の量化が暗黙的に決定されることを特徴とする。パースの量化に関する手法は Ernst Schroder や William Ernest Johnson に影響を与え、ジュゼッペ・ペアノ を通してヨーロッパ全体に影響を与えることとなった。パースの論理学は数十年間に渡って推論に興味を持つ人々に注目されることとなった。

ジュゼッペ・ペアノは、全称量化を (x) と記した。"(x)φ" は、x のあらゆる値について、式 φ が真であることを意味する。また彼は1897年に、存在量化を表す記法として (∃x) を採用した。アルフレッド・ノース・ホワイトヘッドとバートランド・ラッセルの『数学原理』Principia Mathematica ではペアノの記法が採用されている。また、ウィラード・ヴァン・オーマン・クワインとアロンゾ・チャーチも生涯を通じて、ペアノの記法を使用した。ゲルハルト・ゲンツェンは1935年、ペアノの ∃ 記号からの類推で ∀ 記号を導入した。しかし、∀ が一般に浸透したのは1950年代になってからである。

• 述語論理
  • 一階述語論理・二階述語論理
• 数量詞
• 存在動詞
• Fourier–Motzkin消去法
• イプシロン-デルタ論法

• Jon Barwise and John Etchemendy, 2000. Language Proof and Logic. CSLI (University of Chicago Press) and New York: Seven Bridges Press.
• Gottlob Frege, 1879. Begriffsschrift. Translated in Jean van Heijenoort, 1967. From Frege to Godel: A Source Book on Mathematical Logic, 1879-1931. Harvard Univ. Press. 定式化された量化が初めて使用された著書
• David Hilbert and Wilhelm Ackermann, 1950 (1928). Principles of Theoretical Logic. Chelsea. Translation of Grundzüge der theoretischen Logik. Springer-Verlag. 1928年の初版は、現在一般化している量化子の記法が意識的に使われた最初の例
• Charles Peirce, 1885, "On the Algebra of Logic: A Contribution to the Philosophy of Notation, American Journal of Mathematics 7: 180-202. Reprinted in Kloesel, N. et al, eds., 1993. Writings of C. S. Peirce, Vol. 5. Indiana Univ. Press. 現在の形式に近い量化が使われた最初の例
• Hans Reichenbach, 1975 (1947). Elements of Symbolic Logic, Dover Publications.
• Wiese, 2003. Numbers, language, and the human mind. Cambridge University Press. ISBN 0-521-83182-2.
• Westerstahl, Dag, 2001, "Quantifiers," in Goble, Lou, ed., The Blackwell Guide to Philosophical Logic. Blackwell.

• Generalized quantifiers スタンフォード哲学百科事典
• QUANTIFIERS (PDF) by Stanley Peters and Dag Westerståhl
• 量化をめぐるラッセル 橋本康二
• 多重量化を克服せよ - ウェイバックマシン（2019年1月1日アーカイブ分） ミック

表 話 編 歴 論理学
関連項目 学術的領域 議論学 価値論 批判的思考 再帰理論 形式意味論 論理史 非形式論理学 計算機科学における論理学（英語版） 数理論理学 数学 メタ論理学 メタ数学 モデル理論 哲学的論理学 哲学 論理学の哲学 数学の哲学 証明論 集合論 論理学の歴史 基本概念 アブダクション 分析的と総合的の区別（英語版） 二律背反 アプリオリ 演繹 定義(内包と外延) 記述 帰納 推論 論理的帰結 論理形式（英語版） 論理的含意（英語版） 論理的真理 名前 必要十分条件 意味 パラドックス 可能世界論 前提 確率 理性 推理 参考 意味論 命題 サブスティトゥーション（英語版） 統語論（英語版） 真理 真理値 妥当性 数学記号の表
哲学的論理学 批判的思考と非形式論理学 分析 曖昧 信念 信用性（英語版） 根拠 説明 説明力（英語版） 事実 誤謬 探究 意見 節約 根拠 プロパガンダ 思慮分別（英語版） 推理 関連 修辞学 厳格 漠然（英語版） 論理学の哲学 構成主義 真矛盾主義 虚構主義（英語版） 有限主義（英語版） 形式主義 直観主義 論理的原子論（英語版） 論理主義 唯名論 プラトニック実在論（英語版） プラグマティズム 実在論
メタ論理学と超数学 カントールの定理 決定問題 チャーチのテーゼ 無矛盾性 実効的方法（英語版） 数学基礎論 ゲーデルの完全性定理 ゲーデルの不完全性定理 健全性 完全性 決定可能性 解釈 レーヴェンハイム-スコーレムの定理 メタ定理（英語版） 充足可能性 独立性（英語版） 独立 タイプとトークンの区別 使用と言及の区別
数理論理学 基幹 形式言語 構成規則 形式体系 演繹システム（英語版） 形式的証明 形式意味論 論理式 集合 元 クラス 古典論理 公理 自然演繹 推論規則 有限関係（英語版） 定理 論理的帰結 公理系 型理論 記号 統語論（英語版） 理論（英語版） 名辞論理学（英語版） 命題 推論 論証 妥当性 三段論法 反対の正方形 ベン図 命題論理とブール論理 ブール関数 命題論理 論理演算 真理値表 原子論理式 リテラル 述語論理 量化 全称記号 存在記号 一階述語論理 二階述語論理 高階述語論理 単項述語計算（英語版） 標準形 連言標準形 選言標準形 否定標準形 冠頭標準形 スコーレム標準形 節標準形 集合論 集合 空集合 数え上げ 外延 有限集合 関数 部分集合 冪集合 可算集合 帰納的集合 定義域 値域 順序対 非可算集合 モデル理論 モデル（英語版） 解釈（英語版） 超準モデル 有限モデル理論 真理値 妥当性 証明論 形式的証明 演繹システム（英語版） 形式体系 定理 論理的帰結 推論規則 統語論（英語版） 再帰理論 再帰 帰納的集合 帰納的可算集合 決定問題 チャーチ＝チューリングのテーゼ 計算可能関数 原始再帰関数 表現 真理値表 クワイン・マクラスキー法 カルノー図 存在グラフ 概念地図 オイラー図 ベン図 スパイダー図 タブローの方法 Xバー理論 構文木 構文解析
非古典論理 様相論理学 真理様相（英語版） 価値様相（英語版） 義務論理 信念様相（英語版） 認識論理 時相論理 線形時相論理 直観主義 直観論理 構成的解析（英語版） ハイディング算術（英語版） 直観主義型理論 構成的集合論（英語版） ファジィ論理 真理の程度（英語版） ファジィルール（英語版） ファジィ集合 ファジィ有限要素（英語版） ファジィ集合演算（英語版） 部分構造論理 構造規則（英語版） 適切さの論理 線形論理 矛盾許容論理 真矛盾主義 様相記述論理（英語版） 存在論 オントロジー言語（英語版）
論理学者 アンダーソン アリストテレス イブン・ルシュド イブン・スィーナー ベイン（英語版） バーワイズ（英語版） ベルナイス ブール ブーロス（英語版） カントール カルナップ チャーチ クリュシッポス カリー ド・モルガン フレーゲ ギーチ ゲンツェン ゲーデル ヒルベルト クリーネ クリプキ ライプニッツ レーヴェンハイム（英語版） ペアノ パース パトナム クワイン ラッセル シュレーダー（英語版） スコトゥス スコーレム スマリヤン タルスキ チューリング ホワイトヘッド オッカムのウィリアム ウィトゲンシュタイン ツェルメロ
カテゴリ