语言
没有数据
通知
无通知
が、それ以前の行の内容に基づき、（整式の）変形規則を正しく適用して得られたものであるとき、証明が完了したとみなされる。（なお、タブローの方法という別の記述方法もある。） 公理集合は空集合を採用する。 ここでの命題計算では八つの推論規則を考える。これらの規則によって真だと仮定された式たちからほかの真
Interpretatione, 英: On Interpretation）とは、アリストテレスの著作であり、『オルガノン』の中の一冊。 文字通り、様々な（真偽判定の対象となる）「命題文」のあり方について述べられている。原題は、「表現について」「説明について」「解釈について」といった程度の意味。 14の章から成り、1章-13章については内容上、
ようにすると、その説明自体は論理的には何一つ曇り無く正確であることに注意。連続体仮説、選択公理などを参照のこと。 ^ a b 「論理学史」p195 山下正男 岩波書店 1983年9月14日第1刷発行 ^ 毎日新聞社編『話のネタ』PHP文庫 p.55 1998年 ^ 「近代科学の源をたどる
("statement")」 という術語を用いることを提唱した。 ある肯定的判断・命題を立てること、また立てられた肯定的判断・命題のことを定立（テーゼ）と呼び、ヘーゲル弁証法では、三段階発展の最初の段階を指す語として使用される。カントの二律背反では、同等の権利をもって語ることのできる、世界につい
数理論理学（すうりろんりがく、英 : mathematical logic）または現代論理学、記号論理学、数学基礎論、超数学は、数学の分野の一つであり、「数学の理論を展開する際にその骨格となる論理の構造を研究する分野」を指す。数理論理学（数学基礎論）と密接に関連している分野としては計算機科学や理論計算機科学などがある。
理論物理学（りろんぶつりがく、英語: theoretical physics）は、物理学において、理論的な模型や理論的仮定（主に数学的な仮定）を基に理論を構築し、既知の実験事実（観測や観察の結果）や、自然現象などを説明し、かつ未知の現象に対しても予想する物理理論を扱う分野のこと。実験物理学と対比して使われる言葉。
文学理論（ぶんがくりろん、英語: literary theory）とは、「文学とは何か」を構築するための理論である。文芸批評とは異なり、個別の作品の読み方ではなく、そもそも文学とは何か、あるいは何を目指すものか、どのように構成されているか、という根本的な問いを探求するものであり、作品の批評とは通常区別される。
チャールズ・サンダース・パース フリードリッヒ・シュレーダー ゴットロープ・フレーゲ ジュゼッペ・ペアノ ルイス・キャロル（チャールズ・ラトウィッジ・ドジソン） エルンスト・ツェルメロ バートランド・ラッセル ヤン・ウカシェヴィチ レオポールト・レーヴェンハイム スタニスワフ・レシニェフスキ トアルフ・スコーレム
搜索 
