ATS2866 · Symbolic logic

Overview

Symbolic logic is a study of information and its representation in a range of forms. Because information and representation are so widespread, logic is a rich and rewarding field with strong connections to philosophy, mathematics, computer science, linguistics, cognitive science, and artificial intelligence. By pursuing their study at an abstract level, symbolic logicians produce results that can be applied to many of these disciplines simultaneously. Logic is particularly useful for teasing apart subtle differences between representations. This unit will introduce you to symbolic logic, and to some of the central tools in logical work: formal proof systems, models, consequence relations, and relations among these. We will consider different ways of doing logic, and think about strengths and weaknesses of each approach. Although our study will be primarily abstract, we will explore motivating examples from a range of different applications. No background in philosophy is required or assumed

Areas of study: Philosophy

Offerings

Assessment

The Handbook does not list a final examination among the assessment items. That is not a guarantee there is none.

Within semester assessment: 100%

Assessment details may change. Please refer to the assessment information in Moodle closer to the start of the teaching period.

Requisites

The Handbook lists no prerequisite, corequisite or prohibition for this unit.

Learning outcomes

1. Identify and describe the key systems and models of contemporary symbolic logic;
2. evaluate the strengths and weaknesses of the various systems and models;
3. apply the various models to a range of examples.

Workload

Minimum total expected workload to achieve the learning outcomes for this unit is 144 hours per semester typically comprising a mixture of scheduled learning activities and independent study. Scheduled activities may include a combination of teacher directed learning, peer directed learning and online engagement.

Student experience, not official rules. Nothing here changes what the Handbook says.