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 2020 in Semester 1 at Clayton. It has no prerequisites and unlocks 1 unit.
- Credit points
- 6
- Offered in 2020
- Semester 1
- Clayton
- Workload
- 144 hours
- per semester
This is the 2020 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.
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 2020
| Teaching period | Campus | Mode |
|---|---|---|
| First semester | Clayton | On campus |
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
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. A unit requires on average three/four hours of scheduled activities per week. Scheduled activities may include a combination of teacher directed learning, peer directed learning and online engagement.
Where it fits
ATS2866 is part of 2 areas of study in the 2020 handbook.
Contacts
- Chief Examiners
- Dr David Ripley
- Unit Coordinators
- Dr David 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 ATS3878.
When is ATS2866 offered?
In 2020, ATS2866 runs in Semester 1 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.
Which majors and minors include ATS2866?
ATS2866 is part of Philosophy.