三省堂 大辞林 |
 
|
きごう-ろんりがく ―がう― 6 【記号論理学】
〔symbolic logic〕推論の構造および過程を数学的演算になぞらえて形式化・記号化して取り扱う論理学。一九世紀後半ブールらの論理代数に始まり、フレーゲ・ラッセルらにより厳密に体系化され発展した。アリストテレス以来の伝統的論理学を明晰(めいせき)化するのみならず、数学あるいは他の科学・哲学の基盤を形づくる。数学的論理学。数理論理学。論理代数。
⇔伝統的論理学
⇔伝統的論理学
OR事典 |
|
記号論理学
読み方：きごうろんりがく
【英】：symbolic logic
【英】：symbolic logic
伝統的論理学においては言語表現による三段論法などを使って推論を行っていたが, さらなる厳密性や形式性を実現すべく, 数学的表現が開発され, ブール代数の開発や集合論の発達, さらにホワイトヘッドやラッセルなどにより記号論理学が完成された. 限定記号(任意記号や存在記号)の取り扱いが可能になり命題の分析が数学的に厳密に行われるようになった. 記号論理の1つである一階述語論理は知識工学の分野で頻繁に用いられる.
きごうろんりがくと同じ種類の言葉
| 論理学に関連する言葉 | 論理学(ろんりがく) 伝統的論理学(でんとうてきろんりがく) 記号論理学(きごうろんりがく) 多値論理学(たちろんりがく) 様相論理学(ようそうろんりがく) |
きごうろんりがくのページへのリンク
