ないブログに表示されています。新しい記事を書く事で広告が消えます。命題(めいだい、Proposition)とは、意味に不明瞭なところがない文章の事。「彼は偉人である」という文章は、「偉人」という言葉の定義が不明瞭なので命題とはいわない。数学や記号論理学では「命題」という言葉はより厳密に用いられる。詳しくは証明の項を参照されたい。一般に「至上命題」という言葉がよく用いられるが、これは命題という言葉を命令や課題と混同した誤用である。命題そのものの相互間には上下関係はないため、この用法は誤用であるとする説もある。正しい事を真(しん、true)といい、そうでない事を偽(ぎ、false)という。具体的なセッティングを決めると、各命題のそのセッティングでの真偽が決まる。誤解されがちだが、命題そのものに真偽が割り振られているわけではない。真偽は命題を具体的なセッティング(専門用語で「モデル」)に当てはめたときにはじめて決まる。「犬の体重が50キロである」という命題の真偽は、「犬」がどの犬なのかというセッティングを決めてはじめて決まる。「犬の体重が50キロである」という命題そのものに真偽があるわけではない。同様に「AならばB」という命題も、AとBが具体的になんであるのかを決めることによって、真偽が決まる。記号論理学では、A、Bといった各要素にどのようなものを割り当てても必ず真になる命題の事を恒真命題、もしくはトートロジーといい、その逆にA、Bといった各要素にどのようなものを割り当てても必ず偽になる命題の事を恒偽命題という。トートロジーはどのようなセッティングでも必ず真であるので、Aがトートロジーである事を慣習的に「Aは真である」というが、この言い方は厳密には正しくない。自己言及命題とは、ギリシア哲学者のソフィストが詭弁として用いたもので有名なものにクレタ人の嘘というのがある。「全てのクレタ人は皆嘘つきであるとあるクレタ人が言った」というものが真偽ともに解釈できない命題であるとする主張である。文章の前後関係からセッティングが一意に決まる場合にも、「Aはセッティング***で真である」というべき所を慣習的に「Aは真である」というが、これもやはり厳密ないい方ではない。与えられた命題がトートロジーであるかどうかを有限時間で判定できるとは限らない。[PR]相互リンク出会い系サイト。