シラバス情報
|
教員名 ： 森永 和英
|
科目授業名称（和文） Name of the subject/class (in Japanese)
論理学１ （後期木３・森永）
科目授業名称（英文） Name of the subject/class (in English)
Logic 1
授業コード Class code
99KT20Y
科目番号 Course number
L3HSHUM103
教員名
森永 和英
Instructor
森永和英
開講年度学期
2026年度後期
Year
2026年度
Semester
②Second semester
曜日時限
木曜3限
Class hours
木曜日3限
開講学科・専攻 Department
理学部第一部 応用物理学科（一般教養科目）、工学部（一般教養科目）、先進工学部（一般教養科目）、薬学部（一般教養科目）
A course of liberal arts, the Department of Applied Physics, Faculty of Science Division Ⅰ A course of liberal arts, the Faculty of Engineering A course of liberal arts, the Faculty of Advanced Engineering A course of liberal arts, the Faculty of Pharmaceutical Sciences 単位数 Course credit
2.00単位
授業の方法 Teaching method
講義
Lecture 履修形態 Course form
薬学科：選択 生命創薬科学科：選択
外国語のみの科目（使用言語） Course in only foreign languages (languages)
-
授業の主な実施形態 Main class format
① [対面]対面授業/ [On-site] On-site class
概要 Description
論理学とは、科学的な思考にとって不可欠な、客観的で正しい言語使用の科学です。20世紀初頭に現代記号論理として面貌を一新した論理学は、数学を厳密に展開することを可能にしたのみならず、私たちの「論理的」と呼ばれる思考のあり方を明らかにし、また計算機の科学にとって最も基礎的な部分を提供しました。この講座では、論理学の初歩を学び、将来さらに深く論理学を学んだり、あるいは論理学が応用される場面を専攻したりすることへの準備をします。
目的 Objectives
科学的思考とコミュニケーションの基礎をなす論理学の初歩を修得する。
到達目標 Outcomes
標準命題算および標準1階述語算のシンタックス、セマンティクス、PM公理化、自然演繹の習得
卒業認定・学位授与の方針との関係（学部科目のみ）
リンク先の [評価項目と科目の対応一覧]から確認できます（学部対象）。
履修登録の際に参照ください。 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/ 関連する卒業認定・学位授与の⽅針（薬学部のみ）
薬学科：DP1 生命創薬科学科：DP1
履修上の注意 Course notes prerequisites
アクティブ・ラーニング科目 Teaching type（Active Learning）
-
-
準備学習・復習 Preparation and review
特になし
成績評価方法 Performance grading policy
成績は若干の宿題の提出状況、および試験の結果を加味して評価する。
学修成果の評価 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)
Y
書誌情報 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
近藤洋逸・好並英司著『論理学入門』、岩波書店
授業計画 Class plan
◆第1講 論理学とは
科学的に議論するということ / 言語使用の規範学としての論理学 / 帰納と演繹 / 演繹科学の公理的展開 / 概念の定義の完全性 / 真理値をもつ表現としての命題 / 矛盾律と排中律 / トートロジーとしての論理法則 ◆第2講 標準命題算① 同一性代入則 / 同値性代入則 / 真理関数 / ブール代数 ◆第3講 標準命題算② 標準命題算（SPC）の基本論理演算子 / 標準命題算のシンタックス ◆第4講 標準命題算③ 真理値表 / その他の2項論理演算子 / 閉論理式と開論理式 / 閉論理式の真理値計算 ◆第5講 標準命題算④ 開論理式について真理値表を書く / 恒真式の概念 / 恒真式としての基本同値式 ◆第6講 標準命題算④ 同値変換 / CNFを用いた恒真性のチェック ◆第7講 標準命題算⑤ 標準命題算のPM公理化 / PM公理化による恒真式の証明 / PM公理化の無矛盾性と完全性 ◆第8講 チェックテスト ◆第9講 標準命題算⑥ LK公理化（自然演繹） ◆第10講 標準命題算⑦ LK公理化（自然演繹）の続き ◆第11講 標準述語算① 述語関数と個体定項という考え方 / 階について / 個体と論議領域 / 標準1階述語算（SLPC）のシンタックス / 量化子と作用域 / 多重に量化された式の読み方 ◆第12講 標準述語算② 式型 / 標準1階述語算（SLPC）のセマンティクス ◆第13講 標準述語算③ 基本的なSLPC恒真式型 ◆第14講 チェックテスト ◆第15講 試験 SBOsコード（薬学部薬学科のみ 2023年度以前カリキュラム適用者対象）
学修事項（薬学部薬学科のみ 2024年度以降カリキュラム適用者対象）
担当教員の実務経験とそれを活かした教育内容 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
|
