数理論理学(読み)スウリロンリガク

関連語 名詞

百科事典マイペディア 「数理論理学」の意味・わかりやすい解説

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

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

出典 株式会社平凡社百科事典マイペディアについて 情報

世界大百科事典(旧版)内の数理論理学の言及

【記号論理学】より

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

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

出典|株式会社平凡社「世界大百科事典(旧版)」

機械メーカー。トヨタグループの総本家で,繊維機械のほかトヨタ自動車からの小型商用車の受託生産,エンジンその他の自動車部品,フォークリフトなどの産業用車両の生産も行なう。1926年豊田佐吉が,みずから発...

豊田自動織機の用語解説を読む