语言
没有数据
通知
无通知
論理学において、含意命題の対偶とは、条件をともに否定し、さらにその含意の向きを逆にしたものである。明示的に書けば、命題「AならばBである」の対偶は、「BでないならばAでない」となる。命題とその対偶の論理的な真偽は常に一致する。したがって、ある命題が真ならばその対偶も真であるし、偽の場合もしかりである。 対偶論法（たいぐうろんぽう、英:
(1)対(ツイ)になっていること。 対称をなすこと。
ようにすると、その説明自体は論理的には何一つ曇り無く正確であることに注意。連続体仮説、選択公理などを参照のこと。 ^ a b 「論理学史」p195 山下正男 岩波書店 1983年9月14日第1刷発行 ^ 毎日新聞社編『話のネタ』PHP文庫 p.55 1998年 ^ 「近代科学の源をたどる
数理論理学（すうりろんりがく、英 : mathematical logic）または現代論理学、記号論理学、数学基礎論、超数学は、数学の分野の一つであり、「数学の理論を展開する際にその骨格となる論理の構造を研究する分野」を指す。数理論理学（数学基礎論）と密接に関連している分野としては計算機科学や理論計算機科学などがある。
理論物理学（りろんぶつりがく、英語: theoretical physics）は、物理学において、理論的な模型や理論的仮定（主に数学的な仮定）を基に理論を構築し、既知の実験事実（観測や観察の結果）や、自然現象などを説明し、かつ未知の現象に対しても予想する物理理論を扱う分野のこと。実験物理学と対比して使われる言葉。
ユダヤ系であり平和主義者であるということが、国家主義者に嫌悪され、第一次世界大戦でドイツが敗戦した後には、パウル・ヴァイラント（ドイツ語版）による、反相対性理論キャンペーンが張られたりもした。 物理学者の世界においても、ユダヤ的であるという理由でアインシュタインの業績を認めない、フィリップ・レーナル
文学理論（ぶんがくりろん、英語: literary theory）とは、「文学とは何か」を構築するための理論である。文芸批評とは異なり、個別の作品の読み方ではなく、そもそも文学とは何か、あるいは何を目指すものか、どのように構成されているか、という根本的な問いを探求するものであり、作品の批評とは通常区別される。
チャールズ・サンダース・パース フリードリッヒ・シュレーダー ゴットロープ・フレーゲ ジュゼッペ・ペアノ ルイス・キャロル（チャールズ・ラトウィッジ・ドジソン） エルンスト・ツェルメロ バートランド・ラッセル ヤン・ウカシェヴィチ レオポールト・レーヴェンハイム スタニスワフ・レシニェフスキ トアルフ・スコーレム
搜索 
搜索 搜索 
