適切さの論理 - Wikipedia
英語版記事を日本語へ機械翻訳したバージョン（Google翻訳）。 万が一翻訳の手がかりとして機械翻訳を用いた場合、翻訳者は必ず翻訳元原文を参照して機械翻訳の誤りを訂正し、正確な翻訳にしなければなりません。これが成されていない場合、記事は削除の方針G-3に基づき、削除される可能性があります。 信頼性が低いまたは低品質な文章を翻訳しないでください。もし可能ならば、文章を他言語版記事に示された文献で正しいかどうかを確認してください。 履歴継承を行うため、要約欄に翻訳元となった記事のページ名・版について記述する必要があります。記述方法については、Wikipedia:翻訳のガイドライン#要約欄への記入を参照ください。 翻訳後、{{翻訳告知|en|Relevance logic|…}}をノートに追加することもできます。 Wikipedia:翻訳のガイドラインに、より詳細な翻訳の手順・指針についての説明
非古典論理 - Wikipedia
非古典論理（ひこてんろんり、non-classical logic(s)）は、古典論理におけるいくつかの仮定を否定、もしくは置き換えることによって構築された論理、あるいは、古典論理における仮定をすべて認めた上で新たな仮定を付け加えることによって構築された論理の総称である。 古典論理の拡張としての非古典論理[編集] 古典論理の拡張としての非古典論理では、基本的に、古典論理のすべての定理がその論理体系でも定理となる。 様相論理 時相論理（時制論理） 線形時相論理 義務論理（規範論理） 古典論理の代替としての非古典論理[編集] 古典論理の代替としての非古典論理は、基本的に、古典論理の定理のいくつかがその論理体系では定理でない。 直観論理 排中律を認めない。 多値論理 「真」、「偽」以外にも様々な真理値を取る論理。 適切さの論理 別名 : 相関論理、関連性の論理、関連性論理 「1+1=3なら宇宙人
古典論理 - Wikipedia
古典論理（こてんろんり、英: classical logic）は形式論理の部類で、最も研究され最も広く使われている論理である。標準論理（英: standard logic）とも呼ばれる[1][2]。 以下に示す性質が特徴である:[3] 排中律の採用及び、二重否定の除去; 無矛盾律と、矛盾からはいかなることも導ける（en:Principle of explosion）とすること（矛盾許容論理も参照）; 帰結関係（論理的帰結を参照）の単調性（en:Monotonicity of entailment、単調写像を参照）と帰結関係の冪等性（en:Idempotency of entailment）; 論理積の交換法則（en:Commutativity of conjunction）; ド・モルガンの双対性: 全ての論理演算子はどれか他の演算子の双対である; 以上の諸条件からは、古典論理は命題論理と
Principle of explosion - Wikipedia
"EFQ" redirects here. For the literary baseball journal, see Elysian Fields Quarterly. "Ex falso quodlibet" redirects here. For the musical form, see Quodlibet. For the audio player and library organizer, see Quod Libet (software). This article needs additional citations for verification. Please help improve this article by adding citations to reliable sources. Unsourced material may be challenged
矛盾許容論理 - Wikipedia
矛盾許容論理（むじゅんきょようろんり、Paraconsistent Logic）とは、矛盾を特別な方法で扱う論理体系。また、矛盾に対して耐性のある論理を研究・構築する論理学の一分野を指す。矛盾許容型論理とも。 矛盾許容論理は1910年ごろにはすでに存在していた（原始的な形ではアリストテレスまで遡る）。しかし、矛盾許容（Paraconsistent）という用語が使われるようになったのは 1976年であり、ペルー人哲学者 Francisco Miró Quesada が最初である[1]。 定義[編集] 古典論理や直観主義論理では、矛盾からはあらゆることが導かれる。この特徴を爆発律（英語版）[2]などと呼び、形式的には次のように表される: ここで は論理的帰結関係を意味する。言葉で表すならば、「AかつAでないならば、Bである」という意味である。このBは任意である、つまり全てが自明となる。 上記の
直観主義論理 - Wikipedia
直観主義論理（ちょっかんしゅぎろんり、英: intuitionistic logic）または直観論理（ちょっかんろんり）、あるいは構成的論理（こうせいてきろんり、英: constructive logic）とは、ある種の論理体系であり、伝統的な真理値の概念が構成的証明の概念に置き換わっている点で古典論理とは異なる。例えば古典論理では、全ての論理式に真か偽の真理値 ( ) が割り当てられる。このときその真理値に対する直接的なエビデンスを持つか否かは問題にしない。これはどのような曖昧な命題においても「真か偽かが決定可能である」ということを意味する。対照的に、直観主義論理では確定的に論理式に真理値を割り当てるのではなく、それが真であるとは「直接的なエビデンス」つまり「証明」があることと見做す。 証明論的な視点から見ると、直観主義論理は古典論理の制限であって排中律や二重否定除去が公理として許容され
bourbakib.dvi
1. . , ? , . , , , . 1 , 20 . . (3 + 1 ), (7 ), (5 + 1 ), (2 ), (2 + 1 ), (5 ), (3 ), (4 ), (1 ), ( 2 ), . , , , , , , ? .∗ 2. . 1934 A. H. , 1939 . 1950 , , , , , 1 . , 2 , , , , 1 . , 3 † , . , . 1930 , . , , , . http://www.bourbaki.ens.fr/ , , H. , C. , J. , J. , A. , , 30 , 9 . 50 , , . 1 P. ( , Mathematical Intelligencer 20 (1998 )) , ∗ , 18 , 28 . † , 1 4 , 1 , 2 S. , J. , R. , J.-L. , P. ,
アンリ・カルタン - Wikipedia
アンリ・ポール・カルタン（仏: Henri Paul Cartan、1904年7月8日 - 2008年8月13日）は、フランスの数学者。数学者エリ・カルタンの長男。ニコラ・ブルバキの創始者のひとり。 1904年ナンシー生まれ。1929年高等師範学校卒業。リール大学準教授を経て、1938年からストラスブール大学教授、1940年からソルボンヌ大学教授を務めた。アメリカ、ドイツなどでも教え、1975年までパリ第11大学で教鞭を執った。2008年にパリで104歳という長寿を全うした。 多変数複素関数論、ホモロジー代数に業績を残し、このうち多変数複素関数論では岡潔の業績を層 (数学)の概念を用いて整理し、多くの数学者に受け入れられるようにした。1980年のウルフ賞数学部門をはじめ数々の賞を受賞した。
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く
アンリ･カルタンへのインタビュー | taro-nishinoの日記 | スラド
DVIOUT-B5-satomiki
https://www2.tsuda.ac.jp/suukeiken/math/suugakushi/sympo08/08takase.pdf