![ホーム [HOME]](http://www.cape.bun.kyoto-u.ac.jp/img/common/gNavi01.png){kind=small}
![CAPEについて [About CAPE]](http://www.cape.bun.kyoto-u.ac.jp/img/common/gNavi02.png){kind=small}
![メンバー [Member]](http://www.cape.bun.kyoto-u.ac.jp/img/common/gNavi03.png){kind=small}
![CAPE Lecture / WS [CAPE Lecture / WS]](http://www.cape.bun.kyoto-u.ac.jp/img/common/gNavi04.png){kind=small}
![プロジェクト [Project]](http://www.cape.bun.kyoto-u.ac.jp/img/common/gNavi05.png){kind=small}
![教育・アウトリーチ [Education / Outreach]](http://www.cape.bun.kyoto-u.ac.jp/img/common/gNavi06.png){kind=small}
![出版物 [Press]](http://www.cape.bun.kyoto-u.ac.jp/img/common/gNavi07.png){kind=small}
講師：矢田部俊介先生
日時：2018年2月18日（日）10時30分～17時30分
場所：京都大学文学部第５講義室（文学部校舎、地図8番の建物です。http://www.kyoto-u.ac.jp/ja/access/campus/yoshida/map6r_y/）
テーマ：
（10:30-12:00）古典述語論理の完全性定理
（13:00-15:00）カリー・ハワード対応：証明と計算
（15:30-17:30）証明のデータ型としての命題観
研究科横断型授業Ｂタイプ「論理学上級I」「論理学上級II」を、矢田部俊介先生、大西琢朗先生をゲスト講師にお招きして開講いたします。
シラバスは以下のページよりダウンロードできます。
http://www.kyoto-u.ac.jp/ja/education-campus/curriculum/graduate/cross/b.html
受講申し込みは締め切られていますが、これからでも受講可能です（ただし修了証は発行されません）。
日時（講師のご都合により、IIの方が先に開講されます。お気をつけ下さい。）
論理学上級 II（大西先生）
2018年 2月3日(土)（13:00-18:00) 、4日（日）（13:00-16:15）
論理学上級 I（矢田部先生）[シラバスから日程が変更となっているので注意!]
2018年 2月10日（土）、11日（日）（両日とも10:30-17:00）
場所
京都大学文学部第９講義室（総合研究2号館 南側地下1階）
キャンパスマップの34番のたてものです。
http://www.kyoto-u.ac.jp/ja/access/campus/yoshida/map6r_y/
土日は建物の西側の入り口のみあいていますのでご注意ください。
講師：矢田部俊介
日時：2017年3月25日（土）10：30 ～ 17：30
テーマ：
（10:30-12:00）古典述語論理の完全性定理
（13:00-15:00）モデルの中でモデルをつくる
（15:30-17:30）不完全性定理のモデル論的証明
場所:
京都大学文学部第11演習室（総合研究2号館1F南側）
キャンパスマップの34番のたてものです。
http://www.kyoto-u.ac.jp/ja/access/campus/yoshida/map6r_y/
土曜は建物の西側の入り口のみあいていますのでご注意ください。
本年度も研究科横断型授業Ｂタイプ「論理学上級I」「論理学上級II」を、矢田部俊介先生、村上祐子先生をゲスト講師にお招きして開講いたします。なお、本年度は本授業は総長裁量経費事業「京都で学ぶ人文学」に参加しており、学外からの一般の方の参加も受け付けております。シラバスは以下のページよりダウンロードできます。
http://www.kyoto-u.ac.jp/ja/education-campus/cross/2016/b.html
日時
論理学上級Ｉ（矢田部先生）
2017年2月4日、5日（10時30分～17時00分）
論理学上級ＩI（村上先生）
2017年 2月6日（13時00分～17時00分）2月7日（10時00分～17時00分）2月8日（10時00分～15時00分）
場所
京都大学文学部第９講義室（総合研究2号館 南側地下1階）
キャンパスマップの34番のたてものです。
http://www.kyoto-u.ac.jp/ja/access/campus/yoshida/map6r_y/
土日は建物の西側の入り口のみあいていますのでご注意ください。
申し込み方法
学内：上記のページより受講申込書をダウンロードし、指示に従って申し込んでください。申し込み期間をすぎていますが、この二つの授業に関しては、特別に、1月31日まで申し込みを受け付けています。
一般：伊勢田の以下のメールアドレスまで直接お問い合わせください。
お問い合わせ
伊勢田哲治 iseda213@gmail.com
５日間にわたって開催された「論理学上級I」「論理学上級II」に続き、下記の要領で「論理学上級 番外編」を開催します。
論理学上級番外編：不完全性定理
本年度も研究科横断型授業Ｂタイプ「論理学上級I」「論理学上級II」を、矢田部俊介先生、村上祐子先生をゲスト講師にお招きして開講いたします。
シラバスは以下のページよりダウンロードできます。
http://www.kyoto-u.ac.jp/ja/education-campus/cross/2015/b.html
論理学上級I（矢田部俊介先生）
2016年 1月23日（土），24日（日） 両日とも11時開始（17時頃終了）
会場：京都大学文学部総合研究2号館1階第10演習室（休日は、正面から入れないため西側玄関から建物に入ってください。第１０演習室は１階東側にあります）。
論理学上級II（村上祐子先生）
2016年 2月1日（月），2（火），3日（水） 全日とも13時開始（17時頃終了）
場所：京都大学文学部校舎2階 第2演習室
[申し込み方法]
上記のページより受講申込書をダウンロードし、指示に従って申し込んでくださ
い。すでに申し込み期限が過ぎていますが、この授業については受付を お願い
しています。できるだけ年内に申し込みをお願いします。申し込みがゼロの場合
不開講となる場合がありますので、参加希望者は申し込みをお願 いします。
講師：矢田部俊介
日時：２０１５年２月２１日（土）１３時～１７時半
場所：京都 大学文学部第 四講義室
テーマ：
（13:00-15:00）古典述語論理とそのモデル
（15:30-17:30）不完全性定理のモデル論的証明
「応用倫理学」は、さまざまな実践問題の領域における倫理的思考の総称である。一般にもよく知られた生命倫理、環境倫理のほか、情報倫理、工学倫理など、応用倫理学で扱われてきた領域は多岐にわたる。これらさまざまな領域の倫理問題は、領域に特有のものもあれば、複数の領域に共通して発生する問題もある。本講義では、さまざまな応用倫理領域について横断的に学ぶことで、そうした特有性と共通性について見通しを得ることをめざす。
| 10月2日 | 「応用倫理学概論」 水谷雅彦（京都大学文学部教授） |
|---|---|
| 10月9日 | 「生命倫理学入門」 児玉聡（京都大学文学部准教授） |
| 10月21日(10月16日より振替) | 「宇宙倫理」 磯部洋明(京都大学学際融合教育研究推進センター特任准教授)・伊勢田哲治(京都大学文学部准教授) ※この回は「宇宙の人文社会学」(研究科横断科目)と合同になります。 |
| 10月23日 | 「Nudge Theory and Liberalism(ナッジ理論とリベラリズム)」 Michael campbell(JSPS外国人招聘研究者) |
| 10月30日 | 「報道倫理」 桑原卓志（読売新聞記者） |
| 11月6日 | 「応用倫理学と幸福」 奥田太郎（南山大学人文学部准教授） |
| 11月13日 | 「倫理学と政策(仮)」 廣光俊昭（復興庁参事官） |
| 11月20日 | 「知的異議申し立てとアドボカシーの倫理」 神崎宣次（滋賀大学教育学部准教授） |
| 11月27日 | 「インターネットと依存症」 佐々木拓（立命館大学文学部非常勤講師） |
| 12月4日 | 「臨床倫理の問題を考える-終末期医療を例に」 佐藤恵子（京都大学医学部附属病院臨床研究総合センター准教授） |
| 12月11日 | 「介護における理論と実践」 上山愛子 |
| 12月18日 | 「生命倫理学と研究倫理」 山本圭一郎（東京大学大学院医学系研究科特任助教） |
| 1月8日 | 「人を対象とする研究が倫理的であるためには？」 鈴木美香（京都大学iPS細胞研究所上廣倫理研究部門） |
| 1月15日 | 「避妊の倫理学」 相澤伸依（東京経済大学経営学部准教授） |
研究科横断型教育科目（Bタイプ）（講義）
文学研究科 准教授 伊勢田 哲治
非常勤講師 矢田部 俊介
日時 2015年1月24日、25日 いずれも10時半から17時
場所 第6講義室（文学部校舎）
＜授業の概要・目的＞
真理とは何か、どのような性質を満たすのかは、哲学の大きなテーマの一つである。この分 野の専門家である矢田部俊介氏をゲストスピーカーとして招き、本授業では、古典論理上で形式化されるタルスキの真理理論と、また現代的な非古 典論理上で展 開される真理理論と、それらの非古典論理の体系の証明論を紹介し、現代の哲学的論理学の最前線で何が起こっているかを概観する。この授業を通 じ、学生が非 古典論理に関する基礎的知識を身につけることを目標とする。
＜研究科横断型教育の概要・目的＞
数理的手法による哲学理論の展開の一例を学び、現代的な真理概念の形式化に関する諸問題についての理解を深める。また、形式意味論や計算機科 学を専門とする院生には自然言語を形式的にモデル化する際に何が問題になるのかに触れる機会を与える。
＜授業計画と内容＞
履修要件
古典命題論理・1階述語論理（それぞれ完全性定理まで）の履修済または自習済。
成績評価の方法・基準
授業への積極的な参加とレポートの総合評価により修了証を授与する。修了証は全回終了後担当者が要件を確認したのち授与する。
教科書
使用しない
参考書等
１. 参考書情報
その他
教材をオンラインで公開する。
２. 関連URL情報
その他（授業外学習の指示・オフィスアワー等）
哲学（特に分析哲学）・形式言語学・計算機科学を専門とする大学院生以上の履修を勧める。矢田部担当科目を同時に履修することを強く勧める。 また、授業はオンライン配信する予定である。
研究科横断型教育科目（Bタイプ）（講義）
文学研究科 准教授 伊勢田 哲治
非常勤講師 村上 祐子
日時 2015年2月5日、6日 いずれも13時から18時
場所 第8講義室（総合研究2号館）
＜授業の概要・目的＞
20 世紀の分析哲学を含む哲学理論の展開には非古典論理学が欠かせない。この分野の専門家である村上祐子氏をゲストスピーカーとして招き、様相論 理の技術的側 面を学びながら研究史を追うことで、現在の非古典論理学の枠組みの理解を深めることと、個別体系の扱いについてのスキルを身につけることを狙 いとする。
＜研究科横断型教育の概要・目的＞
数理的手法による哲学理論の展開の一例を学び、哲学の自然化の流れについての理解を深める。
また、形式意味論や計算機科学を専門とする院生には古典的テクニックに触れる機会を与える。
＜授業計画と内容＞
履修要件
古典命題論理・1階述語論理（それぞれ完全性定理まで）の履修済または自習済。
成績評価の方法・基準
授業への積極的な参加とレポートの総合評価により修了証を授与する。修了証は全回終了後担当者が要件を確認したのち授与する。
テキスト
Nikolaos Galatos et al. Residuated Lattice: An Algebraic Glimpse at Substructural Logics
2章と3章をやります。
章末のエクササイズをやってきてください。
参考書等
１. 参考書情報
その他
教材をオンラインで公開する。
２. 関連URL情報
その他（授業外学習の指示・オフィスアワー等）
哲学（特に分析哲学）・形式言語学・計算機科学を専門とする大学院生以上の履修を勧める。矢田部担当科目を同時に履修することを強く勧める。 また、授業はオンライン配信する予定である。
現代日本が直面している様々な課題を提示し、その問題の所在を明確に見定めた上で、われわれの従来の思考法の枠を破りつつ、それらに対する解決策・対処策を模索する。それが応用哲学の思考スタイルである。この授業では、原則的に、一回につき一つの「課題」を設定し、専門を異にする大学院生が、それぞれの立場から自由に意見を交わしあうことで、知のブレイン・ストーミングを繰り広げることを目指す。そのことで個々の専門の枠にとらわれず、広い視野に立った議論を展開できる大学院生の養成を目指す。
シラバス
| 5月24日 | 出口康夫（ガイダンス、「総説：応用哲学とは何か」「応用哲学宣言」） |
|---|---|
| 5月31日 | 神崎宣次（「応用倫理学は問題を解決しないといけないのか」） |
| 6月7日 | 久木田水生（「ロボットの哲学」） |
| 6月28日 | 山口尚（「死んだらおしまい」） |
| 7月5日 | 水谷雅彦（「無知の哲学」「無知と寛容と信頼と」） |
| 7月12日 | 海田大輔（「形而上学から科学技術論へ」） |
| 7月26日 | Ricki Bliss (Mental Illness and Moral Responsibility) |
「応用倫理学」は、さまざまな実践問題の領域における倫理的思考の総称である。一般にもよく知られた生命倫理、環境倫理のほか、情報倫理、工学倫理など、応用倫理学で扱われてきた領域は多岐にわたる。これらさまざまな領域の倫理問題は、領域に特有のものもあれば、複数の領域に共通して発生する問題もある。本講義では、さまざまな応用倫理領域について横断的に学ぶことで、そうした特有性と共通性について見通しを得ることをめざす。
シラバス
| 10/11 | 水谷雅彦 情報の倫理（「無知の哲学」） |
|---|---|
| 10/25 | 伊勢田哲治 疑似科学をめぐる倫理問題（「疑似科学問題」） |
| 11/1 | 神崎宣次 長期間型フィールド研究に関連する倫理学と科学哲学 |
| 11/8 | 児玉聡 喫煙の自由とその限界 |
| 11/29 | 佐藤岳詩 エンハンスメント（「脳神経倫理学」） |
| 12/6 | 杉本俊介 幸福の形式（「幸福の形式」） |
| 12/13 | 山口尚 リベットの実験と意志の自由（「脳神経倫理学」） |
| 12/27 | 佐々木拓 依存症をめぐる責任論 |
