您当前的位置:首页 >  文化与价值
最新关注排行
Introduction to Formal Logic: Propositional Logic
  时间:2015-11-25 16:23:51  作者:

课程大纲

课程名称

Introduction to Formal Logic:  Propositional Logic

课程编码

CIS2024

学分

2

学时

总学时 32    其中课内     课外

选课对象

全校学生

先修课程

ELC2

任课教师

Kelly Nicholson

职称

副教授

所在院系

文学院国际研究中心

 

 

 

 

Course Description:

 

   This course will examine the propositional system of formal logic as it has developed in the past century.  Included in the material will be current and popular issues in moral philosophy

 

   The classroom format will be partly lecture and partly in-class exercises with conference allowed between students and student participation encouraged.  Principal items will include the following –

 

·          The ancient system of categorical logic;

·          The language and grammar of propositional logic;

·          The construction and use of truth-tables and their use in determining the validity or invalidity of an argument;

·          The construction of truth “trees” as an alternative method of determining the validity or invalidity of an argument;

·          The translation of English language into propositional language;

·          The derivation of conclusions from premises, working with the bounds of the given system rules;

·          The relationship between the ten “primitive” rules first presented in the text and the expanded rules derived from them;

·          The role of precision, rigor and creativity in formal derivations.

 

   Tentative class schedule: 

 

   Week 1  Introduction and Course Policy

   Weeks 2 – 4  Coverage of roughly first 20 % of text material and first exam

   Weeks 5 – 7  Coverage of next 20 % and second exam

   Weeks 8 – 11  Coverage of next 20 % and third exam

   Weeks 12 – 15  Coverage of next 20 % and fourth exam

   Weeks 16 – 18  Coverage of remaining material and final exam

   

 

Readings:  Howard Pospesel, Introduction to Logic:  Propositional Logic.

考核方式

Assessment:  There will be five exams, equally weighted and given in roughly even time increments that will test students on their mastery of skills noted above.  Students will have the opportunity to boost their grades by solving problems for the benefit of the class.

 

                         

 

 

 

  访问人数: