Logic 1 (PP9976)

? Credit Points : 20 ? SCQF Level : 8 ? Acronym : PPL-1-LOG1H-PH

An introduction to formal logic: deduction in sentential and first-order logic, truth tables, elementary logic of relations, identity, semantics of first order logic. Philosophical issues arising from logic may also be considered. This course is appropriately combined with Philosophy of Science 1.

Entry Requirements

none

Subject Areas

Home subject area

Philosophy, (School of Philosophy, Psychology and Language Sciences, Schedule I)

Delivery Information

? Normal year taken : 1st year

? Delivery Period : Semester 1 (Blocks 1-2)

? Contact Teaching Time : 4 hour(s) per week for 11 weeks

First Class Information

Date	Start	End	Room	Area	Additional Information
18/09/2007	17:00	18:00	Lecture Theatre C, David Hume Tower	Central

All of the following classes

Type	Day	Start	End	Area
Lecture	Monday	17:10	18:00	Central
Lecture	Tuesday	17:10	18:00	Central
Lecture	Thursday	17:10	18:00	Central

? Additional Class Information : Tutorials to be arranged

Summary of Intended Learning Outcomes

The course provides a general introduction to both propositional logic and predicate logic.
Lectures and detailed handouts provide the central course material; and weekly tutorial groups provide support for students to work through the formal exercises. Four pieces of homework are treated as formative assessments. Through this weekly coursework, students are expected to acquire a working understanding of basic concepts of propositional and predicate logic, including methods for solving formal problems.