東京大学公開講座:論理
コンテンツ一覧
学問としての論理
論理学とは何か?
「論理学(ロジック)」は紀元前4世紀のギリシアで成立した哲学の一部門です。その成り立ちと歴史を検討することで、西洋の論理学がどのような特徴をもち、私たちの思考や世界とどう関わるかを考えます。 04:10 本講義の問い 17:13 西洋論理学の成立 32:57 西洋の論理学とその他者 39:28 まとめ ★ 過去の公開講座 ★あなたのシェアが、ほかの誰かの学びに繋がるかもしれません。 お気に入りの講義・講演があれば…
数学を論理で読む
数学は論理的に組み立てられた学問ですが、その組み立てはどのようになされているのでしょうか?ここでは数学での最も基本的な対象である自然数を例にとって、組み立てられていくさまを垣間見てみます。 03:10 数学と論理 17:42 微分積分学(無限小解析) 25:49 自然数の公理 33:42 加法の定義 36:22 帰納法による写像の定義 ★ 過去の公開講座 ★あなたのシェアが、ほかの誰かの学びに繋がるかもしれません。 …
計算と論理
コンピュータの計算は、真偽値に関する論理演算の組み合わせで実現されています。さらに高所から眺めれば、計算を記述する「プログラム」と論理式の「証明」には表裏一体の関係が見出せます。本公演では、このような計算と論理の間の豊かな関係を垣間見ていただきます。 03:51 2進数と真偽値 08:17 足し算の実現 13:00 証明≒プログラム? 28:00 そもそも証明とは? 35:34 構成的プログラミング ★ 過去の公開講座 …
社会の中の論理
AIの論理と倫理
初期ガンの発見や将棋において、Alは人間より優れた能力を示し、優れた結果をもたらします。「Alを進展させれば、すぐれた環境に身をおくことになり、私達は幸せになる」という論理のもつ倫理性について論じます。 04:21 本日の講義について 05:10 AIの倫理 14:52 第3者配偶子提供で生まれた人に関する新たな提言のまとめ 27:40 人工知能 33:10 機械倫理 ★ 過去の公開講座 ★あなたのシェアが、ほかの誰かの学び…
法学の論理、憲法学の論理
同じく「論理」を展開させるといっても、法律家の論証と数学や論理学の証明問題を解くのとは、同じではないでしょう。では、どこが違うのでしょうか。憲法学の場合はどうでしょうか。 目が眩むほど大きな問いですが、具体例を手がかりとしながら探ってみようと思います。 00:35 設問 07:05 憲法の「論理」 31:25 憲法の「論理」と法学の「論理」 ★ 過去の公開講座 ★あなたのシェアが、ほかの誰かの学びに繋がるか…
子どもの論理的思考を豊かに育む教育
小中学生は子どもなりの論理で思考を展開し、様々な知識を結びつけながら説明を構築できます。解決方法が一つに定まらない問題への対応が求められる時代に、他者と関わりながら「論理的思考」をいかに豊かに育みうるかについて考えます。 1:23 論理的思考の発達 21:31 論理的思考の育成 ★ 過去の公開講座 ★あなたのシェアが、ほかの誰かの学びに繋がるかもしれません。 お気に入りの講義・講演があればSNSなどでシ…
論理のフロンティア
物理法則と論理が生み出す情報セキュリティ
この世界を支える自然法則である量子力学は、常識を覆す奇妙な性質を持ちます。 その性質を暗号技術に転用したのが、微弱光を用いる量子暗号です。何をされても破れないという究極のセキュリティの証明には、論理の力が大活躍します。 ★あなたのシェアが、ほかの誰かの学びに繋がるかもしれません。 お気に入りの講義・講演があればSNSなどでシェアをお願いします。
動的システムの推論と学習
動的なシステムの挙動を観測データからモデル化し、将来の状態を推論することは、様々な分野で重要な研究テーマです。本講義は、特に人工知能・機械学習の観点から、この課題の意義、方法、適用例などを紹介します。 ★あなたのシェアが、ほかの誰かの学びに繋がるかもしれません。 お気に入りの講義・講演があればSNSなどでシェアをお願いします。 運営・著作権処理・映像編集:東京大学 大学総合教育研究センター