量化
例えば、算術において、「全ての自然数にはその次の数が存在する」と言った場合、あるいは論理学で、「ある議論領域に特定の属性をもつ事象が少なくとも1つ存在する」と言った場合、いずれも量化を行っている。量化を伴う言語要素を量化子(quantifier)と呼ぶ。量化子を使った表現は量化されており、述語や関数の自由変項を量化子によって束縛することで量化が行われる。量化は自然言語でも形式言語でも行われる。自然言語での量化子の例として、「全ての」、「いくつかの」、「多くの」、「一部の」などがある。形式言語では、量化は(論理)式の構成要素の一部であり、ある式から別の式を生成する。言語の意味論によって、それら構成要素が妥当性の範囲でどう解釈されるかが指定される。量化は変項束縛操作の一例である。
述語論理における2種類の基本的量化として、全称量化と存在量化がある。これらの詳細は各項目にあるので、ここでは両者に共通する量化の概念を述べる。
全称量化子は、"A" を逆さにした "∀" で表される。存在量化子は、"E" を裏返しにした "∃" で表される。これらの量化子は、Mostowski と Lindström の研究を端緒として一般化されていった。