PP1EL-Elementary逻辑

模块供应商: Philosophy
学分数： 10 [5 ECTS credits]
水平:4
教学用语： 夏天 term module
先决条件:
模块化的必备条件:
相关内容:
模块被排除在外:
目前从: 2022/3

模块召集人: Severin Schroeder博士
电子邮件: s.j.schroeder@reading.ac.uk

模块类型：

概述模块描述：
争论是大多数哲学的基础。 这个模块将教你用严谨的数学术语来探索为什么有些论点为他们的结论提供了绝对的支持，而另一些则没有。 因此，本模块将为学位课程后面部分的阅读和写作原创哲学论文提供必要的正式􀀑heavy机制􀀒。

Reading:

Required readings will be posted online.

Recommended:

The open-source, online textbook 􀀑forall x􀀒:
http://www.fecundity.com/logic/

Wilfrid Hodges, 􀀑Logic􀀒, Penguin 2001

目的:
形式逻辑的第一门课程，学生在这门课程中学习数学证明系统 假设没有背景知识，学生将学习如何翻译英语和正式系统之间的论点，并评估论点的有效性。

可评估的学习成果：
By the end of the module you will understand:
􀀕 the notions of validity and soundness, including their precise definitions.
􀀕 The standard truth-functors, and their truth-tables.
􀀕 How to translate arguments between English and a formal language.
􀀕 How to use truth-tables and the formal system to evaluate the validity of propositional arguments.
􀀕 How to use the formal system to evaluate the validity of arguments in predicate logic.
􀀕 The statements (but not the proofs) of the soundness and completeness theorems for the formal system.

额外的结果:
You will also receive:
􀀕 preparation for carefully reading and evaluating philosophical (and other) arguments, including in later modules.

大纲内容:
Schedule of topics to be covered:
1) Consistency and validity
2) Truth-tables and truth-functors
3) Propositional calculus
4) Quantifiers
5) Predicate calculus
6) Soundness and completeness

教学方法简述：
教学将采用每周nba投注的方式，并以举例为重点。 学生将被要求预读课本材料，大部分课堂时间将花在集体解决问题集上。

联系时间:

	秋天	春天	夏天
实践课程和工作坊			10
引导自主学习：			90
按学期划分的总学时			One hundred.
模块总学时	One hundred.

总结性考核方法：

方法	百分比
设置运动	One hundred.

总结性评核-考试：
N/A

总结性评估-课程作业和课堂测试：

每周会有两组练习：一组是总结性评估，另一组是形成性评估，并在课堂上进行练习，包括一些更难的问题。

形成性评价方法：
每周会有两组练习：一组是总结性评估，另一组是形成性评估，并在课堂上进行练习，包括一些更难的问题。

逾期提交的处罚：

支助中心将对逾期提交的工作实行下列处罚：

• 在原定截止日期（或任何正式同意的延期截止日期）之后提交的作业：截止日期后的每个工作日（或其中的一部分）将从该作业的总分数中扣除10%的分数，最多可达五个工作日；
• 如果作品在原始截止日期（或任何正式同意的截止日期延长）后超过五个工作日提交：将记录零分。

The University policy statement on penalties for late submission can be found at: /cqsd/-/media/project/functions/cqsd/documents/cqsd-old-site-documents/penaltiesforlatesubmission.pdf
You are strongly advised to ensure that coursework is submitted by the relevant deadline. 您应该注意，建议在未完成状态下提交作业，而不是没有提交任何作业。

通过考试的评估要求：
总体得分为40%

重新安排:

写作业。

额外费用（适用时指定）：
1) Required text books:
2) Specialist equipment or materials:
3) Specialist clothing, footwear or headgear:
4) Printing and binding:
5) Computers and devices with a particular specification:
6) Travel, accommodation and subsistence:

最后更新: 2022年9月22日