Year

# MATH130-12S2 (C)Semester Two 2012Introduction to Logic & Computability

 15 points, 0.1250 EFTS09 Jul 2012 - 11 Nov 2012 ↓Other occurrences

## Description

An introduction to logic and computability.

This course introduces the students to reasoning with clarity and rigour. In particular, we ask: what is it to deduce a conclusion validly from some premises? Broadly, we will study the techniques, scope, and limits of formal logic.

Logic as an inquiry has changed profoundly in the last 150 years, very much because of investigations where philosophy and mathematics intersect. These changes are intellectually rich and exciting. They are also of immense cultural importance: for without formal logic there would be no computers; and without computers, our social forms and ways of getting on in the world would be very different.

The course aims systematically to introduce the subject of formal logic, and thereby to acquaint the students with many key, canonical results and ideas that have emerged in this subject in the past 150 years. They will acquire an appreciation of (i) the significance of formal logic for the advent of computers, and (ii) the philosophical significance of the mathematically demonstrable limitations of logic.

Relation to other courses:
The course can be credited as either Arts or Science points and is potentially valuable within any undergraduate degree. Since everyone uses reasoning, the course addresses itself to a subject with which everyone has some informal familiarity. No prior learning in either mathematics or philosophy is presupposed. Students who come to the course knowing something (from mathematics or computer science) about symbolic reasoning will learn many new things about that subject. Students with little such prior familiarity will build their confidence with symbols, confidence that could generalise to other symbolically-oriented forms of study. In any case, all students in the course will discover that the course presupposes nothing except that they possess ingenuity, perseverance, care for detail, and curiosity about the nature of good reasoning.

## Learning Outcomes

This course should enable students to:

• formalise informal reasoning and run systematic checks for validity of argumentation
• improve their understanding of their own rationality
• have insight into the scope and limits of logic
• appreciate the historical significance of logic as an inquiry
• understand some aspects of the close relation between mathematics and philosophy
• evaluate critically some problematic conceptions concerning the nature of good reasoning
• acquire the skills listed below

This course fosters the development of skills:

• for evaluating arguments (critical reasoning)
• of informal analysis (identifying the parts of an argument and how they fit together)
• of formalisation and use of precise symbolic reasoning
• of philosophical acumen
• of elementary formal logical analysis and demonstration
• for appreciating the metatheory of mathematical demonstration and proof

## Restrictions

MATH134, PHIL134, PHIL138

## Timetable

 Lectures Streams Day Time Where Notes Stream 01 Monday , Wednesday 10:00am-11:00am Law 105 3 Sep - 14 Oct Tuesday 12:00pm-1:00pm Law 105 3 Sep - 14 Oct

 Tutorials Streams Day Time Where Notes Stream 01 Thursday 11:00am-12:00pm Erskine 446 16 Jul - 19 Aug,3 Sep - 14 Oct Stream 02 Friday 8:00am-9:00am Erskine 121 16 Jul - 19 Aug,3 Sep - 14 Oct

## Assessment

Assessment Due Date Percentage
Internal Assessment - TBA 50%
Final Examination 50%

## Examination and Formal Tests

 Exam Monday 29 Oct 2012 2:30pm-5:30pm

## Textbooks

There is no required text for this course.

Recommended reading: Formal Logic:Its Scope and Limits, Richard C. Jeffrey, 1990. An Introduction to Formal Logic, Peter Smith, 2003.