論理学入門（水・６）｜シラバス情報

科目授業名称（和文）　Name of the subject/class (in Japanese)

論理学入門（水・６）

科目授業名称（英文）　Name of the subject/class (in English)

Introduction to Logic

授業コード　Class code

99K2264

科目番号　Course number

L1HSHUMb25

教員名

上村　芳郎

Instructor

上村芳郎（UEMURA Yoshiro）

開講年度学期

2026年度前期

Year

2026年度

Semester

①First semester

曜日時限

水曜6限

Class hours

水曜日　６時限目（Wednesday 6th. Period）

開講学科・専攻　Department

理学部第二部（一般教養科目）

A course of liberal arts, the Faculty of Science Division Ⅱ

単位数　Course credit

2.00単位

授業の方法　Teaching method

講義

Lecture

外国語のみの科目（使用言語）　Course in only foreign languages (languages)

-

授業の主な実施形態　Main class format

① [対面]対面授業/ [On-site] On-site class

概要　Description

論理とは何か、について考える。
論理学の始まりは、古代ギリシャのアリストテレスに遡るが、
現代の論理学は、20世紀初頭の、記号論理学に始まり、
数学基礎論や情報理論（コンピューター）と深く関わりあいながら発達してきた。
この講義では、命題論理の基本的な考え方と、述語論理の初歩を学び、
問題演習を通じて、論理的に考えるとはどういうことか、についても考える。

目的　Objectives

一般的な知識として必要な論理学の基礎を学ぶ
そのため、まず題論理と述語論理の基礎を理解する
次に日常的な文章の構造を論理的に理解する訓練をすることによって
論理的な思考を鍛える目的とする。

到達目標　Outcomes

命題論理のトートロジーについて理解する
タブローの技法について理解する
論理的な判断が正しくできるようになる

卒業認定・学位授与の方針との関係（学部科目のみ）

リンク先の [評価項目と科目の対応一覧]から確認できます（学部対象）。
履修登録の際に参照ください。
You can check this from “Correspondence table between grading items and subjects” by following the link(for departments).
https://www.tus.ac.jp/fd/ict_tusrubric/

履修上の注意　Course notes prerequisites

特になし

アクティブ・ラーニング科目　Teaching type（Active Learning）

-

準備学習・復習　Preparation and review

授業で扱った練習問題を、後でもう一度解いてみて欲しい

成績評価方法　Performance grading policy

中間試験と到達度評価の結果によって評価する。
配点割合はそれぞれ50％。

学修成果の評価　Evaluation of academic achievement

・S：到達目標を十分に達成し、極めて優秀な成果を収めている
・A：到達目標を十分に達成している
・B：到達目標を達成している
・C：到達目標を最低限達成している
・D：到達目標を達成していない
・-：学修成果の評価を判断する要件を欠格している

・S：Achieved outcomes, excellent result
・A：Achieved outcomes, good result
・B：Achieved outcomes
・C：Minimally achieved outcomes
・D：Did not achieve outcomes
・-：Failed to meet even the minimal requirements for evaluation

教科書　Textbooks/Readings

教科書の使用有無（有=Y , 無=N）　Textbook used(Y for yes, N for no)

N

書誌情報　Bibliographic information

-

MyKiTSのURL（教科書販売サイト）　URL for MyKiTS(textbook sales site)

教科書および一部の参考書は、MyKiTS (教科書販売サイト) から検索・購入可能です。
https://gomykits.kinokuniya.co.jp/tokyorika/

It is possible to search for and purchase textbooks and certain reference materials at MyKiTS (online textbook store).
https://gomykits.kinokuniya.co.jp/tokyorika/

参考書・その他資料　Reference and other materials

ホームページの当該箇所を参照
http://www.ne.jp/asahi/village/good/

授業計画　Class plan

第一回
論理学とは何か
論理学の歴史
現代の論理学の特徴

第二回
命題論理（１）
真理関数の考え方と、その基本的な方法
真理表とトートロジー

第三回
命題論理（２）
タブロー方式によるトートロジーの判別

第四回
命題論理（３）
推論の妥当性の判別

第五回
復習と練習問題

第六回
多値論理の基礎
「真」と「偽」以外の真理値を考える

第七回
様相論理の基礎
必然性と可能性

第八回
論理の公理系と証明
証明とは何か
公理系の無矛盾性

第九回
論理トレーニング（１）
実際の文章で論理関係の正しさを考える

第十回
論理トレーニング（２）
承前

第十一回
論理トレーニング（３）
承前

第十二回
論理トレーニング（４）
承前

第十三回
論理トレーニング（５）
承前

第十四回
これまでの復習と練習問題

担当教員の実務経験とそれを活かした教育内容　Work experience of the instructor

-

教育用ソフトウェア　Educational software

-

備考　Remarks

授業でのBYOD PCの利用有無　Whether or not students may use BYOD PCs in class

Y

授業での仮想PCの利用有無　Whether or not students may use a virtual PC in class

Y