日本語 English
| 開講年度/ Academic YearAcademic Year |
20242024 |
| 科目設置学部/ CollegeCollege |
人工知能科学研究科/Graduate School of Artificial Intelligence and ScienceGraduate School of Artificial Intelligence and Science |
| 科目コード等/ Course CodeCourse Code |
VR446/VR446VR446 |
| テーマ・サブタイトル等/ Theme・SubtitleTheme・Subtitle |
|
| 授業形態/ Class FormatClass Format |
オンライン（全回オンライン）/Online (all classes are online)Online (all classes are online) |
| 授業形態（補足事項）/ Class Format (Supplementary Items)Class Format (Supplementary Items) |
発話を伴う授業を学内で受講する場合はD601教室の利用可。 |
| 授業形式/ Class StyleCampus |
講義/LectureLecture |
| 校地/ CampusCampus |
池袋/IkebukuroIkebukuro |
| 学期/ SemesterSemester |
春学期/Spring SemesterSpring Semester |
| 曜日時限・教室/ DayPeriod・RoomDayPeriod・Room |
火6/Tue.6 Tue.6 ログインして教室を表示する（Log in to view the classrooms.） |
| 単位/ CreditsCredits |
22 |
| 科目ナンバリング/ Course NumberCourse Number |
AIR5100 |
| 使用言語/ LanguageLanguage |
日本語/JapaneseJapanese |
| 履修登録方法/ Class Registration MethodClass Registration Method |
科目コード登録/Course Code RegistrationCourse Code Registration |
| 配当年次/ Assigned YearAssigned Year |
配当年次は開講学部のR Guideに掲載している科目表で確認してください。配当年次は開講学部のR Guideに掲載している科目表で確認してください。 |
| 先修規定/ Prerequisite RegulationsPrerequisite Regulations |
|
| 他学部履修可否/ Acceptance of Other CollegesAcceptance of Other Colleges |
履修登録システムの『他学部・他研究科履修不許可科目一覧』で確認してください。 |
| 履修中止可否/ Course CancellationCourse Cancellation |
－（履修中止制度なし/ No system for cancellation) |
| オンライン授業60単位制限対象科目/ Online Classes Subject to 60-Credit Upper LimitOnline Classes Subject to 60-Credit Upper Limit |
|
| 学位授与方針との関連/ Relationship with Degree PolicyRelationship with Degree Policy |
各授業科目は、学部・研究科の定める学位授与方針（DP）や教育課程編成の方針（CP）に基づき、カリキュラム上に配置されています。詳細はカリキュラム・マップで確認することができます。 |
| 備考/ NotesNotes |
Overview theoretical backgrounds of moral reasoning systems
Successful students will learn theoretical approach to moral reasoning. The first half of the course will be preparatory with a crash course of propositional and predicate logic. The latter half will be devoted for overview of modal logic and related logics.
| 1 | Guidance; Introduction to symbolic logic. |
| 2 | Classical logic; propositional logic |
| 3 | Classical logic; predicate logic 1 |
| 4 | Classical logic; predicate logic 2 |
| 5 | Modal logic 1: syntax and semantics of propositional modal logic 1 |
| 6 | Modal logic 2: syntax and semantics of propositional modal logic 2 |
| 7 | Modal logic 3: completeness theorem of propositional modal logic 1 |
| 8 | Modal logic 4: completeness theorem of propositional modal logic 2 |
| 9 | Modal logic 5: overview of applications of propositional modal logic |
| 10 | Modal logic 6: predicate modal logic and its applications |
| 11 | Modal logic 7: non-Kripkean semantics |
| 12 | Moral reasoning 1: desiderata and trials |
| 13 | Moral reasoning 3: proposals and limits |
| 14 | Wrap up |
板書 /Writing on the Board
スライド（パワーポイント等）の使用 /Slides (PowerPoint, etc.)
上記以外の視聴覚教材の使用 /Audiovisual Materials Other than Those Listed Above
個人発表 /Individual Presentations
グループ発表 /Group Presentations
ディスカッション・ディベート /Discussion/Debate
実技・実習・実験 /Practicum/Experiments/Practical Training
学内の教室外施設の利用 /Use of On-Campus Facilities Outside the Classroom
校外実習・フィールドワーク /Field Work
上記いずれも用いない予定 /None of the above
予習として前半は教科書の課題に取り組んでください。全体にわたって、宿題の所要時間は毎回１時間以内を想定しています。また授業内に指定する参考文献に目を通してください。
| 種類 (Kind) | 割合 (%) | 基準 (Criteria) |
|---|---|---|
| 平常点 (In-class Points) | 100 |
授業内課題(60%) 最終レポート(Final Report)(40%) |
| 備考 (Notes) | ||
| 授業内に演習課題を出します。その次の回の前日を締め切りとします。 | ||
| No | 著者名 (Author/Editor) | 書籍名 (Title) | 出版社 (Publisher) | 出版年 (Date) | ISBN/ISSN |
|---|---|---|---|---|---|
| 1 | 加藤浩・辰己丈夫 | 記号論理学 | 放送大学教育振興会 | 2024 | |
| その他 (Others) | |||||
| 授業前半で使います | |||||
| その他 (Others) | |||||
|---|---|---|---|---|---|
| 必要に応じて論文を指定します |
授業後半では英文の論文の読解が必要になります
課題提出時にColaboratoryまたは任意のTeXシステムを使用します
道徳推論システムの概略を把握する
Overview theoretical backgrounds of moral reasoning systems
道徳推論システムの基盤理論としての様相論理および関連する論理システムの概要に触れる。前半はその準備として命題論理と１階述語論理の概要を学ぶ。後半は様相論理とその応用を扱う。
Successful students will learn theoretical approach to moral reasoning. The first half of the course will be preparatory with a crash course of propositional and predicate logic. The latter half will be devoted for overview of modal logic and related logics.
| 1 | Guidance; Introduction to symbolic logic. |
| 2 | Classical logic; propositional logic |
| 3 | Classical logic; predicate logic 1 |
| 4 | Classical logic; predicate logic 2 |
| 5 | Modal logic 1: syntax and semantics of propositional modal logic 1 |
| 6 | Modal logic 2: syntax and semantics of propositional modal logic 2 |
| 7 | Modal logic 3: completeness theorem of propositional modal logic 1 |
| 8 | Modal logic 4: completeness theorem of propositional modal logic 2 |
| 9 | Modal logic 5: overview of applications of propositional modal logic |
| 10 | Modal logic 6: predicate modal logic and its applications |
| 11 | Modal logic 7: non-Kripkean semantics |
| 12 | Moral reasoning 1: desiderata and trials |
| 13 | Moral reasoning 3: proposals and limits |
| 14 | Wrap up |
板書 /Writing on the Board
スライド（パワーポイント等）の使用 /Slides (PowerPoint, etc.)
上記以外の視聴覚教材の使用 /Audiovisual Materials Other than Those Listed Above
個人発表 /Individual Presentations
グループ発表 /Group Presentations
ディスカッション・ディベート /Discussion/Debate
実技・実習・実験 /Practicum/Experiments/Practical Training
学内の教室外施設の利用 /Use of On-Campus Facilities Outside the Classroom
校外実習・フィールドワーク /Field Work
上記いずれも用いない予定 /None of the above
予習として前半は教科書の課題に取り組んでください。全体にわたって、宿題の所要時間は毎回１時間以内を想定しています。また授業内に指定する参考文献に目を通してください。
| 種類 (Kind) | 割合 (%) | 基準 (Criteria) |
|---|---|---|
| 平常点 (In-class Points) | 100 |
授業内課題(60%) 最終レポート(Final Report)(40%) |
| 備考 (Notes) | ||
| 授業内に演習課題を出します。その次の回の前日を締め切りとします。 | ||
| No | 著者名 (Author/Editor) | 書籍名 (Title) | 出版社 (Publisher) | 出版年 (Date) | ISBN/ISSN |
|---|---|---|---|---|---|
| 1 | 加藤浩・辰己丈夫 | 記号論理学 | 放送大学教育振興会 | 2024 | |
| その他 (Others) | |||||
| 授業前半で使います | |||||
| その他 (Others) | |||||
|---|---|---|---|---|---|
| 必要に応じて論文を指定します |
授業後半では英文の論文の読解が必要になります
課題提出時にColaboratoryまたは任意のTeXシステムを使用します