直観主義論理 - Wikipedia
直観主義論理（ちょっかんしゅぎろんり、英: intuitionistic logic）または直観論理（ちょっかんろんり）、あるいは構成的論理（こうせいてきろんり、英: constructive logic）とは、ある種の論理体系であり、伝統的な真理値の概念が構成的証明の概念に置き換わっている点で古典論理とは異なる。例えば古典論理では、全ての論理式に真か偽の真理値 ( ) が割り当てられる。このときその真理値に対する直接的なエビデンスを持つか否かは問題にしない。これはどのような曖昧な命題においても「真か偽かが決定可能である」ということを意味する。対照的に、直観主義論理では確定的に論理式に真理値を割り当てるのではなく、それが真であるとは「直接的なエビデンス」つまり「証明」があることと見做す。 証明論的な視点から見ると、直観主義論理は古典論理の制限であって排中律や二重否定除去が公理として許容され
誤った二分法 - Wikipedia
誤った二分法（あやまったにぶんほう、英: false dichotomy）、選択の限定あるいは誤ったジレンマ（英: false dilemma）は非論理的誤謬の一種であり、実際には他にも選択肢があるのに、二つの選択肢だけしか考慮しない状況を指す。 密接に関連する概念として、ある範囲の選択肢があるのにそのうちの両極端しか考えないという場合もあり、これを白黒思考 (black-and-white thinking) などと呼ぶ。なお "dilemma" の先頭の "di" は「2」を意味する。2つより多い選択肢の一覧が示され、その一覧以外の選択肢が存在するのに考慮しない場合、これを誤った選択の誤謬 (fallacy of false choice) または網羅的仮説の誤謬 (fallacy of exhaustive hypotheses) と呼ぶ。 誤った二分法は、特に選択を相手に強いるよう
矛盾許容論理 - Wikipedia
矛盾許容論理（むじゅんきょようろんり、Paraconsistent Logic）とは、矛盾を特別な方法で扱う論理体系。また、矛盾に対して耐性のある論理を研究・構築する論理学の一分野を指す。矛盾許容型論理とも。 矛盾許容論理は1910年ごろにはすでに存在していた（原始的な形ではアリストテレスまで遡る）。しかし、矛盾許容（Paraconsistent）という用語が使われるようになったのは 1976年であり、ペルー人哲学者 Francisco Miró Quesada が最初である[1]。 定義[編集] 古典論理や直観主義論理では、矛盾からはあらゆることが導かれる。この特徴を爆発律（英語版）[2]などと呼び、形式的には次のように表される: ここで は論理的帰結関係を意味する。言葉で表すならば、「AかつAでないならば、Bである」という意味である。このBは任意である、つまり全てが自明となる。 上記の
Category:パラドックス - Wikipedia
下位カテゴリ このカテゴリには下位カテゴリ 6 件が含まれており、そのうち以下の 6 件を表示しています。
Unicode6.0の携帯電話の絵文字の一覧 - Wikipedia
この項目には、一部のコンピュータや閲覧ソフトで表示できない文字（Unicode 6.0の絵文字）が含まれています（詳細）。 Unicode6.0の携帯電話の絵文字の一覧（ユニコード6.0のけいたいでんわのえもじのいちらん）では、2010年制定のUnicode 6.0 で採用された携帯電話の絵文字（Emoji）の一覧と、携帯キャリアごとの対応状況について示す。 Unicode 6.1 では、文字コードを絵文字スタイルとして扱うか、テキストスタイルとして扱うかの異体字セレクタが用意された[1]。絵文字スタイルの場合は、U+FE0Fを、テキストスタイルの場合は、U+FE0Eを文字コードの後に記述する。このため、理論上は多くの文字コードに絵文字スタイルを適用することが出来るが、Unicodeでは、これらを絵文字の歴史的コードとしている。 各キャリア別の表はiモード絵文字、EZweb絵文字、Soft
1
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く
