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

数学的論理学 スウガクテキロンリガク

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

デジタル大辞泉の解説

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

記号論理学

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

大辞林 第三版の解説

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

記号論理学のこと。数学的推論(証明)の構造を形式化したものであることからの名。数理論理学。 → 記号論理学

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

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

数学的論理学
すうがくてきろんりがく

記号論理学」のページをご覧ください。

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

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

【記号論理学】より

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

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

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

数学的論理学の関連キーワード述語論理論理記号記号論記号論理学語用論数理論理学タルスキハ音記号文化記号論記号論的意味論

今日のキーワード

日本政策投資銀行

1999年に日本開発銀行と北海道東北開発公庫を統合し、発足した政府系総合政策金融機関。一般の金融機関が行なう金融などを補完・奨励し、長期資金の供給などを行ない、日本の経済社会政策に金融上で寄与していく...

続きを読む

コトバンク for iPhone