社会人向け教育プログラム 東京大学公開講座

　私たちは日常生活の中で「論理」あるいは「論理的」という言葉をしばしば見聞きしたり使ったりしています。肯定的な意味合いに用いられることが多く、問題の設定から結論まで誰もがその過程を納得できる順序立った考え方や説明を論理的思考や論理的な説明と言います。数学教育の目的の一つに論理的思考力の育成が掲げられ、2022年度から適用される学習指導要領において、国語で実用的な文章を学ぶ「論理国語」が選択科目として導入されたのも、正しく推論し共通の理解が得られるように説明するための論理の重要性が認識されているからだと思います。一方で、勝者の論理という言葉もあるように，論理を展開する前提となる原理や原則によって結論が異なることもありますし、展開の仕方も一意的に定まっているものではありません。
　学問としての論理学は伝統的には哲学の一分野ですが、近世になって数理論理学という分野が生まれ、ゲーデルの不完全性定理などで有名な数学の基礎を支える集合論や証明論の発展に貢献してきました。また、数理論理学における重要な理論の一つであるチューリング機械の理論はコンピュータ科学の基礎であり、スマートフォンなどに組み込まれたコンピュータは、論理回路を用いた論理演算を用いて大規模なデータ解析や情報伝達を行い私たちの社会生活を支えています。最近では、従来の0か1の入力に対して0または1を出力する論理回路ではなく、量子状態に量子状態を対応させる量子論理回路による量子コンピュータの研究が進んでいます。自動運転やスマートシティを実現させ、私たちの生活を大きく変えると考えられている人工知能（AI）は、必ずしも人間と同じ論理で動いていないようです。また、裁判や子供たちの教育といった社会活動においては，機械的に論理を展開することは困難でしょう。今回の公開講座では，こうした題材をもとに、様々な視点から論理のあり方や論理の役割について皆さんと一緒に考えて行きたいと思います。