存在汎化とは? わかりやすく解説

Weblio 辞書 > 辞書・百科事典 > 百科事典 > 存在汎化の意味・解説 

存在汎化

(Existential generalization から転送)

出典: フリー百科事典『ウィキペディア(Wikipedia)』 (2022/05/21 14:46 UTC 版)

ナビゲーションに移動 検索に移動

存在汎化(そんざいはんか、: Existential generalization[1][2], existential introduction, ∃I)は特定の言明もしくは1つの事例から、汎化的に量化された言明または存在命題に移行することを可能にする、妥当な推論規則のひとつである。一階述語論理では、形式的証明における存在記号(∃)の規則としてしばしば使用される。

例: 「ローバーは尻尾を振るのが大好きだ。したがって、何かは尻尾を振るのが大好きである。」

フィッチ表記では次のように書く。

ここで、aQ(x)内のxのすべての束縛されていない事例を置き換える。[3]

クワイン

クワインによれば、普遍例化と存在汎化は、「∀x x=x」が「ソクラテス=ソクラテス」を意味するという代わりに、その否定の「ソクラテス≠ソクラテス」が「∃x xx」を意味すると言うこともできるという、単一の原則における2つの側面である。しかしそれは形式上の原則でもある。これは、用語名がある場合、そしてまた指示がある場合にのみ成り立つ[4]

関連項目

脚注

  1. ^ Copi, Irving M.; Cohen, Carl (2005). Introduction to Logic. Prentice Hall 
  2. ^ Hurley, Patrick (1991). A Concise Introduction to Logic 4th edition. Wadsworth Publishing 
  3. ^ pg. 347. Jon Barwise and John Etchemendy, Language proof and logic Second Ed., CSLI Publications, 2008.
  4. ^ Willard Van Orman Quine; Roger F. Gibson (2008). “V.24. Reference and Modality”. Quintessence. Cambridge, Massachusetts: Belknap Press of Harvard University Press. http://www.worldcat.org/title/quintessence-basic-readings-from-the-philosophy-of-wv-quine/oclc/728954096  Here: p.366.



英和和英テキスト翻訳>> Weblio翻訳
英語⇒日本語日本語⇒英語
  

辞書ショートカット

すべての辞書の索引

「存在汎化」の関連用語

存在汎化のお隣キーワード
検索ランキング

   

英語⇒日本語
日本語⇒英語
   



存在汎化のページの著作権
Weblio 辞書 情報提供元は 参加元一覧 にて確認できます。

   
ウィキペディアウィキペディア
All text is available under the terms of the GNU Free Documentation License.
この記事は、ウィキペディアの存在汎化 (改訂履歴)の記事を複製、再配布したものにあたり、GNU Free Documentation Licenseというライセンスの下で提供されています。 Weblio辞書に掲載されているウィキペディアの記事も、全てGNU Free Documentation Licenseの元に提供されております。

©2025 GRAS Group, Inc.RSS