日本語 English
| 開講年度/ Academic YearAcademic Year |
20262026 |
| 科目設置学部/ CollegeCollege |
文学部/College of ArtsCollege of Arts |
| 科目コード等/ Course CodeCourse Code |
AE317/AE317AE317 |
| テーマ・サブタイトル等/ Theme・SubtitleTheme・Subtitle |
言語哲学と人工知能 |
| 授業形態/ Class FormatClass Format |
対面（全回対面）/Face to face (all classes are face-to-face)Face to face (all classes are face-to-face) |
| 授業形態（補足事項）/ Class Format (Supplementary Items)Class Format (Supplementary Items) |
|
| 授業形式/ Class StyleCampus |
講義/LectureLecture |
| 校地/ CampusCampus |
池袋/IkebukuroIkebukuro |
| 学期/ SemesterSemester |
春学期/Spring SemesterSpring Semester |
| 曜日時限・教室/ DayPeriod・RoomDayPeriod・Room |
水1/Wed.1 Wed.1 ログインして教室を表示する（Log in to view the classrooms.） |
| 単位/ CreditsCredits |
22 |
| 科目ナンバリング/ Course NumberCourse Number |
EDU2700 |
| 使用言語/ 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 |
〇（履修中止可/ Eligible 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）に基づき、カリキュラム上に配置されています。詳細はカリキュラム・マップで確認することができます。 https://www.rikkyo.ac.jp/about/disclosure/educational_policy/arts.html |
| 備考/ NotesNotes |
To learn symbolic logic and impacts of philosophy on the early development of artificial intelligence.
The main content of the course is symbolic logic in the tableau method. The history of development of symbolic logic is placed in the context of crisis of mathematics, followed by influence of philosophical theory on research of artificial intelligence.
| 1 | ガイダンス。数学（高校数学I）のプレイスメントテスト。記号論理学と人工知能。 |
| 2 | 集合演算と日本語表現。命題と論理演算。 |
| 3 | 命題論理1 タブロー |
| 4 | 命題論理2 タブロー続き。証明。反例。 |
| 5 | 命題論理3 証明可能性と妥当性 |
| 6 | 命題論理4 完全性 |
| 7 | 命題論理5 三段論法との関係 |
| 8 | 一階述語論理1 日本語と一階述語論理の式 |
| 9 | 一階述語論理2 量化子とタブロー1 |
| 10 | 一階述語論理3 量化子とタブロー2 |
| 11 | 一階述語論理4 証明、証明可能性、妥当性 |
| 12 | 一階述語論理5 完全性1 |
| 13 | 一階述語論理6 完全性2 |
| 14 | まとめ 完全性定理と不完全性定理 人工知能と論理演算 |
板書 /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
| 補足事項 (Supplementary Items) |
|---|
| 毎回演習問題を各自で解くこと。 |
演習問題の予習と復習を行うこと。
| 種類 (Kind) | 割合 (%) | 基準 (Criteria) |
|---|---|---|
| 平常点 (In-class Points) | 100 |
グループ発表(30%) 個人発表(70%) |
| 備考 (Notes) | ||
| 個人発表では、授業中に指名の上で宿題の回答を板書・発表していただきます。グループ発表では授業外の時間で調べた発表内容を調整し、プレゼンテーションを作成していただきます。 | ||
| No | 著者名 (Author/Editor) | 書籍名 (Title) | 出版社 (Publisher) | 出版年 (Date) | ISBN/ISSN |
|---|---|---|---|---|---|
| 1 | 加藤浩・辰己丈夫 | 『記号論理学』 | 放送大学教育振興会 | 2024 | 9784595324819 |
| No | 著者名 (Author/Editor) | 書籍名 (Title) | 出版社 (Publisher) | 出版年 (Date) | ISBN/ISSN |
|---|---|---|---|---|---|
| 1 | 飯田隆 | 『増補改訂版 言語哲学大全I』 | 勁草書房 | 2022 | 9784326103096 |
| 2 | 飯田隆 | 『増補改訂版 言語哲学大全2』 | 勁草書房 | 2023 | 9784326103232 |
| 3 | 飯田隆 | 『増補改訂版 言語哲学大全3』 | 勁草書房 | 2024 | 9784326103324 |
| 4 | 飯田隆 | 『リーディングズ・数学の哲学』 | 勁草書房 | 1995 | 9784326101047 |
積極的に授業に参加し、課題に取り組む力。
パソコンまたはタブレットを持参してください。オンライン演習システムを利用します。
記号論理学の基礎を学習するとともに、哲学が人工知能の基礎理論に及ぼした影響を知る。
To learn symbolic logic and impacts of philosophy on the early development of artificial intelligence.
タブロー法による記号論理学の基礎を学ぶ。なぜ記号論理学が発達することになったのか、数学の危機とその対処の文脈に位置づける。そのうえで哲学が人工知能研究にもたらした影響を学ぶ。
The main content of the course is symbolic logic in the tableau method. The history of development of symbolic logic is placed in the context of crisis of mathematics, followed by influence of philosophical theory on research of artificial intelligence.
| 1 | ガイダンス。数学（高校数学I）のプレイスメントテスト。記号論理学と人工知能。 |
| 2 | 集合演算と日本語表現。命題と論理演算。 |
| 3 | 命題論理1 タブロー |
| 4 | 命題論理2 タブロー続き。証明。反例。 |
| 5 | 命題論理3 証明可能性と妥当性 |
| 6 | 命題論理4 完全性 |
| 7 | 命題論理5 三段論法との関係 |
| 8 | 一階述語論理1 日本語と一階述語論理の式 |
| 9 | 一階述語論理2 量化子とタブロー1 |
| 10 | 一階述語論理3 量化子とタブロー2 |
| 11 | 一階述語論理4 証明、証明可能性、妥当性 |
| 12 | 一階述語論理5 完全性1 |
| 13 | 一階述語論理6 完全性2 |
| 14 | まとめ 完全性定理と不完全性定理 人工知能と論理演算 |
板書 /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
| 補足事項 (Supplementary Items) |
|---|
| 毎回演習問題を各自で解くこと。 |
演習問題の予習と復習を行うこと。
| 種類 (Kind) | 割合 (%) | 基準 (Criteria) |
|---|---|---|
| 平常点 (In-class Points) | 100 |
グループ発表(30%) 個人発表(70%) |
| 備考 (Notes) | ||
| 個人発表では、授業中に指名の上で宿題の回答を板書・発表していただきます。グループ発表では授業外の時間で調べた発表内容を調整し、プレゼンテーションを作成していただきます。 | ||
| No | 著者名 (Author/Editor) | 書籍名 (Title) | 出版社 (Publisher) | 出版年 (Date) | ISBN/ISSN |
|---|---|---|---|---|---|
| 1 | 加藤浩・辰己丈夫 | 『記号論理学』 | 放送大学教育振興会 | 2024 | 9784595324819 |
| No | 著者名 (Author/Editor) | 書籍名 (Title) | 出版社 (Publisher) | 出版年 (Date) | ISBN/ISSN |
|---|---|---|---|---|---|
| 1 | 飯田隆 | 『増補改訂版 言語哲学大全I』 | 勁草書房 | 2022 | 9784326103096 |
| 2 | 飯田隆 | 『増補改訂版 言語哲学大全2』 | 勁草書房 | 2023 | 9784326103232 |
| 3 | 飯田隆 | 『増補改訂版 言語哲学大全3』 | 勁草書房 | 2024 | 9784326103324 |
| 4 | 飯田隆 | 『リーディングズ・数学の哲学』 | 勁草書房 | 1995 | 9784326101047 |
積極的に授業に参加し、課題に取り組む力。
パソコンまたはタブレットを持参してください。オンライン演習システムを利用します。