Categorical propositionとは? わかりやすく解説

Weblio 辞書 > 辞書・百科事典 > 百科事典 > Categorical propositionの意味・解説 

全称命題

(Categorical proposition から転送)

出典: フリー百科事典『ウィキペディア(Wikipedia)』 (2023/03/11 02:43 UTC 版)

全称命題(ぜんしょうめいだい、英:universal proposition)とは、一つの集合を構成する全ての項について、ある性質を肯定する命題である。これは命題なので真理値を常に持つ。

例えば、「全ての犬はいずれ死ぬ」という命題と「全ての牛は空を飛ぶ」という命題はどちらも全称命題であり、前者は真であり後者は偽である。全称命題は、存在命題の否定と論理的に等値である。それゆえ、「全ての牛は空を飛ぶ」という命題を主張することは、「少なくとも一頭は空を飛べない牛がいる」という命題を否定することと等値である。

述語P(x)に対して、述語の変数を集合Uを変域にする自由変数xの全てと考えたとき、集合Uに関して全称命題がつくられる[1]。∀xU(P(x))と表す[2]。「バラは赤い」は、Uを「バラ」の集合、P(x)を「xは赤い」と考えるとこの記号で表せる。ただし、Q(x)を「xはバラである」として、∀xQ(x)→P(x)とする場合もある。この場合、解釈の領域を、例えば「花」などにする必要がある[3]

ただし、ヒューム的な因果に関する懐疑論の線に従えば、真となる全称命題は唯一、アプリオリに存在し定義から導き出される種類の命題(「全ての犬は哺乳類である」など)に限られる。アポステリオリに、すなわち世界についての経験から導き出される命題(「全ての犬は4本足をもって生まれてくる」など)は決して真として確証されることはなく、差し当たり真とされている(反証可能である)、というものである。

脚注

  1. ^ 嘉田勝(2008) 「論理と集合から始める数学の基礎」p31〜32
  2. ^ 嘉田勝(2008) 「論理と集合から始める数学の基礎」p34
  3. ^ 清水義夫(1984) 『記号論理学』p38~39 p46~48

関連項目




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

辞書ショートカット

すべての辞書の索引

「Categorical proposition」の関連用語

Categorical propositionのお隣キーワード
検索ランキング

   

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



Categorical propositionのページの著作権
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