NTU Course
Overview

Elementary Logic

Offered in 113-1

  • Serial Number

    48744

  • Course Number

    Phl1008

  • Course Identifier

    104 10400

  • No Class

  • 3 Credits

  • Preallocated / Elective

    DEPARTMENT OF PHILOSOPHY / PROGRAM OF NEUROBIOLOGY AND COGNITIVE SCIENCE

      Preallocated

    • DEPARTMENT OF PHILOSOPHY

      • Elective

    • PROGRAM OF NEUROBIOLOGY AND COGNITIVE SCIENCE

  • Shawn Standefer
  • Tue 7, 8, 9, 10

  • 普102

  • Type 2

  • 90 Student Quota

    NTU 90

  • No Specialization Program

  • English
  • NTU COOL
  • Core Capabilities and Curriculum Planning
  • Notes

  • NTU Enrollment Status

    Enrolled
    0/90
    Other Depts
    0/0
    Remaining
    0
    Registered
    0
  • Course Description
    This course aims to introduce students to some basic ideas and knowledge in formal logic, and to equip students with a sufficient background for understanding technical arguments containing logical symbols in the philosophy literature. The course will consist of three main parts: (1) Propositional logic, its language, semantics and syntax; (2) Predicate Logic, its language, semantics and syntax; and (3) Some relevant background in basic (non-axiomatic) set theory (including some ideas about classes, functions, and relations) and basic three-valued logic. Together with these lectures on formal logic, some basic topics in the philosophy of logic will also be introduced, such as propositions, logical connectives, reference and definite descriptions, etc. This course will be taught in English.
  • Course Objective
    Students will be expected to (1) acquire some basic idea about formal logic (2) learn how to translate natural language arguments into formal logic and test their validity (3) develop skills to construct proofs or derivations in a formal system (4) acquire the ability to understand arguments containing logical symbols in the philosophy literature (5) acquire some basic ideas about classes, sets, and relations.
  • Course Requirement
  • Expected weekly study hours before and/or after class
    Students are expected to read roughly one chapter of the textbook per week. There will be no required reading in the weeks with exams. The homework assignments will require 2-3 hours of work per assignment.
  • Office Hour
    Tue18:30 - 19:30
    Office hours will be held in the professor's office on level 4 of the Philosophy Department in the Shuiyuan Campus building.
  • Designated Reading
  • References
    Textbook: Bergmann, M., Moor, J. and Nelson, J., The Logic Book, 6th ed. McGraw-Hill, 2014. Supplemental readings will be provided on NTU COOL.
  • Grading
    25%

    Homework

    There will be five homeworks due throughout the semester. Each is worth 5%.

    25%

    Midterm Exam 1

    There will be an in-class midterm exam in week 6. It will be cumulative.

    25%

    Midterm Exam 2

    There will be an in-class midterm exam in week 12. It will be cumulative.

    25%

    Final exam

    There will be an in-class final exam in week 16. It will be cumulative.

  • Adjustment methods for students
  • Make-up Class Information
  • Course Schedule
    Week 1Core concepts of deductive logic Read The Logic Book chapter 1.
    Week 2Sentential Logic: Symbolization and Syntax Read The Logic Book chapter 2, Syntax and Symbolization.
    Week 3Sentential Logic: Semantics Read The Logic Book chapter 3, Sentential Logic: Semantics.
    Week 4Sentential Logic: Truth-Trees Read The Logic Book chapter 4, Sentential Logic: Truth-Trees.
    Week 5Sentential Logic: Derivations Read The Logic Book chapter 5, Sentential Logic: Derivations.
    Week 6Midterm exam 1 No required readings.
    Week 7Interlude: Supplemental topics in philosophical logic No required readings.
    Week 8Predicate Logic: Symbolization and Syntax (1) Read The Logic Book chapter 7, Predicate Logic: Symbolization and Syntax.
    Week 9Predicate Logic: Symbolization and Syntax (2) Read The Logic Book chapter 7, Predicate Logic: Symbolization and Syntax.
    Week 10Predicate Logic: Semantics Read The Logic Book chapter 8, Predicate Logic: Semantics.
    Week 11Predicate Logic: Semantics Read The Logic Book chapter 8, Predicate Logic: Semantics.
    Week 12Midterm Exam 2 No required readings.
    Week 13Predicate Logic: Truth-Trees Read The Logic Book chapter 9, Predicate Logic: Truth-Trees.
    Week 14Predicate Logic: Derivations (1) Read The Logic Book chapter 10, Predicate Logic: Derivations.
    Week 15Predicate Logic: Derivations (2) Read The Logic Book chapter 10, Predicate Logic: Derivations.
    Week 16Final exam Read the study guide.