「論理的推論の理解とその応用」 2 単位 春学期
【
文
経法政商医理薬】岡田 光弘
〔授業科目の内容〕
論理的思考や正しい論理推論の基準を明らかにする。命題論 理及び述語論理の論証理論（証明論）及び意味論を中心に、
現代論理学の基本的な考え方を学習していく。 また、論理学 の種々の応用についても具体例を用いながら解説を加えたい。
命題論理を中心とした入門的内容となる。特に現代的な立場 から新しい教材も用いて、論理的思考や正しい推論の基準等の 学習を進める。
〔教科書〕
プリントをダウンロードして頂きます。詳しいことは最初の授業 で指示します。
〔参考書〕
必要に応じて授業中に指示します。
論理学 II （月５）
2 単位 秋学期
【
文
経法政商医理薬】串田 裕彦
〔授業科目の内容〕
述語論理について、その意味論および構文論を学ぶ。
また、ラムダ計算や直観主義論理についても考察する。
授業では、命題論理についての知識は前提して話を進め る。
論理学 I を履修したもの、あるいは命題論理について同程度 の理解をもつものに受講してもらいたい。
論理学 I ／論理学 II （金４）
2 単位 春学期／秋学期
【
文
経法政商医理薬】串田 裕彦
〔授業科目の内容〕
論理学の基礎を学びながら、真理及びその我々にとっての意 味について考察する。
論理学 II は論理学 I の続きです。論理学 I の内容を前提に して授業をすすめますので、論理学 I をも合わせて履修して下さ い。
〔教科書〕
特に用いない。
論理学 I
2 単位 春学期
【文経法政商医
理
薬】串田 裕彦
〔授業科目の内容〕
論理学の基礎を学びます。特に「数学の形式化」を主題と し、ゲーデルの不完全性定理の証明とその意義を理解することを 最終的な目標とします。
論理学 II
2 単位 秋学期
【文経法政商医
理
薬】串田 裕彦
〔授業科目の内容〕
論理学の基礎を学びます。特に「数学の形式化」を主題と し、ゲーデルの不完全性定理の証明とその意義を理解することを 最終的な目標とします。
論理学 I
「「形式論理学入門 1」 真理関数理論」 2 単位 春学期
【
文
経法政商医理薬】佐々木 昭則
〔授業科目の内容〕
演繹的推論について勉強する。特に、推論が正しいかどうか 確かめる方法について様々なアプローチを紹介し、その技術を 学生に習得してもらう。論理学の形式的思考法の重要性を実感 してもらいたい。
〔教科書〕
『明解論理学』（予定） 弓削隆一･佐々木昭則著 ミネル ヴァ書房
〔参考書〕
教室で適宜指示。
論理学 II
「「形式論理学入門 2」 量化理論」 2 単位 秋学期
【
文
経法政商医理薬】佐々木 昭則
〔授業科目の内容〕
春学期に引き続いて授業を行う。したがって、春学期の内容 を前提としている。
秋学期は量化理論を中心に扱う。ここでは、「すべて」や「あ る」に関する推論を扱う。
〔教科書〕
『明解論理学』（予定） 弓削隆一･佐々木昭則著 ミネル ヴァ書房
〔参考書〕
教室で適宜指示。
論理学 I
「命題論理の入門」 2 単位 春学期
【
文
経法政商医理薬】峯島 宏次
〔授業科目の内容〕
現代論理学の基本的な考え方を身につけることを目標としま す。春学期は、現代論理学のもっとも基本的な部分である命題 論理を学びます。現代論理学は、「正しい推論･論証とは何か」
を探究する分野であると同時に、その応用として、分析哲学や 理論言語学の分野において、私たちがふだん使っている日本語 のような自然言語のふるまいを研究するための不可欠な道具にも なっています。授業では、自然言語の表現と論理的表現の対応 関係を考えることを通して、こうした現代論理学の言語分析への 応用についても紹介したいと思います。
〔教科書〕
プリントを配布します。
〔参考書〕
授業の際に必要に応じて指示します。
論理学 II
「述語論理の入門」 2 単位 秋学期
【
文
経法政商医理薬】峯島 宏次
〔授業科目の内容〕
現代論理学の基本的な考え方を身につけることを目標としま す。秋学期は、春学期の命題論理に引き続いて、述語論理を 中心に学びます。現代論理学は、「正しい推論とは何か」を探 究する分野であると同時に、その応用として、分析哲学や理論 言語学の分野において、私たちがふだん使っている日本語のよ うな自然言語のふるまいを研究するための不可欠な道具にもなっ ています。授業では、自然言語の表現と論理的表現の対応関 係を考えることを通して、こうした現代論理学の言語分析への応 用についても紹介したいと思います。
〔教科書〕
プリントを配布します。
〔参考書〕
授業の際に必要に応じて指示します。
論理学 I
「妥当な推論（確実な根拠付け）の基準」 2 単位 春学期
【
文
経法政商医理薬】弓削 隆一
〔授業科目の内容〕
現代の論理学では、論理式の意味や推論の正しさの基準が 厳密に定義された人工言語の体系を構築することを通じて、論 理を捉えようとする。この講義では、このような論理学の言語の 基礎である命題論理について解説する。
〔教科書〕
『明解論理学』弓削隆一･佐々木昭則著 ミネルバ書房 2009 年 3 月出版予定
〔参考書〕
授業中適宜指示する。
論理学 II
「妥当な推論（確実な根拠付け）の基準」 2 単位 秋学期
【
文
経法政商医理薬】弓削 隆一
〔授業科目の内容〕
現代の論理学では、論理式の意味や推論の正しさの基準が 厳密に定義された人工言語の体系を構築することを通じて、論 理を捉えようとする。この講義では、このような論理学の言語の 中で基本的なものである述語論理について解説する。
〔教科書〕
『明解論理学』弓削隆一･佐々木昭則著 ミネルバ書房 2009 年 3 月出版予定
〔参考書〕
授業中適宜指示する。
論理学序論
「記号論理学の基礎」 2 単位 春学期
【経商医
理
】弓削 隆一
〔授業科目の内容〕
現代の論理学では、論理式の真理条件、推論の妥当性を厳 密に定義できるような人工的な記号言語の体系を構築し、その 言語を用いて知識を表現することによって論理を分析しようとす
る。この授業では、論理学の人工言語のうち最も単純なもので ある「命題論理の言語」を取り扱う。標準的な意味論（真理表 を用いた分析など）の説明の後、形式的な証明のシステムの一 つであるゲンツェンの LK について解説する。証明図の作成の 演習、完全性についての解説などを含める予定である。
〔教科書〕
『明解論理学』（仮題） 弓削隆一･佐々木昭則著 ミネル バ書房 2009 年 3 月発行予定
LK の証明については、別にプリントを作成する。
〔参考書〕
内容に応じて、適宜参考書を指示する予定。
論理学本論
「記号論理学の基礎」 2 単位 秋学期
【経商医
理
】弓削 隆一
〔授業科目の内容〕
記号論理学の標準的な言語である「述語論理の言語」を取 り扱う。具体的には、基本的な考え方、標準的な意味論の解説 と、ゲンツェンの LK（連式計算）での形式的証明の演習、LK の完全性が含まれる。余裕があれば、述語論理の中で数学が どのように形式化されるかということと、そうした形式化による分析 によって明らかになったことなどについても解説したい。
〔教科書〕
『明解論理学』（仮題） 弓削隆一･佐々木昭則 ミネルバ 書房 2009 年 3 月発行予定
LK の証明については、別にプリントを作成する。
〔参考書〕
授業内容に応じて、参考書を紹介する。
総合教育セミナー
I
（グローバル化と言語）「グローバル化と言語」 2 単位 春学期
【
文
】 足立 健次
〔授業科目の内容〕
皆さんは世界中にどれくらいの数の言語が存在しているかご存 知でしょうか。2002 年にユネスコ（国連教育科学文化機関）は 少数派言語消滅の危機を表明しました。
英語圏を代表する文芸批評家ジョージ･スタイナーは、それよ り 25 年も前に英国の BBC テレビで一般向けに講演を行い、少 数派の言語が消滅の危機に瀕していることに警鐘を鳴らしていま す。しかし、この問題が国際社会の中で重要視されるまでに実 に四半世紀もの歳月が費やされました。なぜこの地球上に何千 という数多くの言語が存在しているのか、という素朴な疑問から 始まるスタイナーの英文を読み解きながら、最近になってようやく 表面化してきた言語の多様性の問題をさまざまな側面から考えて みたいと思います。
〔教科書〕
The Tongues of Men
（南雲堂）をプリントで使用します。〔参考書〕
必要に応じて紹介します。
総合教育セミナー
I
（20
世紀の科学の発見）「20 世紀の科学の発見」 2 単位 春学期
【
文
】 大場 茂
〔授業科目の内容〕
科学はどのようにして発展してきたのだろうか。世界の常識を 覆すような発見や発明が、どのようになされたのであろうか。20 世紀における科学の発展を振り返り、その時代背景や基礎的な 科学の概念を学びます。例えば、今から 6500 万年前に巨大隕 石が地球に衝突しなければ、恐竜が絶滅することもなく、現在の 人類も誕生しなかったかもしれません。このセミナーで取り扱う内 容は、医学、薬学、化学、物理学、心理学、生命科学、工 学、地球科学、人類学と幅広い自然科学の分野に渡っています が、それらが密接に関連していることがわかってきます。
〔教科書〕
毎回プリントを配布します。
総合教育セミナー
I
（人類学）「動物園･水族館で進化を学ぶ」 2 単位 春学期
【
文
】 高山 博
〔授業科目の内容〕
現在、生きている動物を観察することで、人類の進化につい て基礎知識を学ぶ機会としたい。今年度は、特に脊椎動物（魚 類以降）の動物に注目して観察していく予定です。講義時間以 外に、動物園･水族館等へでかけますので、休業日（日･祝）
の観察会も講義の一環となります。
〔教科書〕
特にありません。
〔参考書〕
講義内容、講義参加者のレベルに合わせて、適宜紹介して いきます。
総合教育セミナー
II
（グローバル化と言語）「グローバル化と言語の画一化」 2 単位 秋学期
【
文
】 足立 健次
〔授業科目の内容〕
皆さんは世界中にどれくらいの数の言語が存在しているかご存 知でしょうか。2002 年にユネスコ（国連教育科学文化機関）は 少数派言語消滅の危機を表明しました。
英語圏を代表する文芸批評家ジョージ･スタイナーは、それよ り 25 年も前に英国の BBC テレビで一般向けに講演を行い、少 数派の言語が消滅の危機に瀕していることに警鐘を鳴らしていま す。しかし、この問題が国際社会の中で重要視されるまでに実 に四半世紀もの歳月が費やされました。今や世界共通語が出現 しつつあるのか。仮にそうであるとして、果たして私たちはその ような共通語を必要としているのか。こうした疑問を提示したスタ イナーの英文を読み解きながら、言語の画一化の問題をさまざま な側面から考えてみたいと思います。
〔教科書〕
The Tongues of Men
（南雲堂）をプリントで使用します。〔参考書〕
必要に応じて紹介します。
総合教育セミナー
II
（生き物のかたち）「生き物のかたち」 2 単位 秋学期
【
文
】 倉石 立
〔授業科目の内容〕
進化の歴史を生き抜いて来た生き物のかたちは、機能的であ ると同時に力学的に調和のとれた造形美を持っています。この コースでは生き物の形態観察を通して生き物のかたちの面白さに 触れるとともに、客観的な目で物事を見るトレーニングを行いま す。さらに、テーマとして選んだ生き物の魅力を紹介するプレゼ ンテーションを作製する事により、得られた情報を整理して他人 に伝達する技術についても学びます。
総合教育セミナー
II
（人類学）「骨に聞く、骨を読む」 2 単位 秋学期
【
文
】 高山 博
〔授業科目の内容〕