[{"data":1,"prerenderedAt":353},["ShallowReactive",2],{"$ft65MY3EodfbnwNhgZlTS7yhadm2YOzNKJK9X9n_Ss38":3,"$fDiwR3u-0wEQVuc_-YY7TLM24h7b7j_jhtuRrftg0Fng":54,"$fvBCk4GcXVpbEkci8IBsYSph7J64MZ6kLl2BvamoQgFg":66,"$fIuLrEhCuLGHK3A8wDAluG1OF8UqmlREfVPpUnaeFZrE":249,"requiredCourseNames_21011220":342,"opengraphListBase/3EuI8kFBpDDo5FsndhPlHUdRweMlwxfWGpWkF6g627A":343,"opengraphListBase/OW-B1zk3E8nI-j5Eq7_UvDAHHtl-zKlmm0SBOQhZwnQ":344,"opengraphListBase/ZuSdFczGDZvH1WneKXBlqtNTysMBxlmMAht-qLXjY7g":345,"opengraphListBase/V4kFHAPyG3W2RgfQv2BIImbIqt1K2-O79ve-sK4_wG4":346,"opengraphListBase/nYj9DYRp4WspSk2-FzVRgEcR7j-k8eQ0SXzIqJKZJ4c":347,"opengraphListBase/9bO1WJaJWIXrX2j1qu-u4YmpYjYBey1FjKhl_F1cPZU":348,"opengraphListBase/MmEQtGC7jwLyRsQGdplFbnaIOU3EMku2JLKDDQtzlvc":349,"opengraphListBase/d0Y07E5LusIP7JLY0F9d4drCdJu5qRs5mts9HrGbuTM":350,"opengraphListBase/UVedqAjlEDSd5pZMblh82Oi_w24aU1RehNfW83pC4CQ":351,"opengraphListBase/noSgwKvWmk1rlhvgQzX_lSxdaEjgn4RUvJzBmrw9TMc":352},{"timeTableCode":4,"year":5,"title":6,"englishTitle":7,"url":8,"semester":9,"method":10,"credits":11,"lecturers":12,"office":13,"email":14,"website":15,"lastUpdate":16,"theme":17,"prerequisites":18,"recommends":18,"materials":19,"outline":20,"practicalContent":21,"selfStudy":22,"evaluation":23,"officeHours":24,"message":25,"others":18,"mainCategory":26,"numberingCodes":31,"grades":33,"periods":36,"keywords":38,"mainDepartment":44,"creditCategories":45,"requiredCourses":50,"requiredCategories":51,"requiredJudgements":52,"departmentIds":53},"21011220",2026,"論理学","Logic","https://kyoumu.office.uec.ac.jp/syllabus/2026/31/31_21011220.html","前学期","講義",2,"秋吉 亮太","東1-511","akiyoshi@uec.ac.jp","なし","2026-04-02T05:35:17.000Z","論理学は推論の妥当性を特徴づけることを目標とする学問で、さまざまな学問(哲学、数学、計算機科学他)の基礎となっている。より具体的には、「かつ」や「ならば」などの文を結びつける結合子(命題結合子)や「すべて」や「ある」といった量化子に焦点を当てる。本講義は現代論理学を初歩から解説して、述語論理の意味論・証明論に慣れることを目指す。 論理学は歴史的に哲学や数学、計算機科学などと関連する重要な分野であり、現代哲学(言語哲学や科学哲学など)においても重要なツールである。時間があればこれらの分野への応用なども紹介する。","特になし。","特になし。適宜プリントを配る。","授業の概要:\n本講義では、まず日本語の文を記号論理の言語に翻訳することを学んで、その後に、推論の妥当性を特徴づける二つのアプローチや論理体系の基本的でメタ的な性質について学ぶ。\n\n授業内容:\n1.   イントロダクション(目的と概要)\n2.   日本語文の記号化と形式言語(論理式, 命題結合子, 量化子)\n3.   日本語文の記号化と形式言語(量化子)\n4.   述語論理の意味論(モデル)\n5.   述語論理の意味論(充足可能性、反例モデル)\n6.   述語論理の証明論(直観主義自然演繹体系、命題結合子に関する推論規則(連言、選言、条件法))\n7. 述語論理の証明論(直観主義自然演繹体系、命題結合子に関する推論規則(否定、爆発則、背理法))\n8. 述語論理の証明論(直観主義自然演繹体系、量化子に関する推論規則(全称量化子))\n9. 述語論理の証明論(直観主義自然演繹体系、量化子に関する推論規則(存在量化子))\n10. 述語論理の証明論(推論の妥当性の二つのアプローチ、完全性定理の意義)\n11. 述語論理のメタ定理(健全性定理)\n12. 述語論理のメタ定理(完全性定理(証明の概略))\n13. 述語論理のメタ定理(完全性定理(モデル構成))\n14. 周辺的な話題の紹介\n15. まとめ\n\n 進め方:\n配布するスライドやプリントを元に講義を行なって、演習時間も必要に応じて設ける予定である。","なし。","毎回プリントを配り丁寧に説明を行いつつ、演習問題を解く時間を必要に応じて設けて授業内で回答の確認を行なう。それゆえ、前回の授業のプリントの内容はもちろん、演習問題の復習を行なう事が望ましい。","期末試験100%。\n期末試験については以下のポイントについて理解することが必要です。(1) 自然言語の文の述語論理への翻訳、(2) 意味論的な妥当性の概念の理解、(3) 証明論的な妥当性の概念の理解、(4)完全性定理などについての基本的な概念の理解。","事前にアポイントをとってください。","授業は講義だけではなく演習を含みます。講義を聞いただけではわからず、自分の手を動かすことによって初めて論理学は身につくと考えてください。授業内では回答の発表、ならびに学生の皆さんのつまずきやすいポイントを必要に応じて解説しますので、授業への積極的な参加を期待します。",{"id":27,"name":28,"supplement":29,"parentId":30},6,"人文・社会科学科目",null,1,[32],"HSS321z",[11,34,35],3,4,[37],"水1",[39,40,41,42,43],"完全性定理","意味論","現代論理学","証明論","述語論理","情報理工学域",[46],{"departmentId":47,"categoryId":27,"isRequired":48,"grades":49},1000,false,[11,34,35],[],[],[],[47],[55,58,61,64],{"id":30,"name":56,"judgeAt":57},"2年次終了審査","2年次終了時",{"id":11,"name":59,"judgeAt":60},"卒業研究着手審査","3年次終了時",{"id":34,"name":62,"judgeAt":63},"卒業審査","4年次終了時",{"id":35,"name":65,"judgeAt":60},"輪講履修条件",[67,162,189,242,245],{"id":30,"name":68,"supplement":29,"children":69},"総合文化科目",[70,72,104,108,112,136,140,144,157],{"id":27,"name":28,"supplement":29,"children":71},[],{"id":73,"name":74,"supplement":29,"children":75},7,"言語文化科目",[76,88,100],{"id":77,"name":78,"supplement":29,"children":79},15,"言語文化科目I",[80,84],{"id":81,"name":82,"supplement":29,"children":83},18,"言語文化基礎科目I",[],{"id":85,"name":86,"supplement":29,"children":87},19,"言語文化応用科目I",[],{"id":89,"name":90,"supplement":29,"children":91},16,"言語文化科目II",[92,96],{"id":93,"name":94,"supplement":29,"children":95},20,"言語文化基礎科目II",[],{"id":97,"name":98,"supplement":29,"children":99},21,"言語文化応用科目II",[],{"id":101,"name":102,"supplement":29,"children":103},17,"言語文化演習科目",[],{"id":105,"name":106,"supplement":29,"children":107},8,"健康・スポーツ科学科目",[],{"id":109,"name":110,"supplement":29,"children":111},9,"理工系教養科目",[],{"id":113,"name":114,"supplement":29,"children":115},10,"上級科目",[116,120,124,128,132],{"id":117,"name":118,"supplement":29,"children":119},22,"A類「文化と社会」",[],{"id":121,"name":122,"supplement":29,"children":123},23,"B類「言語によるコミュニケーション」",[],{"id":125,"name":126,"supplement":29,"children":127},24,"C類「異文化の理解」",[],{"id":129,"name":130,"supplement":29,"children":131},25,"D類「現代の科学」",[],{"id":133,"name":134,"supplement":29,"children":135},26,"E類「健康とスポーツの科学」",[],{"id":137,"name":138,"supplement":29,"children":139},11,"国際科目",[],{"id":141,"name":142,"supplement":29,"children":143},12,"特別講義",[],{"id":145,"name":146,"supplement":147,"children":148},13,"日本語・日本文化科目","外国人留学生のみ",[149,153],{"id":150,"name":151,"supplement":29,"children":152},27,"日本語",[],{"id":154,"name":155,"supplement":29,"children":156},28,"日本文化科目",[],{"id":158,"name":159,"supplement":160,"children":161},14,"健康科学科目","先端工学基礎課程のみ",[],{"id":11,"name":163,"supplement":29,"children":164},"実践教育科目",[165,169,173,177,181,185],{"id":166,"name":167,"supplement":29,"children":168},29,"初年次導入科目",[],{"id":170,"name":171,"supplement":29,"children":172},30,"データサイエンス科目",[],{"id":174,"name":175,"supplement":29,"children":176},31,"倫理・キャリア教育科目",[],{"id":178,"name":179,"supplement":29,"children":180},32,"技術英語科目",[],{"id":182,"name":183,"supplement":160,"children":184},33,"産学連携教育科目",[],{"id":186,"name":187,"supplement":160,"children":188},34,"技術者教養科目",[],{"id":34,"name":190,"supplement":29,"children":191},"専門科目",[192,196,216,235,239],{"id":193,"name":194,"supplement":29,"children":195},35,"理数基礎科目",[],{"id":197,"name":198,"supplement":29,"children":199},36,"類共通基礎科目",[200,204,208,212],{"id":201,"name":202,"supplement":29,"children":203},40,"必修科目",[],{"id":205,"name":206,"supplement":29,"children":207},41,"選択必修科目",[],{"id":209,"name":210,"supplement":29,"children":211},42,"選択科目",[],{"id":213,"name":214,"supplement":29,"children":215},43,"自由科目",[],{"id":217,"name":218,"supplement":29,"children":219},37,"類専門科目",[220,223,226,229,232],{"id":221,"name":202,"supplement":29,"children":222},44,[],{"id":224,"name":206,"supplement":29,"children":225},45,[],{"id":227,"name":210,"supplement":29,"children":228},46,[],{"id":230,"name":214,"supplement":29,"children":231},47,[],{"id":233,"name":138,"supplement":29,"children":234},48,[],{"id":236,"name":237,"supplement":160,"children":238},38,"専門基礎科目",[],{"id":240,"name":190,"supplement":160,"children":241},39,[],{"id":35,"name":243,"supplement":29,"children":244},"共通単位",[],{"id":246,"name":247,"supplement":29,"children":248},5,"教職科目",[],[250,334],{"id":47,"name":251,"hidden":252,"children":253},"昼間コース",true,[254,278,310],{"id":255,"name":256,"hidden":48,"children":257},1100,"I類 (情報系)",[258,262,266,270,274],{"id":259,"name":260,"hidden":48,"children":261},1101,"メディア情報学プログラム",[],{"id":263,"name":264,"hidden":48,"children":265},1102,"経営・社会情報学プログラム",[],{"id":267,"name":268,"hidden":48,"children":269},1103,"情報数理工学プログラム",[],{"id":271,"name":272,"hidden":48,"children":273},1104,"コンピュータサイエンスプログラム",[],{"id":275,"name":276,"hidden":48,"children":277},1105,"デザイン思考・データサイエンスプログラム",[],{"id":279,"name":280,"hidden":48,"children":281},1200,"II類 (融合系)",[282,298],{"id":283,"name":284,"hidden":48,"children":285},1210,"情報工学エリア",[286,290,294],{"id":287,"name":288,"hidden":48,"children":289},1211,"セキュリティ情報学プログラム",[],{"id":291,"name":292,"hidden":48,"children":293},1212,"情報通信工学プログラム",[],{"id":295,"name":296,"hidden":48,"children":297},1213,"電子情報学プログラム",[],{"id":299,"name":300,"hidden":48,"children":301},1220,"メカトロニクスエリア",[302,306],{"id":303,"name":304,"hidden":48,"children":305},1221,"計測・制御システムプログラム",[],{"id":307,"name":308,"hidden":48,"children":309},1222,"先端ロボティクスプログラム",[],{"id":311,"name":312,"hidden":48,"children":313},1300,"III類 (理工系)",[314,318,322,326,330],{"id":315,"name":316,"hidden":48,"children":317},1301,"機械システムプログラム",[],{"id":319,"name":320,"hidden":48,"children":321},1302,"電子工学プログラム",[],{"id":323,"name":324,"hidden":48,"children":325},1303,"光工学プログラム",[],{"id":327,"name":328,"hidden":48,"children":329},1304,"物理工学プログラム",[],{"id":331,"name":332,"hidden":48,"children":333},1305,"化学生命工学プログラム",[],{"id":335,"name":336,"hidden":252,"children":337},2000,"夜間主コース",[338],{"id":339,"name":340,"hidden":48,"children":341},2001,"先端工学基礎課程",[],[],{},{},{},{},{},{},{},{},{},{},1775583327862]