Course Name Year Term Period Faculty / Graduate School All Instructors Credits
51943:[2025 Spring]Logic and Thinking (GV) 2025 Spring Thu4 College　Of　Business　Administration,College　of　Image　Arts　and　Sciences,College　of　Comprehensive　Psychology,College　of　Information　Science　and　Engineering ISE TOSHIHIKO 2

Campus

OIC

Class Venue

Lecture Room H202

Language

日本語

Course Outline and Method

論理とは、ことばや記号を媒介とする思考の根底にある構造である。この構造に支えられて、推理や論証という活動が可能になる。ことばや記号による表現の検討をつうじて、論理のしくみを客観的に考えることにより、推理や論証の実践的技能の基礎作りを試みる。
授業は、対面による講義形式で進め、各回に、manaba+Rを通じた理解度確認の小テスト、および授業についての質問や要望の受付を行う。

Student Attainment Objectives

・命題の真偽、論証の妥当性、必然性と可能性、論理的真理と矛盾など、論理的な概念を理解し活用することができる。
・命題や論証の論理的性質を検討し、また論理的な推論を行なうために、図、表、記号などを場合に応じて柔軟に用いることができる。
・具体的状況において推理、判断能力を試す問題に対処することができる。

Recommended Preparatory Course

Course Schedule

Lecture/Instructor（When there are multiple instructors) Theme
Keyword, References and Supplementary Information
1

「論理的」とはどういうことか

学習の進め方、授業の受け方についてのイントロダクション
4枚カード問題、命題、反例、矛盾
【+R 授業】詳細は manaba+R を参照

2

命題を図と表で表現する

もし○ならば△、ヴェン図、真理表

3

真理表と論理的性質・論理的関係

論理結合子、→（もし〜ならば〜）、¬（〜でない）、可能性／必然性、矛盾／必然的帰結

4

真理表と論証

論証の妥当性、∨（〜または〜）、∧（〜そして〜）

5

真理関数とその表現

文の情報内容を真理関数としてとらえる

6

真理関数とその表現（続き）

一定の真理関数を表わす文を作る、ド・モルガン則、対偶則、必要条件と十分条件

7

真理関数とその表現（続き）

真理関数と情報量、トートロジー、矛盾

8

トートロジーと論証

（無）矛盾律、排中律、同一律

9

真理表と推理

推論規則、消去法、3つの要素を含む情報、犯人捜しゲーム

10

一般命題と三段論法をヴェン図で表現する

全称（普遍）命題、特称命題、存在命題、ヴェン図と情報量

11

一般命題の記号表現

存在量化子、普遍量化子

12

一般命題と一般命題、一般命題と単称命題の論理的関係

存在量化文と全称（普遍）量化文の関係、量化文と単称文の関係、例化、量化文と単称文を含む論証、存在量化文を前提に持つ論証

13

一般命題からなる論証

三段論法の問題を記号で解く

14

全体の概観と補足

図と記号による表現、記号の操作、論理的概念の理解

Class Format

対面授業

Recommendations for Private Study

与えられた情報を順序立てて整理し表現するスキルを身につけるためには、図表や記号を用いる場合も、文章を組み立てる場合と同様、実際に書いてみることが重要。耳で聞き、目で見て理解するだけでなく、実際に手を動かして内容を確認する習慣をつけよう。また、図表や記号が使えるだけでなく、表現の意味やしくみについて整理して説明できるようにしておこう。

Grade Evaluation Method

Kind Percentage Grading Criteria etc.
Final Examination (Written) 40

用語や概念、図表や記号の理解について論述問題によって確認する。
Report Examination
(A report to be submitted by the unified deadline)

Exams and/or Reports other than those stated above, and Continuous Assessment　
(Evaluation of Everyday Performance in Class)		 60

授業期間中の小テストを中心に、授業への参加と理解度のチェックを行う。

Grade Evaluation Method （Note）

Advice to Students on Study and Research Methods

与えられた情報を順序立てて整理し表現するスキルは、大学での学びや研究全般の基礎になる。日常の言葉とはちがった図表や記号を用いることをつうじて、情報の整理や表現のしくみに意識的に注意を向ける習慣をつければ、他の分野の学びや研究にもきっと役立つはず。

Textbooks

Textbooks （Frequency of Use, Note）

教科書は使わず、毎回の授業で資料を配布する

Reference Books

Title Author Publisher ISBN Code Comment
形式論理学 リチャード・ジェフリー 産業図書 9784782800928 授業内容をより体系的に理解し、より進んだ内容に進めるために。
まったくゼロからの論理学 野矢茂樹 岩波書店 9784000248297 記号論理を記号を使わないで一から説明する。
論理学超入門 グレアム・プリースト 岩波書店 9784000296847 論理学の哲学的背景を知りたい人に

Reference Books （Frequency of Use, Note）

Web Pages for Reference

How to Communicate with the Instructor In and Out of Class(Including Instructor Contact Information)

Learning Management System （manaba+R）,Talk with Students

Other Comments

【科目ナンバリング・カリキュラムマップはこちらから/Click here to see the Curriculum-Map and Course-Numbering】
URL:https://secure.ritsumei.ac.jp/students/pathways-future/course/curriculum.html/