Introduction to Logic

Course Goals: The course has been designed to introduce to the students the methods and techniques used to evaluate arguments. No prior knowledge of either philosophy or mathematics is assumed.

Meeting time and location: Monday and Wednesday, 8:00am–9:50am, Academic Block, A-12.

Grading: Weekly online worksheets (15%), short quizzes (25% ), midterm exam (25%), final exam (35%). The quizzes will all be announced at least a week earlier. N-1 policy applies for the online worksheets and for the quizzes.

Course Units:

• • • • • • Introduction to Basic Concepts

          • Propositional Logic (including Truth Tables and Truth Trees)

          • Predicate Logic (using Truth Trees, and first-order models)

          • Introduction to Modal Logic, Intuitionistic Logic, and Temporal Logic

          • Inductive reasoning

Instructor: Ali Nosherwan Hamed

Teaching Assistants: 

Abdul Basit (25020288@lums.edu.pk)

Muhammad Mueez Rehman (27020440@lums.edu.pk)

Textbooks: 

Hurley, Patrick. A Concise Introduction to Logic (13th ed.)

Jeffrey, Richard. Formal Logic: Its Scope and Limits.

Expectations of Students: It is expected that students will attend all lectures and participate in class discussion in an appropriate manner. Assignments are due on the listed dates. All students are expected to abide by LUMS's academic code.