阿德莱德大学逻辑学考试哪些知识是重点？

阿德莱德大学逻辑导论这门课旨在让同学了解形式逻辑的基础，提供了表示和评估论证逻辑形式的符号方法。同学可以发展对符号语言和逻辑的理解，熟悉演绎推理的精确模型。这门课共有3次Take-home Test，分别在课程的第4周、第8周和第12周，同学可以按照我们下面梳理的重点来准备每次Test。

一、重点主题

1、论证、形式逻辑和非形式逻辑。

2、Sentential：English to Sentential。

3、评估论证：有效性和合理性。

4、有效性测试。

第一次Take-home Test

5、量词。

6、量词语义。

7、演绎。

8、Sentential演绎。

第二次Take-home Test

9、量词演绎。

10、应用。

11、逻辑的下一步是什么？

第三次Take-home Test

二、考试关键

1、用符号表示语句和参数的结构。

2、使用真值表和自然演绎评估论证的有效性。

3、应用正式的方法来帮助明确和评估现实世界的论证。

4、使用符号逻辑的方法在测试条件下进行显示。

5、捍卫关于现实世界论证逻辑结构的观点。

三、复习材料

1、PD Magnus, Tim Button, and Antony Eagle (2021) Forallx: Adelaide.

2、Priest, G (2001) Logic: A Very Short Introduction, Oxford University Press.

3、Restall, G (2006) Logic: An Introduction (Series: Fundamentals of Philosophy), Routledge.

阿德莱德大学Introduction to Logic课程的每次Take-home Test将集中于前四周左右的内容，尽管后面的测验会以熟悉课程早期的内容为前提。同学可以据此来规划考前复习的重点。