時間割コード
Registration Code		0012532
科目区分
Course Category		基礎セミナー
First Year Seminar
科目名　【日本語】
Course Title		基礎セミナー
科目名　【英語】
Course Title		First Year Seminar
使用言語
Language Used in the Course
日本語
テーマ（基礎セミナーのみ）
Theme of First Year Seminar(First Year Seminar Only)
数学で論理思考
担当教員　【日本語】
Instructor		納谷 信 ○
担当教員　【英語】
Instructor		NAYATANI Shin ○
単位数
Credits		2
開講期・開講時間帯
Term / Day / Period		Ⅰ 火曜日 ５時限
I Tue 5


授業の目的　【日本語】
Goals of the Course [JPN]
少人数のセミナーの形式で，大学で学び研究するための最も基本的なスキル（コモン・ベーシック）としての読み（文献調査，考察，検討），書き（まとめ，報告書作成），話す（討論，発表）を中心とした多面的な知的トレーニングを行います。さらに「知の探究のプロセス」と「学問の面白さ」を学び，自立的学習能力を身につけることを目的としています。教員の研究分野に応じて多様なテーマが用意されています。
授業の目的　【英語】
Goals of the Course [ENG]
This course is conducted in the form of a seminar with small groups. We will provide multifaceted intellectual training focused on reading (literature research, consideration, examination), writing (summary, report writing), and speaking (discussion, presentation) as the most basic skills (common basic) for learning and studying at university. Through this, our goal is to learn the "process of knowledge exploration" and "the fun of learning" and to acquire the independent learning ability. A wide variety of themes are prepared according to the research field of the instructors.
授業の達成目標　【日本語】
Objectives of the Course [JPN]
数理論理の考え方の最も基本的なところを理解し、今後広い意味で論理表現、論理思考を行う上での基礎を修得することを目標とします。
授業の達成目標　【英語】
Objectives of the Course [ENG]
授業の内容や構成
Course Content or Plan
この授業では、数学で使われる論理、論理表現や論理思考の方法について学びます。題材として、高校までに学んだ数学（数IIIをのぞく）も用いますが、理解のためにむしろ日常表現を多く利用します。数学で用いられる論理—数理論理—は比較的汎用性があり、受講した皆さんが今後様々な分野で論理的な思考をする上で助けになると期待されます。いわゆる論理学の授業ではなく、数学者や数学専門の学生が頻繁に用いる論理にしぼって、具体例をもとに数理論理の考え方のうち基本的かつ重要なものを身につけることを目指します。授業では質疑応答や意見交換の時間を多く取るつもりです。
授業の具体的内容について述べておきます。まず「矛盾」を取り上げます。この言葉が盾と矛を売る楚の商人の話にもとづくことはご存知でしょう。この商人の述べた内容が道理が合わないことは明らかで、その意味で矛盾であることはそのとおりです。一方、数学的な意味での矛盾かというと、実は少し違いがあります。この違いを理解することが最初の目標です。これをはじめとして、数理論理の基本事項、およびそれに基づく論理表現・思考の手法や数学における証明法（とくに背理法）を学びます。最後に、以上の学習をふまえて、大学初年次の数学に現れる極限や連続性といった概念の正確な理解やそれに基づく論証にも挑戦してもらうつもりです。
履修条件・関連する科目
Course Prerequisites and Related Courses
履修条件は要さない。
成績評価の方法と基準
Course Evaluation Method and Criteria
出席をはじめ授業への取り組み状況（50％）と課題レポート（50％）によって評価します。【授業の達成目標】に記載した内容が達成されることを合格の基準とします。履修取り下げの申し出は不要です。課題レポートを提出しなければ履修取り下げとみなします。
教科書
Textbook
なし。必要に応じて授業で示す。
参考書
Reference Book
中内伸光「ろんりの練習帳」共立出版（2002）
他にも必要に応じて授業で示します。
課外学修等
Study Load (Self-directed Learning Outside Course Hours)
必要に応じて授業で示す。
注意事項
Notice for Students
本授業に関するWebページ
Reference website for this Course
担当教員からのメッセージ
Message from the Instructor
担当者は、日常的に論理思考をしているつもりですが、論理学、数理論理学の専門家ではありません。この授業を通じて、自分が普段使っている論理思考を振り返り、その数学の枠を超えた有用性について考えたいと思っています。一緒に勉強しましょう。
実務経験のある教員等による授業科目（大学等における修学の支援に関する法律施行規則に基づくもの）
Courses taught by Instructors with practical experience
授業開講形態等
Lecture format, etc.
対面で実施します。
対面授業の場合の講義室は、時間割B表（名大ポータル>教養教育院ページ掲載）を確認すること。