コトバンクはYahoo!辞書と技術提携しています。

多値論理学 たちろんりがくmany-valued logic

ブリタニカ国際大百科事典 小項目事典の解説

多値論理学
たちろんりがく
many-valued logic

排中律を前提とする論理学命題は真か偽 (真=1か偽=0) の2値しかとりえない。すなわち矛盾する命題が同時に真となることはないと考えるのに対して,命題が3つ以上 (理論的には n個) の値をとれると考える論理学全体をさす。排中律の妥当性を疑う考え方は古くからあり (たとえばオッカム) ,それをアリストテレスの Peri hermēnesisにヒントを得て現代的な形で明示化したのが,J.ルカシェビッチŁukasiewiczである (『アリストテレスにおける矛盾律について』〈1910〉,『命題計算の多値的体系についての哲学的覚え書』〈20〉) 。なお多値論理学はその解釈の仕方で様相論理学および確率論理学と密接な関係をもち,高次の一般性をもち不変であると考えられていた論理学およびその法則が互換的であることを示した点にも哲学的意義がある。

出典|ブリタニカ国際大百科事典 小項目事典ブリタニカ国際大百科事典 小項目事典について | 情報

百科事典マイペディアの解説

多値論理学【たちろんりがく】

英語many-valued logicなどの訳。真理値として真と偽(集合でいえば全集合と空集合)のみを認める普通の論理学を一括して二値論理学というのに対し,二値以上の真理値をもつ論理学をいう。

出典|株式会社日立ソリューションズ・クリエイト百科事典マイペディアについて | 情報

世界大百科事典 第2版の解説

たちろんりがく【多値論理学 many‐valued logic】

現代論理学の一分野。通常いかなる命題(判断)も真か偽のいずれかであると考えられている。そして,真でもなければ偽でもない中間の真理値は存在しないというのが論理学の常識であろう。しかしながら,アリストテレスもすでに指摘しているように,まだ起きていない未来のことがらについては,この原理,つまり二値の原理は必ずしも成り立たないように思われる。実際,未来のことまでその真偽があらかじめ定まっているとするならば,いわゆる決定論(あるいは宿命論)を暗黙のうちに認めてしまうことになる。

出典|株式会社日立ソリューションズ・クリエイト世界大百科事典 第2版について | 情報

大辞林 第三版の解説

たちろんりがく【多値論理学】

真・偽の二値しかもたない標準的な記号論理学に対し、 n 個ないし無限に多くの値をとる命題を対象とする論理学。1920年代ルカーシェビチの三値論理学(真・真偽不定・偽)に始まり、様相論理学へと発展した。 → 様相論理学二値論理学

出典|三省堂大辞林 第三版について | 情報

多値論理学の関連キーワードルカシェービチルカーシェビチ記号論理学ギュンタータルスキーパースルイス

今日のキーワード

存亡の機

引き続き存在するかここで滅びてしまうかという非常に重大な時。存亡の秋(とき)。...

続きを読む

コトバンク for iPhone

コトバンク for Android