ATS2866 Symbolic logic
Faculty of Arts
ATS2866 Symbolic logic is a level 2, 6-credit-point, undergraduate unit from the Faculty of Arts, offered in 2025 in Semester 2 at Clayton. It has no prerequisites and unlocks 1 unit, leading on to 13 units in all.
- Credit points
- 6
- Offered in 2025
- Semester 2
- Clayton
- Assessment
- No exam
- 4 tasks
- Workload
- 144 hours
- per semester
This is the 2025 handbook entry. See the 2027 entry.
Reviews
No reviews yetNo reviews yet. Be the first to review ATS2866.
Requisites
Before ATS2866
No prerequisites or corequisites.
After ATS2866
1 unit list ATS2866 as a prerequisite or corequisite.
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
Offerings in 2025
| Teaching period | Campus | Mode |
|---|---|---|
| Second semester | Clayton | On campus |
Assessment
- QuizzesQuiz / Test30%
- WorkshopsDemonstration20%
- Exercise40%
- Puzzle ForumWritten10%
Learning outcomes
When you finish this unit, you should be able to:
- 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 and teaching
- Tutorials24 hours
- Lectures9 hours
- Workshops4.5 hours
- Teaching approachActive learning
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.
This unit engages you in actively applying your knowledge, skills and attributes in interactive, collaborative and reflective activities.
Learning resources
Technology resources
This unit requires access to a laptop that meets minimum specifications (https://www.monash.edu/esolutions/students/bring-your-own-device-byod). Free specialist software is available via MoVE (https://www.monash.edu/learning-teaching/innovation/learning-technologies/move).
Where it fits
ATS2866 is part of 2 areas of study in the 2025 handbook.
Contacts
- Unit Coordinators
- Dr Ellie Ripley
- Chief Examiners
- Dr Ellie Ripley
Common questions
What are the prerequisites for ATS2866?
ATS2866 has no prerequisites.
What can I take after ATS2866?
ATS2866 is a prerequisite or corequisite for 1 unit, including FIT2014. Those lead on to 13 units in all.
When is ATS2866 offered?
In 2025, ATS2866 runs in Semester 2 at Clayton.
How much work is ATS2866?
The handbook expects about 144 hours of study across the semester. No students have rated its difficulty yet.
Does ATS2866 have an exam?
No. ATS2866 has 4 assessment tasks and no exam.
Which majors and minors include ATS2866?
ATS2866 is part of Philosophy.