論理
論理(ろんり)とは、事実や現象を理解し、解釈するための一連の思考過程を指す言葉である。論理は、一貫性と矛盾のない思考を可能にし、結論を導き出すための手段となる。論理的な思考は、事実や情報を整理し、それらの間の関連性を明確にすることで、問題解決や意思決定に役立つ。 論理には、帰納的論理と演繹的論理の二つの主要な形式が存在する。帰納的論理は、特定の事例から一般的な法則や原則を導き出す方法である。一方、演繹的論理は、一般的な法則や原則から特定の事例を導き出す方法である。 現代では、論理的思考は科学的な研究やビジネスの意思決定、日常生活の問題解決など、多岐にわたる分野で重要な役割を果たしている。また、コンピュータサイエンスや人工知能の分野では、論理を基にしたアルゴリズムが広く用いられている。
ろん‐り【論理】
論理学
(論理 から転送)
出典: フリー百科事典『ウィキペディア(Wikipedia)』 (2024/06/30 19:47 UTC 版)
論理学 (ろんりがく、英語: logic) は、正しい推論の研究である。形式論理学および非形式論理学が含まれる。形式論理学は、演繹的に妥当な推論あるいは論理的真理の研究である。論証の議題や内容とは無関係に、論証の構造のみにより、前提からどのように結論が導かれるかを研究する。非形式論理学は、非形式的誤謬、批判的思考、議論学と関わりがある。非形式論理学は自然言語で記述される論証を研究する一方、形式論理学は形式言語を用いる。各形式論理体系は、証明系を表現する。論理学は、哲学、数学、計算機科学、言語学を含む多くの分野で中核をなす。
- ^ Velleman 2006, pp. 8, 103.
- ^ Vickers 2022.
- ^ Nunes 2011, pp. 2066–2069.
- ^ Pépin 2004, Logos; Online Etymology Staff.
- ^ Hintikka 2019, lead section, §Nature and varieties of logic.
- ^ Hintikka 2019, §Nature and varieties of logic; Haack 1978, pp. 1–10, Philosophy of logics; Schlesinger, Keren-Portnoy & Parush 2001, p. 220.
- ^ Hintikka & Sandu 2006, p. 13; Audi 1999b, Philosophy of logic; McKeon.
- ^ Blair & Johnson 2000, pp. 93–95; Craig 1996, Formal and informal logic.
- ^ Craig 1996, Formal and informal logic; Barnes 2007, p. 274; Planty-Bonjour 2012, p. 62; Rini 2010, p. 26.
- ^ MacFarlane 2017; Corkum 2015, pp. 753–767; Blair & Johnson 2000, pp. 93–95; Magnus 2005, pp. 12–4, 1.6 Formal languages.
- ^ a b McKeon; Craig 1996, Formal and informal logic.
- ^ Hintikka & Sandu 2006, p. 13.
- ^ Magnus 2005, Proofs, p. 102.
- ^ Hintikka & Sandu 2006, pp. 13–16; Makridis 2022, pp. 1–2; Runco & Pritzker 1999, p. 155.
- ^ Gómez-Torrente 2019; Magnus 2005, 1.5 Other logical notions, p. 10.
- ^ a b Hintikka & Sandu 2006, p. 16.
- ^ Honderich 2005, logic, informal; Craig 1996, Formal and informal logic; Johnson 1999, pp. 265–268.
- ^ Craig 1996, Formal languages and systems; Simpson 2008, p. 14.
- ^ Craig 1996, Formal languages and systems.
- ^ Hintikka & Sandu 2006, pp. 22–3; Magnus 2005, pp. 8–9, 1.4 Deductive validity; Johnson 1999, p. 267.
- ^ Haack 1978, pp. 1–2, 4, Philosophy of logics; Hintikka & Sandu 2006, pp. 16–17; Jacquette 2006, Introduction: Philosophy of logic today, pp. 1–12.
- ^ Haack 1978, pp. 1–2, 4, Philosophy of logics; Jacquette 2006, pp. 1–12, Introduction: Philosophy of logic today.
- ^ Haack 1978, pp. 5–7, 9, Philosophy of logics; Hintikka & Sandu 2006, pp. 31–2; Haack 1996, pp. 229–30.
- ^ Haack 1978, pp. 1–10, Philosophy of logics; Groarke 2021, lead section; 1.1 Formal and Informal Logic.
- ^ Johnson 2014, pp. 228–9.
- ^ Groarke 2021, lead section; 1. History; Audi 1999a, Informal logic; Johnson 1999, pp. 265–274.
- ^ Craig 1996, Formal and informal logic; Johnson 1999, p. 267.
- ^ Blair & Johnson 2000, pp. 93–97; Craig 1996, Formal and informal logic.
- ^ Johnson 1999, pp. 265–270; van Eemeren et al., pp. 1–45, Informal Logic.
- ^ Groarke 2021, 1.1 Formal and Informal Logic; Audi 1999a, Informal logic; Honderich 2005, logic, informal.
- ^ Blair & Johnson 2000, pp. 93–107; Groarke 2021, lead section; 1.1 Formal and Informal Logic; van Eemeren et al., p. 169.
- ^ Oaksford & Chater 2007, p. 47.
- ^ Craig 1996, Formal and informal logic; Walton 1987, pp. 2–3, 6–8, 1. A new model of argument; Engel 1982, pp. 59–92, 2. The medium of language.
- ^ Blair & Johnson 1987, pp. 147–51.
- ^ Falikowski & Mills 2022, p. 98; Weddle 2011, pp. 383–8, 36. Informal logic and the eductive-inductive distinction; Blair 2011, p. 47.
- ^ Vickers 2022; Nunes 2011, pp. 2066–9, Logical Reasoning and Learning.
- ^ Johnson 2014, p. 181; Johnson 1999, p. 267; Blair & Johnson 1987, pp. 147–51.
- ^ a b Vleet 2010, pp. ix–x, Introduction; Dowden; Stump.
- ^ Maltby, Day & Macaskill 2007, p. 564; Dowden.
- ^ Craig 1996, Formal and informal logic; Johnson 1999, pp. 265–270.
- ^ a b Audi 1999b, Philosophy of logic; Honderich 2005, philosophical logic.
- ^ Haack 1974, p. 51.
- ^ a b c d e Audi 1999b, Philosophy of logic.
- ^ Falguera, Martínez-Vidal & Rosen 2021; Tondl 2012, p. 111.
- ^ Olkowski & Pirovolakis 2019, pp. 65–66.
- ^ Audi 1999b, Philosophy of logic; Pietroski 2021.
- ^ Audi 1999b, Philosophy of logic; Kusch 2020; Rush 2014, pp. 1–10, 189–190.
- ^ a b King 2019; Pickel 2020, pp. 2991–3006.
- ^ a b c Honderich 2005, philosophical logic.
- ^ Pickel 2020, pp. 2991–3006.
- ^ Honderich 2005, philosophical logic; Craig 1996, Philosophy of logic; Michaelson & Reimer 2019.
- ^ Michaelson & Reimer 2019.
- ^ Hintikka 2019, §Nature and varieties of logic; MacFarlane 2017.
- ^ Gómez-Torrente 2019; MacFarlane 2017; Honderich 2005, philosophical logic.
- ^ Gómez-Torrente 2019; Jago 2014, p. 41.
- ^ Magnus 2005, pp. 35–38, 3. Truth tables; Angell 1964, p. 164; Hall & O'Donnell 2000, p. 48.
- ^ Magnus 2005, pp. 35–45, 3. Truth tables; Angell 1964, p. 164.
- ^ Tarski 1994, p. 40.
- ^ a b Hintikka 2019, lead section, §Nature and varieties of logic; Audi 1999b, Philosophy of logic.
- ^ Blackburn 2008, argument; Stairs 2017, p. 343.
- ^ Copi, Cohen & Rodych 2019, p. 30.
- ^ Hintikka & Sandu 2006, p. 20; Backmann 2019, pp. 235–255; IEP Staff.
- ^ Hintikka & Sandu 2006, p. 16; Backmann 2019, pp. 235–255; IEP Staff.
- ^ Groarke 2021, 1.1 Formal and Informal Logic; Weddle 2011, pp. 383–8, 36. Informal logic and the eductive-inductive distinction; van Eemeren & Garssen 2009, p. 191.
- ^ Evans 2005, 8. Deductive Reasoning, p. 169.
- ^ McKeon.
- ^ Hintikka & Sandu 2006, pp. 13–4.
- ^ Hintikka & Sandu 2006, pp. 13–4; Blackburn 2016, rule of inference.
- ^ Blackburn 2016, rule of inference.
- ^ Dick & Müller 2017, p. 157.
- ^ Hintikka & Sandu 2006, p. 13; Backmann 2019, pp. 235–255; Douven 2021.
- ^ Hintikka & Sandu 2006, p. 14; D'Agostino & Floridi 2009, pp. 271–315.
- ^ Hintikka & Sandu 2006, p. 14; Sagüillo 2014, pp. 75–88; Hintikka 1970, pp. 135–152.
- ^ Hintikka & Sandu 2006, pp. 13–6; Backmann 2019, pp. 235–255; IEP Staff.
- ^ Rocci 2017, p. 26; Hintikka & Sandu 2006, pp. 13, 16; Douven 2021.
- ^ IEP Staff; Douven 2021; Hawthorne 2021.
- ^ IEP Staff; Hawthorne 2021; Wilbanks 2010, pp. 107–124.
- ^ a b c d Douven 2021.
- ^ Groarke 2021, 4.1 AV Criteria; Possin 2016, pp. 563–593.
- ^ Scott & Marshall 2009, analytic induction; Houde & Camacho 2003, Induction.
- ^ a b Borchert 2006b, Induction.
- ^ a b Douven 2021; Koslowski 2017, Abductive reasoning and explanation.
- ^ a b Cummings 2010, Abduction, p. 1.
- ^ Hansen 2020; Chatfield 2017, p. 194.
- ^ Walton 1987, pp. 7, 1. A new model of argument; Hansen 2020.
- ^ Hansen 2020.
- ^ Sternberg; Stone 2012, pp. 327–356.
- ^ Walton 1987, pp. 2–4, 1. A new model of argument; Dowden; Hansen 2020.
- ^ Stump; Mackie 1967.
- ^ a b Hintikka & Sandu 2006, p. 20.
- ^ Hintikka & Sandu 2006, p. 20; Pedemonte 2018, pp. 1–17; Hintikka 2023.
- ^ Boris & Alexander 2017, p. 74; Cook 2009, p. 124.
- ^ Flotyński 2020, p. 39; Berlemann & Mangold 2009, p. 194.
- ^ Gensler 2006, p. xliii; Font & Jansana 2017, p. 8.
- ^ Haack 1978, pp. 1–10, Philosophy of logics; Hintikka & Sandu 2006, pp. 31–32; Jacquette 2006, pp. 1–12, Introduction: Philosophy of logic today.
- ^ Moore & Carling 1982, p. 53; Enderton 2001, pp. 12–13, Sentential Logic.
- ^ Lepore & Cumming 2012, p. 5.
- ^ Wasilewska 2018, pp. 145–6; Rathjen & Sieg 2022.
- ^ Sider 2010, pp. 34–42; Shapiro & Kouri Kissel 2022; Bimbo 2016, pp. 8–9.
- ^ Restall & Standefer 2023, pp. 91; Enderton 2001, pp. 131–146, Chapter 2.5; van Dalen 1994, Chapter 1.5.
- ^ Jacquette 2006, pp. 1–12, Introduction: Philosophy of logic today; Smith 2022; Groarke.
- ^ Haack 1996, 1. 'Alternative' in 'Alternative Logic'.
- ^ Haack 1978, pp. 1–10, Philosophy of logics; Haack 1996, 1. 'Alternative' in 'Alternative Logic'; Wolf 1978, pp. 327–340.
- ^ Hintikka 2019, §Nature and varieties of logic, §Alternative logics; Hintikka & Sandu 2006, pp. 27–8; Bäck 2016, p. 317.
- ^ Shapiro & Kouri Kissel 2022.
- ^ Burgess 2009, 1. Classical logic.
- ^ Jacquette 2006, pp. 1–12, Introduction: Philosophy of logic today; Borchert 2006c, Logic, Non-Classical; Goble 2001, Introduction.
- ^ Brody 2006, pp. 535–536.
- ^ Klement 1995b.
- ^ Shapiro & Kouri Kissel 2022; Honderich 2005, philosophical logic; Michaelson & Reimer 2019.
- ^ Nolt 2021; Magnus 2005, 4 Quantified logic.
- ^ Bunnin & Yu 2009, p. 179; Garson 2023, Introduction.
- ^ Garson 2023; Sadegh-Zadeh 2015, p. 983.
- ^ Fitch 2014, p. 17.
- ^ Garson 2023; Carnielli & Pizzi 2008, p. 3; Benthem.
- ^ Garson 2023.
- ^ Rendsvig & Symons 2021.
- ^ Audi 1999b, Philosophy of logic; Väänänen 2021; Ketland 2005, Second Order Logic.
- ^ Audi 1999b, Philosophy of logic; Väänänen 2021; Daintith & Wright 2008, Predicate calculus.
- ^ Audi 1999b, Philosophy of logic; Ketland 2005, Second Order Logic.
- ^ Haack 1996, 1. 'Alternative' in 'Alternative Logic'; Wolf 1978, pp. 327–340.
- ^ a b Moschovakis 2022; Borchert 2006c, Logic, Non-Classical.
- ^ Borchert 2006c, Logic, Non-Classical; Bridges et al. 2023, pp. 73–74; Friend 2014, p. 101.
- ^ Sider 2010, Chapter 3.4; Gamut 1991, 5.5; Zegarelli 2010, p. 30.
- ^ Hájek 2006.
- ^ Borchert 2006c, Logic, Non-Classical; Priest, Tanaka & Weber 2018; Weber.
- ^ Priest, Tanaka & Weber 2018; Weber; Haack 1996, Introduction.
- ^ Hintikka 2019, §Logic and other disciplines; Haack 1978, pp. 1–10, Philosophy of logics.
- ^ Hintikka 2019, lead section, §Features and problems of logic; Gödel 1984, pp. 447–469, Russell's mathematical logic; Monk 1976, pp. 1–9, Introduction.
- ^ Jacquette 2006, pp. 1–12, Introduction: Philosophy of logic today.
- ^ Jacquette 2006, pp. 1–12, Introduction: Philosophy of logic today; Burgess 2009, 1. Classical logic.
- ^ Goble 2001, Introduction; Hintikka & Sandu 2006, pp. 31–32.
- ^ Gensler 2006, pp. xliii–xliv; Sider 2010, pp. 4–6; Schagrin.
- ^ Irvine 2022.
- ^ Li 2010, p. ix; Rautenberg 2010, p. 15; Quine 1981, p. 1; Stolyar 1984, p. 2.
- ^ Stolyar 1984, pp. 3–6.
- ^ Hintikka & Spade, Gödel's incompleteness theorems; Linsky 2011, p. 4; Richardson 1998, p. 15.
- ^ Bagaria 2021; Cunningham.
- ^ Borchert 2006a, Computability Theory; Leary & Kristiansen 2015, p. 195.
- ^ Paulson 2018, pp. 1–14; Castaño 2018, p. 2; Wile, Goss & Roesner 2005, p. 447.
- ^ Clocksin & Mellish 2003, pp. 237–238, 252–255, 257, The Relation of Prolog to Logic; Daintith & Wright 2008, Logic Programming Languages.
- ^ O'Regan 2016, p. 49; Calderbank & Sloane 2001, pp. 768.
- ^ Daintith & Wright 2008, Logic Gate.
- ^ Janssen & Zimmermann 2021, pp. 3–4; Partee 2016; King 2009, pp. 557–8; Aloni & Dekker 2016, pp. 22–23.
- ^ Warren 2020, 6. The Epistemology of Logic; Schechter.
- ^ Warren 2020, 6. The Epistemology of Logic.
- ^ Schechter.
- ^ Gómez-Torrente 2019.
- ^ Warren 2020, 6. The Epistemology of Logic; Gómez-Torrente 2019; Warren 2020, 1. What is Conventionalism.
- ^ Chua 2017, pp. 631–636; Wilce 2021; Putnam 1969, pp. 216–241.
- ^ Groarke.
- ^ Lagerlund 2018.
- ^ Spade & Panaccio 2019.
- ^ Haaparanta 2009, pp. 4–6, 1. Introduction; Hintikka & Spade, Modern logic, Logic since 1900.
- ^ Kline 1972, "A major achievement of Aristotle was the founding of the science of logic", p. 53; Łukasiewicz 1957, p. 7; Liu & Guo 2023, p. 15.
- ^ Knuuttila 1980, p. 71; Fisher, Gabbay & Vila 2005, p. 119.
- ^ Berman 2009, p. 133.
- ^ Frede; Groarke.
- ^ Ewald 2019; Smith 2022.
論理
出典: フリー百科事典『ウィキペディア(Wikipedia)』 (2022/01/02 03:49 UTC 版)
「カードの片面に偶数が書かれているならば、その裏面は赤い」の「ならば」は古典論理における論理包含である。そのため、この課題はモーダスポネンス(偶数のカードは全てその裏面が赤いことを確かめなければならない)とモーダストレンス(赤でないカードは全てその裏面が偶数でないことを確かめなければならない)を用いることで解くことができる。
※この「論理」の解説は、「ウェイソン選択課題」の解説の一部です。
「論理」を含む「ウェイソン選択課題」の記事については、「ウェイソン選択課題」の概要を参照ください。
論理
出典: フリー百科事典『ウィキペディア(Wikipedia)』 (2021/11/19 14:34 UTC 版)
様々な時相論理が並行システムの理解を助けるために使われる。特に線形時相論理や計算木論理は、並行システムの各時点の状態を確認するのに使用可能である。Action Computational Tree Logic や Hennesy-Miller Logic、レスリー・ランポートのTemporal Logic of Actionsなどは、「アクション(状態変化)」の並びを確認することができる。これら論理の主な利用法は、並行システムの仕様を記述することである。
※この「論理」の解説は、「並行性」の解説の一部です。
「論理」を含む「並行性」の記事については、「並行性」の概要を参照ください。
論理
出典: フリー百科事典『ウィキペディア(Wikipedia)』 (2022/02/28 01:04 UTC 版)
アルゴリズムは、制御された演繹であるとも言われる。これを アルゴリズム = 論理 + 制御 と表現することもある。論理部分は計算で使われる公理を表し、制御部分は公理に演繹が適用される方法を決定する。これは論理プログラミングというパラダイムの基本である。純粋な論理プログラミングでは、制御部分が固定されていて、アルゴリズムは論理部分だけで指定される。この手法の魅力は、プログラム意味論的なエレガントさがある点である。公理の変化は定式化されたアルゴリズムの変更を伴う。
※この「論理」の解説は、「アルゴリズム」の解説の一部です。
「論理」を含む「アルゴリズム」の記事については、「アルゴリズム」の概要を参照ください。
論理
出典: フリー百科事典『ウィキペディア(Wikipedia)』 (2021/05/27 10:07 UTC 版)
数学的には横線が何本あっても、重複することはない。このことは数学的帰納法や背理法で証明できる。
※この「論理」の解説は、「あみだくじ」の解説の一部です。
「論理」を含む「あみだくじ」の記事については、「あみだくじ」の概要を参照ください。
論理
出典: フリー百科事典『ウィキペディア(Wikipedia)』 (2019/01/02 21:12 UTC 版)
解の存在を考えるときは通常、F(t, x) が x と 可測なt の半連続 (hemicontinuous または upper semi-continuous, en) な関数で、F(t, x) はすべての t and x について閉じている凸集合であることが前提である。初期値問題 d x d t ( t ) ∈ F ( t , x ( t ) ) , x ( t 0 ) = x 0 {\displaystyle {\frac {dx}{dt}}(t)\in F(t,x(t)),\quad x(t_{0})=x_{0}} の解は、十分に短い時間 [t0, t0 + ε) (ここで ε > 0) では存在する。また F が発散しない ( ‖ x ( t ) ‖ → ∞ {\displaystyle \scriptstyle \Vert x(t)\Vert \,\to \,\infty } as t → t ∗ {\displaystyle \scriptstyle t\,\to \,t^{*}} for a finite t ∗ {\displaystyle \scriptstyle t^{*}} ) 場合は、大域的な解が存在することが示される。 凸集合でない微分包含式 F(t, x) の解の存在定理は現在、明らかにされていない。 解の一意性を示すには、通常他の条件が必要となる。たとえば関数 F ( t , x ) {\displaystyle F(t,x)} において片側リプシッツ条件 ( x 1 − x 2 ) T ( F ( t , x 1 ) − F ( t , x 2 ) ) ≤ C ‖ x 1 − x 2 ‖ 2 {\displaystyle (x_{1}-x_{2})^{T}(F(t,x_{1})-F(t,x_{2}))\leq C\Vert x_{1}-x_{2}\Vert ^{2}} をすべての x1 and x2 について満たすような C があるとする。このとき、初期値問題 d x d t ( t ) ∈ F ( t , x ( t ) ) , x ( t 0 ) = x 0 {\displaystyle {\frac {dx}{dt}}(t)\in F(t,x(t)),\quad x(t_{0})=x_{0}} の解は一意に定まる。 これはミンティ (G. J. Minty) と ブレジス (H. Brezis, en) による maximal monotone operators とも深く関わっている。
※この「論理」の解説は、「微分包含式」の解説の一部です。
「論理」を含む「微分包含式」の記事については、「微分包含式」の概要を参照ください。
論理
出典: フリー百科事典『ウィキペディア(Wikipedia)』 (2020/04/16 07:00 UTC 版)
「リキッドバイオプシー」の記事における「論理」の解説
従来の手法と比較して手軽に確度の高い検査を受けられるようになる反面、将来罹患する可能性のある疾病が従来よりもより客観的に明確になることにより、保険の掛け金の算定や雇用、昇進などにも影響を与える可能性があり、情報の取り扱いには細心の注意を要すると共にガイドラインの策定が望まれる。
※この「論理」の解説は、「リキッドバイオプシー」の解説の一部です。
「論理」を含む「リキッドバイオプシー」の記事については、「リキッドバイオプシー」の概要を参照ください。
論理
出典: フリー百科事典『ウィキペディア(Wikipedia)』 (2022/02/21 04:22 UTC 版)
いくつかの命題が与えられ、各命題を矛盾無く真か偽に振り分ける唯一のパターンを見つける、といったようなスタイルのロジックパズルという分野がある。学術的には制約充足問題などとして扱うことができるようなものである。 代表的な問題として、「天使と悪魔(嘘つきと正直者)」「帽子の問題」「天秤の問題」などが知られている。
※この「論理」の解説は、「数学パズル」の解説の一部です。
「論理」を含む「数学パズル」の記事については、「数学パズル」の概要を参照ください。
論理
「論理」の例文・使い方・用例・文例
- 私たちは英語の論理の基礎を教え込まれた
- 論理学
- 私は彼らの論理にはついていけない
- 彼の論理には納得できない
- 内包的論理学
- 私たちの討論に論理的難点があったことは認めざるを得ない。
- 論理的帰結
- 論理的誤差は、人事評価の際に評価者が陥りがちなエラーの1つである。
- 著者は重大な論理的飛躍があると指摘している
- 状況に集中するほうが論理的だ。
- その論理は完璧のようである。
- まさに論理とは真実を見つけ出し、それを嘘と区別することです。
- それが論理的には正しい。
- 私は論理的な思考が得意です。
- 私たちはそれについてもっと論理を固める必要がある。
- 彼女は論理的思考がやや苦手です。
- 彼女は論理的思考が苦手です。
- その方が論理的であると思います。
- 彼の論理には飛躍がある。
論理と同じ種類の言葉
- >> 「論理」を含む用語の索引
- 論理のページへのリンク