数学・記号論理学とは? わかりやすく解説

Weblio 辞書 > 辞書・百科事典 > ウィキペディア小見出し辞書 > 数学・記号論理学の意味・解説 

数学・記号論理学

出典: フリー百科事典『ウィキペディア(Wikipedia)』 (2021/09/29 15:57 UTC 版)

パラドックス」の記事における「数学・記号論理学」の解説

ルイス・キャロルのパラドックス 推論正当化に関する無限後退扱ったパラドックス推論規則公理位置付け考えるのに使われるバナッハ=タルスキーのパラドックス 選択公理使用すると球をある方法有限個(5個以上)に分割して組み立てなおすと、もとの球と同じ大きさの球が2個できる、というもの。 ヘンペルのカラス カラスを1羽も見る事無くカラスは黒い」を証明できる、というもの。 抜き打ちテストのパラドックス 「期間内抜き打ちテストを行う」という特に間違ってはいなさそう言説から、論理的に矛盾導かれる、というもの。これの考察の手法として、様相論理用いることもある。 トムソンのランプ 今から1秒後にランプをつけ、その .mw-parser-output .frac{white-space:nowrap}.mw-parser-output .frac .num,.mw-parser-output .frac .den{font-size:80%;line-height:0;vertical-align:super}.mw-parser-output .frac .den{vertical-align:sub}.mw-parser-output .sr-only{border:0;clip:rect(0,0,0,0);height:1px;margin:-1px;overflow:hidden;padding:0;position:absolute;width:1px}1⁄2 秒後にランプ消し、さらにその 122 秒後にランプをつけ……というように 1⁄2n 秒毎にランプオンオフ切替えると、全部で2秒経過したときランプついているか。 すべての馬は同じ色 数学的帰納法にかかわるパラドックスベルトランのパラドックス 一見簡単な問題が「無作為」という言葉解釈次第結論変わってしまうというもの。

※この「数学・記号論理学」の解説は、「パラドックス」の解説の一部です。
「数学・記号論理学」を含む「パラドックス」の記事については、「パラドックス」の概要を参照ください。

ウィキペディア小見出し辞書の「数学・記号論理学」の項目はプログラムで機械的に意味や本文を生成しているため、不適切な項目が含まれていることもあります。ご了承くださいませ。 お問い合わせ



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

辞書ショートカット

すべての辞書の索引

「数学・記号論理学」の関連用語

数学・記号論理学のお隣キーワード
検索ランキング

   

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



数学・記号論理学のページの著作権
Weblio 辞書 情報提供元は 参加元一覧 にて確認できます。

   
ウィキペディアウィキペディア
Text is available under GNU Free Documentation License (GFDL).
Weblio辞書に掲載されている「ウィキペディア小見出し辞書」の記事は、Wikipediaのパラドックス (改訂履歴)の記事を複製、再配布したものにあたり、GNU Free Documentation Licenseというライセンスの下で提供されています。

©2025 GRAS Group, Inc.RSS