論理学単語

ロンリガク

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

概要

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

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

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

推論

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

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

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

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

歴史

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

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

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

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

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

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

分野

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

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

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

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

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

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

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

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

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

数学との関係

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

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

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

哲学との関係

(自然)科学との関係

関連動画

関連商品

関連項目

【スポンサーリンク】

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

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

お絵カキコがありません

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

ピコカキコがありません

論理学

60 ななしのよっしん
2016/09/04(日) 12:44:19 ID: d65RAylnyN
aならばbが必ずbならばaととってくるおおすぎてどうにもならん
61 nの3乗
2016/10/21(金) 18:01:08 ID: d689Y24av4
哲学かな?
62 ななしのよっしん
2016/10/22(土) 00:24:50 ID: f99bnSdptM
>>59
それもあるし、それ以前に、論理学が適用できるのは命題のみであり、
何が命題であるかは論理体系によるが、一般的に知られた論理体系は古典論理なので、
古典論理の範囲で>>48の言う「合意」を得るしかないが、それでは扱えない命題が沢山
出てくるので、結局合意を得られないという問題があるんだよな。

例えば、「彼は子供である」といった、多値論理(特にファジー論理)で扱うのが時に適切な文を
古典論理で何でもかんでも扱おうとするとおかしなことになる。
数学的帰納法に関する「ハゲ頭のパラドックス」も有名な例だ(「数学的帰納法」の記事を参照)。
他にも、「音楽が好きな人は音楽を沢山聴く」から「音楽を沢山聴かない人は音楽が好きではない」
対偶をとってドヤ顔し、対偶も知らないのかと罵倒するような例もネットには時折見られる。
こうした詭弁摘しても周囲の理解を得るのが容易ではない場合があり、非常に厄介だ。
63 としあき
2016/12/13(火) 05:48:26 ID: d689Y24av4
>>sm27467540exit_nicovideo


較的わかりやすい論理学
64 ななしのよっしん
2016/12/22(木) 11:52:43 ID: 9OMjaueUlL
sham論理学=偽の論理学??
65 ななしのよっしん
2017/02/06(月) 23:09:10 ID: vuD4FvY33o
スレが面
66 ななしのよっしん
2017/07/28(金) 07:13:15 ID: p1h0m0CSVK
多値論理って具体的にどういった論理すのだろう
67 ななしのよっしん
2017/12/26(火) 11:11:03 ID: PJAAJ1FtCG
>共産主義とかレッセフェールとか、論理的に正しい社会は何故一で崩壊すんだろうな?
共産主義には反性がいから論理的に正しくはない
68 ななしのよっしん
2018/12/20(木) 15:14:58 ID: 2kb2dP4MOr
先生ウィトゲンシュタインの論考は論理学に入りますか!読んで見たのですが哲学書に見えました
69 ななしのよっしん
2018/12/20(木) 18:35:11 ID: 2kb2dP4MOr
すいません質問内容を間違えてしまいました...論考は論理学としての研究価値はありますか?