存在論的一般化

述語論理では、存在一般化^{[ 1 ] [ 2 ]} （存在導入、∃Iとも呼ばれる）は、特定の命題、つまり1つの事例から量化された一般化命題、つまり存在命題へと移行することを可能にする有効な推論規則である。一階述語論理では、存在量化子（${\displaystyle \exists }$形式的な証明において。

例：「ローバーは尻尾を振るのが大好きです。したがって、尻尾を振るのが好きな何かが存在します。」

例：「アリスは自分で紅茶を淹れた。したがって、アリスは誰かに紅茶を淹れた。」

例：「アリスは自分で紅茶を淹れた。したがって、誰かが誰かに紅茶を淹れた。」

フィッチ式計算では：

${\displaystyle Q(a)\to \ \exists {x}\,Q(x),}$

どこ${\displaystyle Q(a)}$から得られる${\displaystyle Q(x)}$の自由な出現箇所をすべて置き換えることによって${\displaystyle x}$（またはそれらのいくつか）${\displaystyle a}$[ ^{3 ]​}

ウィラード・ヴァン・オーマン・クワインによれば、普遍的インスタンス化と存在的一般化は単一の原理の2つの側面であり、${\displaystyle \forall x\,x=x}$暗示する$\displaystyle {\text{ソクラテス}}={\text{ソクラテス}}}$否定も同じように言える$\displaystyle {\text{ソクラテス}}\neq {\text{ソクラテス}}}$暗示する${\displaystyle \exists x\,x\neq x}$これら２つの操作に体現されている原理は、量化と、それらに事例として関連付けられる単数形の記述との間のリンクである。しかし、それはあくまで便宜上の原理にすぎない。それは、用語が名前を付ける場合、さらに指示的に現れる場合にのみ成り立つ。^{[ 4 ]}

• 存在インスタンス化
• 推論規則の一覧
• 普遍的な一般化