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

数理論理学 すうりろんりがく mathematical logic

5件 の用語解説(数理論理学の意味・用語解説を検索)

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

数理論理学
すうりろんりがく
mathematical logic

論理学の対象は,知識体系を構築する際に用いられる推論過程がもつ構造である。古くからの論理学は,19世紀に G.ブールによって代数的表現が与えられ,F.L.G.フレーゲが命題計算のうえに算術の論理を構成したことによって,形式的な体系として完成された。

本文は出典元の記述の一部を掲載しています。

出典|ブリタニカ国際大百科事典 小項目事典
Copyright (c) 2014 Britannica Japan Co., Ltd. All rights reserved.
それぞれの記述は執筆時点でのもので、常に最新の内容であることを保証するものではありません。

デジタル大辞泉の解説

すうり‐ろんりがく【数理論理学】

記号論理学

出典|小学館 この辞書の凡例を見る
監修:松村明
編集委員:池上秋彦、金田弘、杉崎一雄、鈴木丹士郎、中嶋尚、林巨樹、飛田良文
編集協力:曽根脩
(C)Shogakukan Inc.
それぞれの用語は執筆時点での最新のもので、常に最新の内容であることを保証するものではありません。

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

数理論理学【すうりろんりがく】

数学全般に用いられる論理的な推論を,数学的記号を使って研究する論理学の一分野。記号論理学,理論的論理学とも呼ばれる

出典|株式会社日立ソリューションズ・クリエイト
All Rights Reserved. Copyright (C) 2015, Hitachi Solutions Create,Ltd. ご提供する『百科事典マイペディア』は2010年5月に編集・制作したものです

大辞林 第三版の解説

すうりろんりがく【数理論理学】

記号きごう論理学

出典|三省堂
(C) Sanseido Co.,Ltd. 編者:松村明 編 発行者:株式会社 三省堂 ※ 書籍版『大辞林第三版』の図表・付録は収録させておりません。 ※ それぞれの用語は執筆時点での最新のもので、常に最新の内容であることを保証するものではありません。

日本大百科全書(ニッポニカ)の解説

数理論理学
すうりろんりがく

出典|小学館 日本大百科全書(ニッポニカ) この辞書の凡例を見る
(C)Shogakukan Inc.
それぞれの解説は執筆時点のもので、常に最新の内容であることを保証するものではありません。

世界大百科事典内の数理論理学の言及

【記号論理学】より

…伝統的なアリストテレス流の古典論理学と比べ,人工的な記号を多用するために,そう呼ばれた。19世紀後半に輩出した現代論理学の創始者たちは,特に数学を手本にして論理学を編制しようとしたため,数理論理学とか数学的論理学と呼ばれることもある。しかし言葉の由来はどうあれ,多量にしかも自覚的に行われた記号の採用と,論理的思考と数学的思考の同一性の認識とが,現代論理学を支える基本的発想となっている。…

※「数理論理学」について言及している用語解説の一部を掲載しています。

出典|株式会社日立ソリューションズ・クリエイト
All Rights Reserved. Copyright (C) 2015, Hitachi Solutions Create,Ltd. 収録データは1998年10月に編集製作されたものです。それぞれの用語は執筆時点での最新のもので、常に最新の内容であることを保証するものではありません。また、本文中の図・表・イラストはご提供しておりません。

数理論理学の関連キーワード知識ベース論理記号コア・グループの構築クワイン形式論理学述語論理学伝統的論理学二値論理学論理主義《論理学体系》

今日のキーワード

平野美宇

卓球選手。2000年4月14日、静岡県生まれ、山梨県育ち。3歳で卓球を開始。07年に小学1年生で全日本選手権大会バンビの部優勝、09年に小学2年生で同大会ジュニアの部初出場を果たし、注目を集めた。13...

続きを読む

コトバンク for iPhone

数理論理学の関連情報