Numbering Code	U-LAS00 10005 LJ34	Year/Term	2022 ・ First semester
Number of Credits	2	Course Type	Lecture
Target Year	All students	Target Student	For all majors
Language	Japanese	Day/Period	Fri.3
Instructor name	YAMAGUCHI SYOU (Part-time Lecturer)
Outline and Purpose of the Course	「論理学」とは《正しい推論はどのようなものか》などを形式的に研究する学問である。本講義は現代論理学の最も基礎的なトピックを学ぶことを目標にする（山口担当の後期の「論理学Ⅱ」と一連の授業）。 周知のように、数学基礎論・集合論・計算機科学などを学ぶためには、現代の論理学の知識が不可欠である。また、自然科学の諸研究において明快な理論やモデルを構築する際にも、論理学の知見は有用である。加えて、哲学・言語学・心理学などの人文科学のいくつかの領域やゲーム理論・意思決定論・社会的選択理論などの社会科学の諸分野にとりくむときにも、論理学が提供する理論的道具立ては役にたつ。本講義では、命題論理の学習を通じて、基礎的な論理法則と重要なメタ的定理を学ぶ。
Course Goals	本講義を通じて、現代論理学のいわば「基礎の基礎」である命題論理の基本的な知識を学ぶことができる（具体的には、トートロジーや意味論的妥当性などに関する意味論的知識および証明や演繹などに関する構文論的知識を得ることができる）。 「授業の概要・目的」でも触れたが、論理学は現代のさまざまな理論的な学問の知識を得るための不可欠な基礎でもある。それゆえ、本講義を受けることによって、こうした学問を専門的に学ぶためのいわば「足腰」を鍛えることができる。
Schedule and Contents	第１回　　イントロダクション――論理学とは何か 第２回　　論理学を学ぶ準備（１）――「ならば」について 第３回　　論理学を学ぶ準備（２）――集合と量化 第４回　　真理表とトートロジー 第５回　　意味論的に妥当な推論 第６回　　公理・推論規則・証明 第７回　　ルカシェビッチの公理系 第８回　　公理系における定理の証明の練習 第９回　　演繹定理 第１０回　構文論的に妥当な推論（および「意味論」と「構文論」について） 第１１回　健全性定理 第１２回　完全性定理（１） 第１３回　完全性定理（２） 第１４回　その他のメタ的な定理 第１５回　フィードバック（論理の本質について）
Evaluation Methods and Policy	定期試験のみによって評価する。 合格するためにはトートロジーや意味論的妥当性に関するいわば「論理計算」を完全にマスターしている必要がある。また、優秀な成績を収めるためには、メタ定理の意味を十分に理解している必要があるだろう。
Course Requirements	None
Study outside of Class (preparation and review)	論理学の学習は、たんなる情報の収集ではなく、〈論理的技術を身につける〉という側面が大きい。それゆえ、受け身の態度では習得できず、自らの頭を使うことによってのみ知識を定着させることができる。予習は不要だが、復習はしっかりと行なうこと。
Textbooks	Textbooks/References	現代論理学, 安井邦夫, (世界思想社), ISBN:4790703975