阿德莱德大学有一门课是Introduction to Logic,刚学没几天,我感觉内容好难,这门课之后会有几次Take-home Test,我没什么把握,所以老师能帮忙梳理一下每次考试的重点吗?
阿德莱德大学逻辑导论这门课旨在让同学了解形式逻辑的基础,提供了表示和评估论证逻辑形式的符号方法。同学可以发展对符号语言和逻辑的理解,熟悉演绎推理的精确模型。这门课共有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将集中于前四周左右的内容,尽管后面的测验会以熟悉课程早期的内容为前提。同学可以据此来规划考前复习的重点。