moebiusT7/mmv-wiki-index-ja huggingface dataset:
論点のすり替え 論点のすり替え 論点のすり替え （ろんてんのすりかえ、 ラテン語 : ignoratio elenchi ）は、 非形式的誤謬 の一種であり、それ自体は 妥当 な論証だが、本来の問題への答えにはなっていない論証を指す。"ignoratio elenchi" とは ignorance of refutation（反駁とは何であるかを知らないこと）の意。"elenchi" はギリシア語の έλεγχος に由来し、反駁の主張・論証を意味する。 論点相違の虚偽 （ろんてんそういのきょぎ）、 論点無視の虚偽 （ろんてんむしのきょぎ）ともいう（広辞苑）。 アリストテレス は、論点のすり替えは相手の主張に反駁する際に犯してしまう間違いであると考えていたため、その当人が反駁とはどういうものかについて無知なのだと述べた。アリストテレスにとって、論点のすり替えは 論理 を知らないことに等しい。実際、アリストテレスはすべての論理的誤謬は論点のすり替えに還元されるとまで言っている。 ^ Introduction to Logic: Ignoratio Elenchi ^ 「 論点相違の虚偽 」『精選版 日本国語大辞典』 。 https://kotobank.jp/word/%E8%AB%96%E7%82%B9%E7%9B%B8%E9%81%95%E3%81%AE%E8%99%9A%E5%81%BD 。 コトバンク より2022年2月24日閲覧 。   This article is issued from Wikipedia . The text is available under Creative Commons Attribution-Share Alike 4.0 unless otherwise noted. Additional terms may apply for the media files.
論点先取 論点先取 論点先取 （ろんてんせんしゅ、 英 : Begging the question 、 羅 : Petitio Principii ）とは、証明すべき 命題 が暗黙または明示的に 前提 の1つとして使われるという 誤謬 の一種。 論点先取の虚偽 （ろんてんせんしゅのきょぎ）とも言われる。論点先取は、 循環論法 の誤謬と関連している。西洋での最初の定義としては、 古代ギリシア の 哲学 者 アリストテレス が紀元前350年ごろに行ったものが知られており、その著書『 分析論前書 』や『 詭弁論駁論 』にある。 ^ Fallacy: Begging the Question The Nizkor Project ^ begging the question - Skeptic's Dictionary ^ Fallacy:Circular Reasoning San Jose State University ^ beg the question - Definitions from Dictionary.com ^ 論点先取 懐疑論者の祈り ^ 『大辞林 第三版』 。『哲学事典』「アリストテレスの虚偽論」「虚偽」平凡社、1971年。「論点 窃 取の虚偽」とも訳される（近藤洋逸・好並英司『論理学入門』第２部「第５章 虚偽論」岩波書店、1979年、136ページ）。 ^ 英 : Prior Analytics ^ ( アリストテレス 2014 , pp. 270–274, 第二巻 第一六章 最初の論点を要請すること（論点先取）) This article is issued from Wikipedia . The text is available under Creative Commons Attribution-Share Alike 4.0 unless otherwise noted. Additional terms may apply for the media files.
論理プログラミング 論理プログラミング プログラミング・パラダイム 命令型プログラミング 手続き型プログラミング モジュラープログラミング 構造化プログラミング オブジェクト指向プログラミング クラスベース プロトタイプベース メッセージング アクターモデル アスペクト指向 宣言型プログラミング 関数型プログラミング 純粋関数型プログラミング 論理プログラミング 並行論理プログラミング 制約論理プログラミング 解集合プログラミング 帰納プログラミング 仮説論理プログラミング データフロープログラミング リアクティブプログラミング 並行制約プログラミング マルチパラダイム ジェネリックプログラミング イベント駆動型プログラミング 動的プログラミング 並行プログラミング 制約プログラミング メタプログラミング 自動プログラミング 帰納プログラミング テンプレートメタプログラミング リフレクティブプログラミング マクロ 契約プログラミング インテンショナルプログラミング 文芸的プログラミング 量子プログラミング 論理プログラミング （Logic Programming）とは、 数理論理学 （記号論理学）を基礎にした プログラミングパラダイム 、または 数理論理学 の コンピュータプログラミング への応用である。 形式論理 の 論理式 を ソースコード の書式に投影することが基本になる。 プログラミング に適用するための幅広い解釈が加えられており、研究対象としての論理プログラミングは非常に多様である。 より一般的に受け入れられている論理プログラミングは、 述語論理 を基礎にし、問題領域の事実と規則を論理式モデル書式で表現して（ロジック）、 非決定性 の 演繹 の 導出原理 を用いる（コントロール）というものである。この アルゴリズム スタイルで最も普及した論理プログラミング言語は「 Prolog 」である。 This article is issued from Wikipedia . The text is available under Creative Commons Attribution-Share Alike 4.0 unless otherwise noted. Additional terms may apply for the media files.
論理ボリュームマネージャ 論理ボリュームマネージャ 論理ボリュームマネージャ （ろんりボリュームマネージャ、logical volume manager、 LVM ）は、「物理ボリューム」を提供するハードディスクなどのストレージメディア・デバイス（ 補助記憶装置 ）に、直接 ファイルシステム をマップするのではなく、粗粒度（典型的には、メビバイト単位程度）のブロックにより一旦「論理ボリューム」と呼ばれる仮想化されたボリュームに束ねて利用するためのシステムである。一般的な議論については、英語版の en:Logical volume management の記事を参照のこと。この記事では、 HP-UX 由来で、いくつかの商用 UNIX と Unix系 で使われている一連の実装としてのLVMについて述べる。他のシステムでは、例えば ZFS のように、分離しない形でファイルシステムの低レイヤとしてほぼ同程度の機能を持っている、という場合もある。 This article is issued from Wikipedia . The text is available under Creative Commons Attribution-Share Alike 4.0 unless otherwise noted. Additional terms may apply for the media files.
論理リンク制御 論理リンク制御 論理リンク制御 （ろんりリンクせいぎょ、Logical Link Control、以下 LLC と略す）は、 OSI参照モデル の データリンク層 を2つにわけた上のほうの副層で、 IEEE 802 .2 によって最初に定められた。一般にデータリンク層はLLC副層・ MAC副層 の形で上下にわけられ、このうち LLCは イーサネット ・ トークンリング ・ 無線LAN といったさまざまな物理メディアを統一する役を負っている。 This article is issued from Wikipedia . The text is available under Creative Commons Attribution-Share Alike 4.0 unless otherwise noted. Additional terms may apply for the media files.
論理主義 (数学) 論理主義 (数学) 数学 についての 論理主義 （ろんりしゅぎ、 英 : Logicism 、 仏 : Logicism 、 独 : Logizismus ）は、 数学 全体を 論理学 の一部とみなし、 数学を基礎付け 、数学を論理学へと還元できるとする立場である。方法的には、論理学の諸規則から数学のそれを 演繹 することが出来ると主張する。 なお、 哲学 では、強力な 還元主義 が主要な立場になることは稀である。 This article is issued from Wikipedia . The text is available under Creative Commons Attribution-Share Alike 4.0 unless otherwise noted. Additional terms may apply for the media files.
論理包含 論理包含 論理包含 （ろんりほうがん、 含意 （がんい）、 内含 、 英 : implication 、IMP）は、第1 命題 が 偽 または第2命題が 真 のときに真となる 論理演算 である。 条件文 （じょうけんぶん、 英 : conditional ）とほぼ同じものである。論理的帰結（ 英 : logical consequence ）や伴意（ 英 : entailment ）とは異なる物である。 →「 論理的帰結 」を参照 2つの命題 P {\displaystyle P} と Q {\displaystyle Q} に対する論理包含を P ⟹ Q {\displaystyle P\implies Q} (または P → Q {\displaystyle P\to Q} )と書き、「 P {\displaystyle P} ならば Q {\displaystyle Q} 」、「 P {\displaystyle P} は Q {\displaystyle Q} を含意する」、「 P {\displaystyle P} は Q {\displaystyle Q} の 十分条件 」と読む。また P ⟹ Q {\displaystyle P\implies Q} の形をした命題を 仮言命題 （ hypothetical proposition ）、 P {\displaystyle P} をその 前件 （ antecedent ）、 Q {\displaystyle Q} をその 後件 （ consequent ）などと呼ぶ。 ^ 近藤洋逸 、好並英司『論理学概論』岩波書店、1964年、32頁。 NDLJP : 2969913 。   This article is issued from Wikipedia . The text is available under Creative Commons Attribution-Share Alike 4.0 unless otherwise noted. Additional terms may apply for the media files.
論理合成 論理合成 論理合成 （ろんりごうせい、 英 : logic synthesis ）は、抽象的な回路の動作に関する記述（ レジスタ転送レベル など）から 論理回路 の実装設計を行う工程である。一般に VHDL や Verilog などの ハードウェア記述言語 が使われる。ツールによっては、 PAL や FPGA といった プログラマブルロジックデバイス 向けの bitstream を生成する。また、 ASIC 向けの生成を行うツールもある。論理合成は EDA の一部である。 This article is issued from Wikipedia . The text is available under Creative Commons Attribution-Share Alike 4.0 unless otherwise noted. Additional terms may apply for the media files.
論理和 論理和 数理論理学 において 論理和 （ろんりわ、 英 : logical disjunction ）とは、与えられた複数の 命題 のいずれか少なくとも一つが真であることを示す命題を作る 論理演算 である。 離接 （りせつ）、 選言 （せんげん）とも呼ぶ。 二つの命題 P , Q に対する論理和は記号 ∨ を用いて P ∨ Q と表せる。この記号は ラテン語 で（非排他的）論理和を意味する vel の頭文字に由来する。また P ∨ Q の形をした命題を 選言命題 （ disjunctive proposition ）、その中に現れる命題 P や Q を 選言肢 （ disjunct ）という。 ^ 山下正男 『論理学史』 岩波書店 〈 岩波全書 〉、1983年、69頁。   ^ 近藤洋逸 、好並英司『論理学概論』岩波書店、1964年、32頁。 NDLJP : 2969913 。   This article is issued from Wikipedia . The text is available under Creative Commons Attribution-Share Alike 4.0 unless otherwise noted. Additional terms may apply for the media files.
論理和の導入 論理和の導入 論理和の導入 (ろんりわのどうにゅう、 英 : Disjunction introduction )( 選言導入則 、 ∨ {\displaystyle \lor } -導入則 )は、 命題論理 の 妥当性 のある 推論規則 のひとつである。この規則を用いることによって、 論理式 の証明の中に新たに 論理和 (「 ∨ {\displaystyle \lor } 」)を加えることができる。もし「P」という 命題 が真であれば、「PまたはQ」という命題もまた真である、という 推論規則 である。例えば、「ソクラテスは人間である」という命題が真であれば、「ソクラテスが人間であるか、または豚が英仏海峡上空を編隊飛行している」という命題は真である。 この規則は、下記のように記述することができる。 P ∴ P ∨ Q {\displaystyle {\frac {P}{\therefore P\lor Q}}} ここで、命題「 P {\displaystyle P} 」が証明のなかのどの行に出てきても、その後の行に「 P ∨ Q {\displaystyle P\lor Q} 」を示すことができるものとされている。 論理和の導入の規則は、「矛盾からはあらゆることが導かれる」という爆発律を認めない 矛盾許容論理 の立場においては、他の論理的規則との組み合わせによっては認められないとする議論もある（ 矛盾許容論理におけるトレードオフ を参照）。 ^ Hurley ^ Moore and Parker ^ Copi and Cohen This article is issued from Wikipedia . The text is available under Creative Commons Attribution-Share Alike 4.0 unless otherwise noted. Additional terms may apply for the media files.
論理和の消去 論理和の消去 論理和の消去 (ろんりわのしょうきょ、 英 : Disjunction elimination )( 論理積の除去 、 選言削除則 、 ∨ {\displaystyle \lor } -除去則 は、 命題論理 における 妥当性 のある 推論規則 のひとつである。この規則を用いることによって、 論理式 の証明から 論理和 を削除することができる。もし命題「 P {\displaystyle P} 」から命題「 Q {\displaystyle Q} 」が導き出され、かつ命題「 R {\displaystyle R} 」からも命題「 Q {\displaystyle Q} 」が導き出されるとき、「 P {\displaystyle P} もしくは R {\displaystyle R} 」のいずれかが真である場合に、「 Q {\displaystyle Q} 」が真となるという 推論規則 である。PもしくはRのうち少なくとも一方が正しく、QであるためにはPとRのうちどちらかが正しければよいから、Qは正しい、ということである。例えば、下記の例が挙げられる。 もし私が屋内にいれば、私は財布を持っている。 もし私が屋外にいれば、私は財布を持っている。 私は屋内にいるか、屋外にいるかのどちらかである。 したがって、私は財布を持っている。 この規則は、下記のように記述することができる。 P → Q , R → Q , P ∨ R ∴ Q {\displaystyle {\frac {P\to Q,R\to Q,P\lor R}{\therefore Q}}} ここで、命題「 P → Q {\displaystyle P\to Q} 」、命題「 R → Q {\displaystyle R\to Q} 」、命題「 P ∨ R {\displaystyle P\lor R} 」が証明のなかのどの行に出てきても、その後の行において、 命題「 Q {\displaystyle Q} 」を示すことができるものとされている。 ^ https://proofwiki.org/wiki/Rule_of_Or-Elimination ^ http://www.cs.gsu.edu/~cscskp/Automata/proofs/node6.html This article is issued from Wikipedia . The text is available under Creative Commons Attribution-Share Alike 4.0 unless otherwise noted. Additional terms may apply for the media files.
論理哲学 論理哲学 論理哲学 （ろんりてつがく、 英語 ：philosophy of logic）は、 哲学 の一領域である。それは 論理学 の地位や方法論についての メタ学問 である。 論理学の哲学 とも。 論理哲学は、哲学的問題に形式的論理的技術を応用する 哲学的論理学 (philosophical logic, philosophical logics) と混同される。 This article is issued from Wikipedia . The text is available under Creative Commons Attribution-Share Alike 4.0 unless otherwise noted. Additional terms may apply for the media files.
論理哲学論考 論理哲学論考 『 論理哲学論考 』（ろんりてつがくろんこう、 独 : Logisch-Philosophische Abhandlung 、 英 : Tractatus Logico-philosophicus ）は、 ルートヴィヒ・ウィトゲンシュタイン の著作。ウィトゲンシュタインが生前に出版したただ一つの哲学書であり、かつ前期ウィトゲンシュタインを代表する著作である。後期ウィトゲンシュタインの代表作である『 哲学探究 』が『探究』と略されるのに対し、この『論理哲学論考』は『論考』と略される。 第一次世界大戦 のさなかの 1918年 に執筆され、 1922年 に出版された。なお、『論考』が「論理的―哲学的論文」の表題で『自然哲学年報』第14巻3・4号に掲載されたのは前年の1921年であるが、誤植や誤記が多数含まれていたため、ウィトゲンシュタイン自身はこれを自分の著作と認めていない。 ムーアの示唆によって、今日では人口に膾炙している Tractatus Logico-philosophicus という現行の ラテン語 タイトルが冠せられたのは、1922年に刊行された独英対訳版からである。 ^ a b ウィトゲンシュタイン「論理哲学論考」100年、『現代思想』、青土社、2021年1月臨時増刊号、p.41 This article is issued from Wikipedia . The text is available under Creative Commons Attribution-Share Alike 4.0 unless otherwise noted. Additional terms may apply for the media files.
論理回路 論理回路 論理回路 （ろんりかいろ、 英 : logic circuit ）とは、 デジタル な 電子回路 による、論理演算や記憶を行う回路である。 This article is issued from Wikipedia . The text is available under Creative Commons Attribution-Share Alike 4.0 unless otherwise noted. Additional terms may apply for the media files.
論理型 論理型 ブーリアン型 - プログラミング言語 における型のひとつ 論理型言語 - プログラミング言語の一種 This article is issued from Wikipedia . The text is available under Creative Commons Attribution-Share Alike 4.0 unless otherwise noted. Additional terms may apply for the media files.
論理学 論理学 哲学 伝承 分析   · 大陸 東洋   · イスラーム プラトニズム   · スコラ学 時代 古代   · 中世 近世   · 現代 部門 認識論 倫理学 論理学 形而上学 美学 自然哲学 政治哲学 社会哲学 ポータル・ カテゴリ 論理学 （ろんりがく、 古希 : λογικὴ τέχνη 、 古代ギリシア語ラテン翻字 : logikè téchnē 、 英 : logic 、 独 : Logik 、 仏 : Logique ）は、正しい 推論 の研究である。 形式論理学 および 非形式論理学 が含まれる。形式論理学は、演繹的に 妥当 な推論あるいは 論理的真理 の研究である。論証の議題や内容とは無関係に、論証の構造のみにより、前提からどのように結論が導かれるかを研究する。非形式論理学は、 非形式的誤謬 、 批判的思考 、 議論学 と関わりがある。非形式論理学は 自然言語 で記述される論証を研究する一方、形式論理学は 形式言語 を用いる。各形式論理体系は、 証明系 を記述する。論理学は、 哲学 、 数学 、 計算機科学 、 言語学 を含む多くの分野で中核をなす。 論理学は、前提の集合および結論からなる論証を研究する。論証の例には、前提「今日は日曜日である」および「今日が日曜日であれば、私は働かなくて良い」から結論「私は働かなくて良い」を導くものがある。前提および結論は、 命題 あるいは真理適合的な言明を表現する。命題の重要な側面は、その内部構造にある。例えば、複合命題は、 ∧ {\displaystyle \land } (かつ) や → {\displaystyle \to } (...ならば...) のような論理語彙で接続された単純命題から構成される。単純命題も、「日曜日」や「働く」のような各部分に分解できる。命題の真偽は、通常、その各部分すべての意味に依存する。ただし、論理的に真の命題はその各部分の具体的な意味とは無関係にその論理的構造のみによって真であるため、これに当てはまらない。 論証には、正しいものと正しくないものがある。論証は、前提が結論を支持する場合に正しい。 演繹的論証 は、前提が真である場合、結論も必然的に真であるため、結論の支持が最も強い。一方、前提に含まれない新しい情報を含む結論が帰結する 拡充的論証 では、同様の強い結論の支持が存在しない。日常対話および自然科学で見られる多くの論証は、拡充的論証である。拡充的論証は、 帰納的論証 および 遡及論証 に分類される。帰納的論証は、多くのカラスの個体を観察してすべてのカラスが黒いと結論するような、統計的一般化である。遡及論証は、医者が患者の症状をうまく説明する診断を下すような、最良の説明への推論である。正しい推論の水準に満たない論証には、多くの場合、 誤謬 が含まれる。論理体系は、論証の正しさを評価する理論的枠組みである。 論理学は、 古代 から研究されてきた。論理学の初期の成果には、 アリストテレス論理学 、 ストア派論理学 、 ニヤーヤ学派 、 墨家 がある。アリストテレス論理学は、 三段論法 の形式を取る推論を研究する。アリストテレス論理学は、 ゴットロープ・フレーゲ ら19世紀後半の数学者の業績を起源とする現代の形式論理学に取って代えられるまで、西洋で主要な論理体系とみなされてきた。今日、最も用いられる論理体系は 古典論理 である。 古典論理 は、 命題論理 および 一階述語論理 からなる。命題論理は完全な命題の論理的関係のみを対象とする一方、一階述語論理は 述部 や 数量
には、 アリストテレス論理学 、 ストア派論理学 、 ニヤーヤ学派 、 墨家 がある。アリストテレス論理学は、 三段論法 の形式を取る推論を研究する。アリストテレス論理学は、 ゴットロープ・フレーゲ ら19世紀後半の数学者の業績を起源とする現代の形式論理学に取って代えられるまで、西洋で主要な論理体系とみなされてきた。今日、最も用いられる論理体系は 古典論理 である。 古典論理 は、 命題論理 および 一階述語論理 からなる。命題論理は完全な命題の論理的関係のみを対象とする一方、一階述語論理は 述部 や 数量詞 のような命題の各部分も研究する。拡張論理は、古典論理の基礎となる基本的な直感を受け入れ、これを 形而上学 、 倫理学 、 認識論 などの別の分野に拡張する。一方、 逸脱論理 は、古典論理で用いられる直感の一部を却下し、論理学の基本法則への別の説明を提示する。 ^ Velleman 2006 , pp. 8, 103. ^ Vickers 2022 . ^ Nunes 2011 , pp. 2066–2069. This article is issued from Wikipedia . The text is available under Creative Commons Attribution-Share Alike 4.0 unless otherwise noted. Additional terms may apply for the media files.
論理学の歴史 論理学の歴史 哲学 伝承 分析   · 大陸 東洋   · イスラーム プラトニズム   · スコラ学 時代 古代   · 中世 近世   · 現代 部門 認識論 倫理学 論理学 形而上学 美学 自然哲学 政治哲学 社会哲学 ポータル・ カテゴリ 科学史 背景 理論/社会学 歴史学 疑似科学 時代 初期文明 古典古代 中世 ルネサンス 科学革命 ロマン主義 文明  · 地域 アフリカ ビザンティン 中国 インド イスラム 分野 自然科学 天文学 生物学 植物学 化学 生化学 生態学 地質学 古生物学 物理学 数学 代数学 微分積分学 組合せ数学 幾何学 論理学 確率 統計学 三角法 社会科学 人類学 経済思想 地理学 言語学 政治学 心理学 社会学 持続可能性 テクノロジー 農学史 計算機科学 物質科学 医学 カテゴリ 論理学の歴史 では、妥当な推論を探求する学問の発展を取り扱う。 →前 近代 の論理学については「 伝統的論理学 」を、近代以降の論理学については「 現代論理学（数理論理学） 」を参照 形式論理学 は古代の ギリシア や インド で発展した。ギリシア論理学、中でもアリストテレス論理学は科学・数学に広く受容・応用されている。 アリストテレス論理学は 中世 のイスラーム圏および キリスト教西方世界 にさらに発展し、14世紀半ばに頂点をむかえた。14世紀から19世紀初めまでの時期は概して 論理学 が衰退し、軽視された時期であり、少なくとも一人の論理学史家によって論理学の不毛期とみなされている。 19世紀半ばになると論理学が復興し、革命期が始まって、数学において用いられる厳密な証明を手本とする厳格かつ形式的な規則へと主題が発展した。近現代において発展した 現代論理学 、いわゆる 数理論理学 あるいは 記号論理学 は二千年にわたる論理学の歴史において最も顕著なものであり、人類の知性の歴史において最も重要・顕著な事件の一つだと言える。 数理論理学の発展は20世紀の最初の数十年に、特に ゲーデル および タルスキ の著作によって起こり、 分析哲学 や 哲学的論理学 に、特に1950年代以降に 様相論理 や 時相論理 、 義務論理 、 適切さの論理 といった分野に影響を与えた。 ^ Oxford Companion p. 498; Bochenski, Part I Introduction, passim ^ Oxford Companion p. 500 This article is issued from Wikipedia . The text is available under Creative Commons Attribution-Share Alike 4.0 unless otherwise noted. Additional terms may apply for the media files.
論理学体系 論理学体系 『 論理学体系 』（ろんりがくたいけい、 英 : A System of Logic, Ratiocinative and Inductive 、1843年）はイギリスの哲学者 ジョン・スチュアート・ミル の著書。彼は本書の中で 帰納 の五つの原理を定式化しており、それらの原理は ミルの方法 として知られている。 This article is issued from Wikipedia . The text is available under Creative Commons Attribution-Share Alike 4.0 unless otherwise noted. Additional terms may apply for the media files.
論理学者 論理学者 論理学者 （ろんりがくしゃ）とは、 論理学 を専門に研究する人のことである。 This article is issued from Wikipedia . The text is available under Creative Commons Attribution-Share Alike 4.0 unless otherwise noted. Additional terms may apply for the media files.
論理定項 論理定項 論理学 において、 言語 L {\displaystyle {\mathcal {L}}} の 論理定項 ( 英 : logical constant ) は、 L {\displaystyle {\mathcal {L}}} の全ての 解釈 の下で同じ 意味値 を持つ 記号 である。 論理定項の二つの重要な型は、 論理結合子 と 量化記号 である。 等式 述語 （通常'='と書かれる）もまた、多くの 論理体系 において論理定項として扱われる。 一般的に論理定項として扱われるいくつかの記号を以下に示す： 記号 意味 T " 真 (true)" F " 偽 (false)" ¬ " でない (not)" ∧ " かつ (and)" ∨ " または (or)" → " ならば (implies", "if.. " 必然的である (necessary)" ◊ {\displaystyle \Diamond } " 可能的である (possible)" 上記のリスト以外の記号が一般的にさまざま論理定項を記すために用いられることもある。例えば、記号 "&" は 論理和 を表す。 論理学の哲学 における根本的な疑問の一つに、"論理定項とは何か?"というものがある。一体、論理定項のどのような特徴がそれらを 論理的 にしているのか？ ^ Carnap This article is issued from Wikipedia . The text is available under Creative Commons Attribution-Share Alike 4.0 unless otherwise noted. Additional terms may apply for the media files.
論理実証主義 論理実証主義 論理実証主義 （ろんりじっしょうしゅぎ、 英 : logical positivism ）とは、 20世紀 前半の 哲学史 の中で、特に 科学哲学 、 言語哲学 において重要な役割を果たした 思想 ないし運動。 論理経験主義 （ 英 : logical empiricism ）、 科学経験主義 ともいう。 This article is issued from Wikipedia . The text is available under Creative Commons Attribution-Share Alike 4.0 unless otherwise noted. Additional terms may apply for the media files.
論理少女 論理少女 論理少女 ジャンル 学園漫画 、 推理漫画 漫画 作者 つじ要 出版社 講談社 掲載誌 月刊少年シリウス レーベル シリウスKC 発表号 2008年 4月号 - 2011年 2月号 巻数 全5巻 テンプレート - ノート 『 論理少女 』（ろんりしょうじょ、LOGICAL GIRL）は、 つじ要 による 日本 の 漫画 作品。『 月刊少年シリウス 』（ 講談社 ）にて 2008年 4月号から 2011年 2月号まで連載された。話数カウントは「LOGIC○」。論理ゲームによるバトルを描いた少年漫画。緻密な論理や、相手の言葉の隙を突く発想の転換等、様々な論理戦が繰り広げられる。 This article is issued from Wikipedia . The text is available under Creative Commons Attribution-Share Alike 4.0 unless otherwise noted. Additional terms may apply for the media files.
論理式 論理式 論理式 論理式 (数学) - 数理論理学、命題論理、述語論理において、 形式文法 の規則に合った式のこと。 プログラミング言語 などで、 ブーリアン型 を扱う式のこと。 This article is issued from Wikipedia . The text is available under Creative Commons Attribution-Share Alike 4.0 unless otherwise noted. Additional terms may apply for the media files.
論理式 (数学) 論理式 (数学) 数学 、 数理論理学 、 命題論理 、 述語論理 などにおいて、 論理式 （ろんりしき、 英語 : logical expression ）とは、 真理値 を必要とする場所にあらわれる 式 のことであり、 原子論理式 や、それを 論理演算子 で結びあわせた式のことである。 ここでは 古典論理 のものを例示するが、 非古典論理 をはじめ、他の多くの論理体系についても同様な議論は可能である。 ^ 共立『数学小辞典』「論理式」 This article is issued from Wikipedia . The text is available under Creative Commons Attribution-Share Alike 4.0 unless otherwise noted. Additional terms may apply for the media files.
論理演算 論理演算 論理演算 （ろんりえんざん、logical operation）は、 論理式 において、 論理演算子 などで表現される論理関数（ ブール関数 ）を評価し（正確には、関数適用を評価し）、変数（変項）さらには論理式全体の値を求める演算である。 非古典論理 など他にも多くの論理の体系があるが、ここでは 古典論理 のうちの 命題論理 、特にそれを形式化した ブール論理 に話を絞る。従って対象がとる値は 真理値 の2値のみに限られる。また、その真理値の集合（真理値集合）と演算（演算子）は ブール代数 を構成する。 コンピュータの プロセッサ や プログラミング言語 で多用されるものに、 ブーリアン型 を対象とした通常の論理演算の他に、ワード等の ビット 毎に論理演算を行なう演算があり、 ビット演算 という。 なお、 証明論 的には、 公理 と 推論規則 に従って論理式を変形（書き換え）する演算がある（ 証明論#証明計算の種類 ）。 ^ たとえば、三角関数の sin などといった関数それ自体が「関数」であり、sin(3.14) などのように関数と実引数とを結びつけること and・or 結びつけたものを「関数適用」と言う。 This article is issued from Wikipedia . The text is available under Creative Commons Attribution-Share Alike 4.0 unless otherwise noted. Additional terms may apply for the media files.
論理演算子 論理演算子 論理演算子 （ろんりえんざんし、 英 : logical operator ）は、 コンピュータ・プログラミング や 命題論理 等における 論理演算 の 演算子 の総称である。 This article is issued from Wikipedia . The text is available under Creative Commons Attribution-Share Alike 4.0 unless otherwise noted. Additional terms may apply for the media files.
論理療法 論理療法 論理療法 治療法 MeSH D011617 心理学 心理学の歴史 基礎心理学 異常   · 行動主義 認知   · 発達 比較   · 文化 比較文化 差異   · 発達 実験   · 進化 数理   · 人格 肯定   · 量的 社会   · 深層 応用心理学 臨床   · 地域 消費者   · 教育 カウンセリング 環境   · 人間工学 司法   · 健康 人間性   · 法 産業・組織 解釈   · 医療 軍事   · 音楽 労働衛生   · 政治 宗教   · 学校 スポーツ   · 交通 一覧 心理療法 カテゴリ 論理療法 （ろんりりょうほう、 英語 : rational therapy ）とは、 アルバート・エリス （Albert Ellis）が1955年に提唱した 心理療法 で、心理的問題や生理的反応は、出来事や刺激そのものではなく、それをどのように受け取ったかという認知を媒介として生じるとして、論理的（rational、あるいは合理的）な思考が心理に影響を及ぼすことを重視している。1990年代より名称が変わり、邦訳では 理性感情行動療法 （ 英語 : Rational emotive behavior therapy ; REBT ）などと呼ばれるが、当初の論理療法と呼んでも間違いではない。後に アーロン・ベック が、 認知療法 （Cognitive therapy）を提唱するが、本項目で解説する論理療法はそうした認知に焦点を当てる 認知行動療法 の最初のものである。 理論としては、出来事（A）、ビリーフ（Belief、信念）、結果（C）のビリーフ（B）のうち、非合理的なイラショナル・ビリーフを論駁するという、ABC理論を特徴とする。 分かりやすい論理体系やユーモアある技法、エリスのキャラクターと相まって、依然として論理療法を愛好する人も多い。 ^ 瀬戸正弘 2004 , pp. 112–113. ^ ^ This article is issued from Wikipedia . The text is available under Creative Commons Attribution-Share Alike 4.0 unless otherwise noted. Additional terms may apply for the media files.
論理療法士 論理療法士 論理療法士 (Certified REBT Therapist)は、 論理療法 の専門家、すなわち、REBT(Rational Emotive Behavior Therapy)サイコセラピストおよびカウンセラーとして日本論理療法学会(Japanese Association of Rational Emotive Behavior Therapy、略称：日本REBTまたはJ-REBT)が研修し認定する 民間資格 である。毎年1回の資格認定試験が実施されている。資格認定試験は、日本論理療法学会の学会員でなければ受験できない。 This article is issued from Wikipedia . The text is available under Creative Commons Attribution-Share Alike 4.0 unless otherwise noted. Additional terms may apply for the media files.
論理的 論理的 ウィキペディアには「 論理的 」という見出しの百科事典記事はありません （ タイトルに「論理的」を含むページの一覧 /「論理的」で始まるページの一覧） 。 代わりに ウィクショナリー のページ「 論理的 」が役に立つかもしれません。 wikt:Special:Search/論理的 This article is issued from Wikipedia . The text is available under Creative Commons Attribution-Share Alike 4.0 unless otherwise noted. Additional terms may apply for the media files.
論理的帰結 論理的帰結 論理的帰結 （ろんりてききけつ、 伴意 、 英 : logical consequence, entailment ）は、 論理学 における最も基本的な概念であり、複数の 文 （または 命題 ）の 集合 と1つの文（命題）の間が「～だから、当然～」という繋がり方をする関係を指す。例えば、「 カーミット は緑色だ」という文は、「全ての カエル は緑色だ」と「カーミットはカエルだ」の論理的帰結である。 このような論理的帰結の確かさは、前提が真かどうか、および完全かどうかに依存する。この前提は全てのカエルが緑色でない場合は真ではないことになる。 演繹 による 推論 や論理的帰結は 認識論 の重要な面であり、 因果 に関する一般的 仮説 を伝達する意味を持つ。 形式的な論理的帰結関係はモデル理論的なものと 証明論 的なもの（あるいは両方）がある。 論理的帰結は、文の集合から文の集合への 関数 としても表現できる（ タルスキ 風の定式化）し、2つの文の集合の間の関係としても表現できる（ multiple-conclusion logic ）。 This article is issued from Wikipedia . The text is available under Creative Commons Attribution-Share Alike 4.0 unless otherwise noted. Additional terms may apply for the media files.
論理的推論 論理的推論 推論  > 論理的推論 論理的推論 （ろんりてきすいろん、 英 : logical reasoning ）は、 論理学 において 演繹 、 帰納 、 アブダクション（仮説形成） の3種類に区別され得る。 前提条件 (precondition)、 結論 (conclusion)、そして 前提条件は結論を含意する という 規則 (rule) があるとすると、それら 3種の 推論 は次の仕方で説明され得る。 演繹 演繹 は、結論を規定することを意味する。この推論は、規則と前提条件を用いて結論を導くことである。 例えば、「雨がふると芝生は湿る。雨がふっている。したがって、芝生は湿っている。」 数学者 は通常、この種の推論にかかわっている。 帰納 帰納 は、規則を規定することを意味する。この推論は、前提条件の次に起こる結論の諸事例の一部から規則を学ぶことである。 例えば、「これまで、雨がふるといつも芝生は湿ってきた。したがって、雨がふると芝生は湿る。」 科学者 は通常、この種の推論にかかわっている。 アブダクション（仮説形成） アブダクション は、過去事象についての前提条件を推定することを意味する。この推論は、現在確定される結論と規則を用いて「ある前提条件が結論を説明することができるだろう」ということを裏づけることである。 例えば、「芝生が湿っている。雨がふると芝生が湿る。したがって、雨がふったに違いない。」 歴史科学 者や診断専門医や 探偵 は通常、この種の推論にかかわっている。 ^ 倉田 剛『 論証の教室〔入門編〕: インフォーマル・ロジックへの誘い 』新曜社、2022年3月31日、35–36頁。 ISBN  978-4-7885-1759-2 。 https://www.shin-yo-sha.co.jp/book/b603187.html 。   This article is issued from Wikipedia . The text is available under Creative Commons Attribution-Share Alike 4.0 unless otherwise noted. Additional terms may apply for the media files.
論理的真理 論理的真理 論理的真理 （ろんりてきしんり、 英語 : logical truth ）は、 論理学 の基本的な概念の一つ。その性質については様々な説がある。論理的真理とは、 真 であり、かつ、 論理定項 以外の構成要素があらゆる 解釈 のもとで真であり続ける 言明 のことである。これは 分析的言明 の一種である。全ての 哲学的論理学 は、 論理的帰結 および論理的真理の性質についての説を提示するものと考えることができる。 論理的真理（ 恒真式 を含む）は、一般に 必然的真理 （necessary truth）とみなされる。これは、それが真でないことはありえず、論理的真理が拒否されるような状況が生じないということを意味する。しかし、必然的に真の言明があるということは、普遍的には受け入れられていない。 一部の哲学者は、論理的真理を全ての 可能世界 で真の言明と捉えている。論理的真理は、現実世界で真であっても、それが偽である可能世界が存在する 事実 （fact、偶然的言明〈contingent claim〉または総合的言明〈synthetic claim〉とも呼ばれる）と対比される。 命題 「pかつqならばp」や命題「結婚している人はみな結婚している」は、世界の何らかの事実ではなく命題の持つ固有の構造によって真であるため、論理的真理である。その後、形式論理学の台頭により、論理的真理は、全ての可能な解釈の下で真の言明と考えられるようになった。 論理的真理の存在は、論理的真理の 知識 を経験的に説明することが不可能と考える 理性主義 の哲学者によって 経験主義 への反論として提唱されてきた。経験主義者はこの反論に対し、論理的真理（彼らは通常、これは単なる恒真式であると考えている）は分析的なものであり、世界を説明することを目的としていないと主張している。 ^ ウィラード・ヴァン・オーマン・クワイン 『論理学の哲学』( Philosophy of logic ) This article is issued from Wikipedia . The text is available under Creative Commons Attribution-Share Alike 4.0 unless otherwise noted. Additional terms may apply for the media files.
論理積 論理積 数理論理学 において 論理積 （ろんりせき、 英 : logical conjunction ）とは、与えられた複数の 命題 のいずれもが例外なく真であることを示す 論理演算 である。 合接 （ごうせつ）、 連言 （れんげん、れんごん）とも呼び、 AND とよく表す。 二つの命題 P , Q に対する論理積を P ∧ Q と書き、「 P かつ Q 」や「 P そして Q 」などと読む。また P ∧ Q の形をした命題を 連言命題 （ conjunctive proposition ）、その中に現れる命題 P や Q を 連言肢 （ conjunct ）という。 ^ 近藤洋逸 、好並英司『論理学概論』岩波書店、1964年、47頁。 NDLJP : 2969913 。   This article is issued from Wikipedia . The text is available under Creative Commons Attribution-Share Alike 4.0 unless otherwise noted. Additional terms may apply for the media files.
論理積の導入 論理積の導入 論理積の導入 (ろんりせきのどうにゅう、 英 : Conjunction introduction )( 連言導入則 、 ∧ {\displaystyle \land } -導入則 とも）は、 命題論理 における 妥当性 のある 推論規則 のひとつである。この規則を用いることによって、 論理式 の証明の中に新たに 論理積 (「 ∧ {\displaystyle \land } 」)を加えることができる。もし「P」という 命題 が真であり、かつ「Q」という命題が真であれば、「PかつQ」という命題もまた真である、という 推論規則 である。例えば、「雨が降っている」という命題が真であり、「私は部屋の中にいる」という命題が真であれば、「雨が降っており、私は部屋の中にいる」という命題は真である。この規則は、下記のように記述することができる。 P , Q ∴ P ∧ Q {\displaystyle {\frac {P,Q}{\therefore P\land Q}}} ここで、命題「 P {\displaystyle P} 」と命題「 Q {\displaystyle Q} 」がそれぞれ証明のなかのどの行に出てきても、その後の行に「 P ∧ Q {\displaystyle P\land Q} 」を示すことができるものとされている。 ^ Hurley, Patrick (1991). A Concise Introduction to Logic 4th edition . Wadsworth Publishing. pp. 346–51   ^ Copi and Cohen ^ Moore and Parker This article is issued from Wikipedia . The text is available under Creative Commons Attribution-Share Alike 4.0 unless otherwise noted. Additional terms may apply for the media files.
論理積の消去 論理積の消去 論理積の消去 (ろんりせきのしょうきょ、 英 : Conjunction elimination )( 論理積の除去 、 連言除去則 、 ∧ {\displaystyle \land } -除去則 は、 命題論理 における 妥当性 のある 推論規則 のひとつである。もし、「PかつQ」とい 命題 が真であれば、「P」という命題が真であり、同時に「Q」という命題も真であることを指す。この規則を用いることによって、 論理積 (「かつ」、「 ∧ {\displaystyle \land } 」)で結び付けられた命題の片方を抽出することができる。例えば、「雨が降っており、土砂降りである」という命題が真であれば、「雨が降っている」という命題は真である。この規則は、下記のように、 P ∧ Q ∴ P {\displaystyle {\frac {P\land Q}{\therefore P}}} および、 P ∧ Q ∴ Q {\displaystyle {\frac {P\land Q}{\therefore Q}}} の２つの記述をすることができる。ここで、命題「 P ∧ Q {\displaystyle P\land Q} 」が証明のなかのどの行に出てきても、その後の行において、命題「 P {\displaystyle P} 」もしくは命題「 Q {\displaystyle Q} 」を示すことができるものとされている。 ^ David A. Duffy (1991). Principles of Automated Theorem Proving . New York: Wiley   Sect.3.1.2.1, p.46 ^ Copi and Cohen ^ Moore and Parker ^ Hurley This article is issued from Wikipedia . The text is available under Creative Commons Attribution-Share Alike 4.0 unless otherwise noted. Additional terms may apply for the media files.
論理記号の一覧 論理記号の一覧 論理記号の一覧 （ろんりきごうのいちらん）では、 論理学 における 記号 について解説する。論理記号は、当学問分野で広く論理的表現を表すのに用いられている。 以下の表は多くの一般的な記号について、それらの名称と読み方、数学における関連分野について記している。加えて、非形式的な定義と単純な例を示す。そして Unicode における符号位置や 文字参照 、 L a T e X で使用可能なコマンドを記している。 This article is issued from Wikipedia . The text is available under Creative Commons Attribution-Share Alike 4.0 unless otherwise noted. Additional terms may apply for the media files.