Undergraduate - UnitATS1838 - Philosophy: Introduction C (Logic)

This unit entry is for students who completed this unit in 2013 only. For students planning to study the unit, please refer to the unit indexes in the the current edition of the Handbook. If you have any queries contact the managing faculty for your course or area of study.

print version

6 points, SCA Band 1, 0.125 EFTSL

To find units available for enrolment in the current year, you must make sure you use the indexes and browse unit tool in the current edition of the Handbook.

Level	Undergraduate
Faculty	Faculty of Arts
Organisational Unit	Philosophy
Offered	Clayton Second semester 2013 (Day)
Coordinator(s)	Dr Monima Chadha

Notes

Previously coded PHL1140

Synopsis

Introducing logic is an elementary introduction to the study of formal logic. We use logic intuitively whenever we reason, argue, explain something or think critically: we could not survive long without it. Yet our capacities for intuitive reason are flawed: we make mistakes, fail to recognise the implications of our views, and sometimes slip into inferences that seem to us clear and unanswerable yet lead to falsehood. Formal logic is the systematic study of logical inference. It strives to understand the principles underlying valid reasoning, and can improve our abilities to reason effectively in all fields of thought.

Outcomes

The overarching aims of the subject are to acquaint the students with key concepts in logic and introduce them to basic syntactic tools and methods of proof used in formal systems. Students successfully completing this unit will:

have mastered the syntax of first order propositional logic and predicate logic
have mastered a tableaux method of proof in first order propositional logic
have a basic understanding of proof-methods in first order predicate logic
have an appreciation of key concepts of validity, deduction, and completeness and soundness of formal systems.

Assessment

Written exercises: 70%
Exam: 30%

Chief examiner(s)

Dr Monima Chadha

Contact hours

Two 1-hour lectures and one 1-hour tutorial per week

This unit applies to the following area(s) of study

Philosophy

Prerequisites

None

Prohibitions

ATS2838

Additional information on this unit is available from the faculty at:

http://www.arts.monash.edu.au/philosophy/ugrad/firstyear/phl1140.php