論理学単語

ロンリガク
  • 6
  • 0pt
掲示板へ

論理学とは、人間の推論について研究する学問である。

概要

人間の推論について、正確にはどのようなものが正しい推論であるかを問うのが論理学である。"実際に々がどのような推論をしているか"の研究は心理学などに属する問題である。その意味では論理学は倫理学などと同じ規範学の一つと言うことが出来る。

物理学を初め自然科学現実世界のありようを問うのに対し、論理学は推論の形式的な構造を研究するこのことから数学などと合わせて形式科学とも呼ばれる。

(例えば、"電子はすべてい""ソクラテスは電子である"、よって"ソクラテスい"は論理的に正しい推論であるが物理的にはナンセンスな文の集まりにすぎない。)

推論

論理学でいう推論とは、前提となる事柄(事実)から結論となる事柄を導く方式のことである。
前提が正しいとき(現実世界のありようとは関係なく)結論が正しくなる推論を演繹(法)といい。それ以外の推論を(広義の)帰納(法)という。

通常はその中でも、いくつかの具体的な事柄から普遍的な事柄を導く推論を帰納と言い、

さらに、1日"太陽が東から昇った",2日"太陽が東から昇った"・・・1000"太陽が東から昇った"よって"太陽毎日東から昇る"のような推論を枚挙的帰納法(狭義の帰納)という。

数学的帰納法はこの枚挙的帰納法に見たが似ているのでこう呼ばれるが実際は演繹法の一種である。

歴史

紀元前4世紀:アリストテレス三段論法を中心とした論理学を確立した。

中世ヨーロッパ:スコラ哲学などにより論理学は研究されていた。

17世紀:ライプニッツにより記号による機械的な論理学(普遍言)に関する初期の研究がなされる。(記号論理学の走り)

19世紀:ブール、フレーゲ、ラッセルらにより数学理論を包括的に記述することのできる記号論理が開発され、記号論理学が確立された。

20世紀:数学記号化が進む中、それまでの数学論理に致命的なパラドックスが含まれていることが明らかとなった。その中で様々な立場が現れ今日の数理論理学の基礎が与えられた。(数学基礎論の記事を参照)

それと同時期に非古典論理や様相論理といった論理とは異なる形態の論理も発展していった。

分野

記号論理学:今日の(演繹法に関する)論理学すべては、記号化された形式論理に基づいておりこう呼ばれる。その中でも数学とのかかわりが強い分野を数理論理学と言う。

命題論理:AならばB、BならばC、よって、AならばC、のように命題の内部構造には立ち入らず命題間の関係の記述をとする論理

論理:すべての整数素数分解できる、のように項(対)に関する記述を含む論理命題論理を拡したもの。

論理:項にと呼ばれる階層を付加した論理

直観論理:排中(肯定又は否定どちらかは常に成り立つ)や背理法(否定の否定は肯定)が成立しない論理

多値論理命題に対し偽以外の状態を許す論理

様相論理:可性や時制、認識について扱う論理

以上は演繹に関する論理であり記号論理学に含まれる分野である。それらに属さない分野として(広義の帰納法)

仮説と発見の論理(アブダクション)等と言われるものがあり、帰納、類推、仮説、等を積極的に扱う。(科学哲学を参照)

数学との関係

現在数学集合論に基礎を置いている。さらにその集合論は論理学に基づいて展開される。

逆に、現在の論理学は集合論(モデル理論)や数学(自然数論や位相間論等)の諸成果を積極的に取り入れて研究されている。

数学と論理学は非常に近接した分野であるが、密接な関わりを持って研究されるようになったのは実は較的最近のことである。(数学基礎論を参照)

哲学との関係

(自然)科学との関係

関連動画

関連商品

関連項目

【スポンサーリンク】

  • 6
  • 0pt
スマホ版URL:
https://dic.nicovideo.jp/t/a/%E8%AB%96%E7%90%86%E5%AD%A6

この記事の掲示板に最近描かれたお絵カキコ

お絵カキコがありません

この記事の掲示板に最近投稿されたピコカキコ

ピコカキコがありません

論理学

83 削除しました
削除しました ID: 7QQvSEkeiI
削除しました
84 ななしのよっしん
2020/03/18(水) 07:46:53 ID: +83oUWR5Tw
論理より感情で動いた方が気持ちいいのだから論理でどうこう言うのが世の中一般にひろがる方がおかしい
生き物としてそう出来てる
85 ななしのよっしん
2020/03/18(水) 13:15:24 ID: R8GCis5Pul
感情と論理が共存し得ないという前提に立ってるよね
その根拠はどこから来るのだろう
86 ななしのよっしん
2020/03/18(水) 13:17:30 ID: 2MtfRwgi3k
ソースは俺異論は認めない
87 ななしのよっしん
2020/03/18(水) 13:21:03 ID: R8GCis5Pul
現実世界からデータを収集し、個物の性質を全体にも適用し始めると論理じゃなくて科学になっちゃうんだけどね
88 ななしのよっしん
2020/04/04(土) 01:06:36 ID: zdgKqnWTtD
論理学は結局推論の中が健全かどうかを保するだけなので、別に真理を導いてくれるわけではない。マークシートが正しく塗れていればテストとしては「正しい」が、その結果が0点か100点かは採点しないと分からないというようなもんだな。
カベージイン・カベージアウト
89 ななしのよっしん
2020/04/04(土) 03:46:09 ID: R8GCis5Pul
々が真理とやらを認識する日など永遠に来ない
あるのは限定的な条件で観測された個々の事実と不全な推論のみ
90 ななしのよっしん
2020/04/11(土) 16:21:25 ID: lJViJe7Qi4
感情は論理を構成する重要なパーツ
91 ななしのよっしん
2020/05/30(土) 08:10:13 ID: tSbw2eCE++
プログラミングで複文の条件文とか作るときに論理学をちょっとかじっててよかった〜とは結構思う(同値変形で見たスッキリ整理できる)
でも日常生活で役立つのは論理学よりもクリティカルシンキングとか文章作法とかのほうかな
92 ななしのよっしん
2020/07/04(土) 11:09:21 ID: rFxpKWUlEc
https://www.youtube.com/watch?v=v8UxsjSFK-wexit

おすすめトレンド

スマホで作られた新規記事

こちらの記事に加筆・修正してみませんか?

樫野(アズールレーン) ボトルマン MMDまほやく ヒックス