## Level 4

### 4AANA003 Elementary Logic

THIS MODULE IS RUNNING IN 2019-20

Credit value: 15
Module TutorDr Carlo Nicolai
Assessment:

2019-20

Summative assessment: 1 x 2-hour examination (60%) in January; 8 x weekly exercises (5% each exercise: 40% in total)
Formative assessment: NB this module involves no formative assessment

2018-19

Summative assessment: 1 x 2-hour examination (60%) in January; 8 x weekly exercises (5% each exercise: 40% in total)
Formative assessment: NB this module involves no formative assessment

Students are reassessed in the failed elements of assessment and by the same methods as the first attempt (for the 2-hour examination) OR by alternative assessment (for the weekly exercises).

Teaching pattern: two one-hour lectures and one one-hour exercise class per week over ten weeks.
Pre-requisites:
none

The module is a first introduction to logic, the study of valid inference. Students learn how to detect valid and invalid arguments via the tools provided by propositional and predicate logic. They will understand how to formalize informal patterns of reasoning given in ordinary language and how to test the validity of arguments deductively, via proofs, or semantically, via the construction of models.

#### Further information

Module aims

The module aims to introduce the students to the core notion of logically valid argument. It provides the basic tools needed for the formal analysis and classification of arguments and sets of assumptions (valid and invalid, tautologies, contradictions, consistent and inconsistent sets of sentences). It also introduces to the importance and relevance of logical tools both within and outside philosophy.

Learning outcomes
• Formalization of arguments formulated in ordinary language and its relevance to philosophy.

• Understanding of the languages of propositional and predicate logic.

• Ability to test the validity and invalidity of arguments in propositional and predicate logic via deductive and semantic methods.

• Informal understanding of the links between deductive and semantical approaches to propositional and predicate logic given by the soundness and completeness theorems.

Past syllabi

Please note that module syllabus and topics covered may vary from year to year.