カリーのパラドックス - Wikipedia
カリーのパラドックス（英: Curry's paradox）は、素朴集合論や素朴論理学で見られるパラドックスであり、自己言及文といくつかの一見問題ない論理的推論規則から任意の文が派生されることを示す。名称の由来は論理学者のハスケル・カリーから。 ドイツの数学者マルティン・フーゴー・レープ（Martin Hugo Löb）の名をとって レープのパラドックスとも呼ばれている[1]。 自然言語の場合[編集] カリーのパラドックスの自然言語版は次のような文である。 この文が真なら、サンタクロースは実在する。 この文が真であると仮定する。すると、その内容からサンタクロースが実在するということが結論として得られる。これは conditional derivation（条件付き演繹）と呼ばれる自然演繹技法を使った推論である。 つまり、この文が真であるなら、サンタクロースは実在する — これはその文そのも
擬似問題 - Wikipedia
この記事は検証可能な参考文献や出典が全く示されていないか、不十分です。出典を追加して記事の信頼性向上にご協力ください。（このテンプレートの使い方） 出典検索?: "擬似問題" – ニュース · 書籍 · スカラー · CiNii · J-STAGE · NDL · dlib.jp · ジャパンサーチ · TWL（2020年9月） 擬似問題（ぎじもんだい、pseudo problem）とは、問いを立てる際の暗黙の仮定や前提が誤っていたり、検証できないものに依拠していたりするため答えがそもそも存在しない問い。 問いに含まれている誤った前提に気づくことなく、そのまま推論を進めていくと、矛盾やパラドックスと呼ばれる状況に直面する。一般にはそうした状況になって初めて、「これは擬似問題なのではないか」つまり「議論の前提に何か誤りが含まれているのではないか？」と気が付くことになる。 擬似問題はある真性の
1
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
処理を実行中です
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く
