量化のソースを表示

'''量化'''（りょうか、{{lang-en-short|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'' である。
同様に、[[論理和]]の場合もある。
: 2 は素数である、または 3 は素数である、または5は素数である、または …… 、または n は素数である、または ……
この場合は、'''存在量化'''によって簡潔に定式化される。
: ある[[自然数]] ''n'' があり、''n'' は素数である。

== 量化子の入れ子 ==
次のような文を考えてみよう。
: 任意の自然数 ''n'' について、''s'' = ''n'' &times; ''n'' となる、ある自然数 ''s'' がある。
これは明らかに真である。これは単に全ての数に[[自乗|平方]]が存在することを主張しているに過ぎない。

量化子を意味する部分の順序を変えると、その内容は全く変わってしまう。
: ある自然数 ''s'' について、''s'' = ''n'' &times; ''n'' となる、任意の自然数 ''n'' がある。
これは明らかに偽である。ある1つの自然数 ''s'' が、'''あらゆる'''自然数の平方であると主張することになってしまう。

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

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

* A: '''R''' 上の ''f'' の各点連続
::<math> \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 </math>

波括弧上の全称量化子を入れ替えても、同じである。
* A': '''R''' 上の ''f'' の各点連続:
::<math> \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 </math>

これは、A' で波括弧上にある存在量化子と全称量化子を入れ替えた次のものとは異なる。
* B: '''R''' 上の ''f'' の一様連続:
::<math> \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 </math>

== 量化の範囲 ==
それぞれの量化は、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" に由来する。これを使った量化式は次のようになる。
: <math> \exists{x}\, P  \quad \forall{x}\, P </math>
ここで、"''P''" は何らかの（論理）式を表す。他にも様々な表記方法がある。
: <math> \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</math>
以上の表記方法は全て全称量化にも適用可能である。全称量化の他の記法として、次のものがある。
: <math>(x) \, P \quad \bigwedge_{x} P</math>

一部の記法では、量化範囲を明示的に示している点に注意されたい。量化範囲は常に示すべきだが、その数学理論によっては表現方法も変わってくる。
* 全ての量化の議論領域が固定である場合: ツェルメロ＝フレンケルの集合論など
* 一部の議論領域が固定で、必要に応じて各変項の「型; type」として領域を宣言する場合: [[プログラミング言語]]の[[型システム]]に似ている
* 毎回量化の範囲を明示的に示す場合: 領域内の全てのオブジェクトの[[集合]]をシンボルで表したり、領域内のオブジェクトの[[型理論|型]]を示す。

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

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

一方、[[チャールズ・サンダース・パース]]とその学生 O. H. Mitchell は独自に全称量化子だけでなく存在量化子も生み出していた（1885年）。パースと Mitchell は、我々が ∀''x'' と ∃''x'' と書くところを Π<sub>x</sub> と Σ<sub>x</sub> と書いていた。この記法は 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.

==外部リンク==
* [http://plato.stanford.edu/entries/generalized-quantifiers/ Generalized quantifiers] [[スタンフォード哲学百科事典]]
* [http://www.stanford.edu/group/nasslli/courses/peters-wes/PWbookdraft2-3.pdf ''QUANTIFIERS''] (PDF) by Stanley Peters and Dag Westerståhl
* [http://www.sakura.cc.tsukuba.ac.jp/~khashimo/paper/Quantification.html 量化をめぐるラッセル] 橋本康二
* {{Wayback|url=http://www.geocities.jp/mickindex/frege/frg_paper_m_q.html |title=多重量化を克服せよ |date=20190101000000}} ミック

{{logic}}

{{Normdaten}}
{{DEFAULTSORT:りようか}}
[[Category:量化|*]]
[[Category:述語論理]]
[[Category:意味論 (論理学)]]
[[Category:数学に関する記事]]
[[Category:哲学的論理学]]
[[Category:量]]