Skip to main content

ATS2866: Symbolic logic

Faculty of Arts

Symbolic logic

Check the Handbook for the latest unit information.


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


1 - Quiz/Quizzes - 30% 2 - Other - 21% 3 - Exercise - 40% 4 - Participation - 9%


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.