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

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

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

デジタル大辞泉の解説

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

記号論理学

出典|小学館
デジタル大辞泉について | 情報 凡例

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

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

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

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

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

【記号論理学】より

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

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

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

今日のキーワード

百条委員会

地方自治体が議決により設置する特別委員会の一つ。名称は「地方自治法第100条」に基づく。百条委員会は、地方公共団体の事務に関する調査を行い、関係者への聞き取りや記録の提出を請求、拒否した者には罰則が科...

続きを読む

コトバンク for iPhone