Useful links
Skip to main content
Search the University of Sydney website
Current students
Unit of study_
PHIL1012: Introductory Logic
2025 unit information
An introduction to modern logic: the investigation of the laws of truth. One essential aspect of good reasoning or argumentation is that it is valid: it cannot lead from true premises to a false conclusion. In this unit we learn how to identify and construct valid arguments, using techniques such as truth tables, models and truth trees. Apart from being a great aid to clear thinking about any subject, knowledge of logic is essential for understanding many areas not only of contemporary philosophy, but also linguistics, mathematics and computing.
Unit details and rules
Managing faculty or University school:
Arts and Social Sciences
| Study level | Undergraduate |
|---|---|
| Academic unit | Philosophy |
| Credit points | 6 |
|
Prerequisites:
?
|
None |
|---|---|
|
Corequisites:
?
|
None |
| Prohibitions:
?
|
None |
| Assumed knowledge:
?
|
None |
At the completion of this unit, you should be able to:
- LO1. demonstrate understanding of the formal languages of propositional and predicate logic, and ability to translate propositions of English into those formal languages
- LO2. demonstrate understanding of the semantics of classical propositional logic in terms of truth tables
- LO3. demonstrate understanding of the semantics of classical predicate logic in terms of models
- LO4. demonstrate understanding of, and ability to construct, tree proofs for classical propositional and predicate logic
- LO5. improvement in skills of logical analysis and reasoning
Unit availability
This section lists the session, attendance modes and locations the unit is available in. There is a unit outline for each of the unit availabilities, which gives you information about the unit including assessment details and a schedule of weekly activities.
The outline is published 2 weeks before the first day of teaching. You can look at previous outlines for a guide to the details of a unit.
| Session | MoA ? | Location | Outline ? |
|---|---|---|---|
|
Semester 2 2025
|
Normal day | Camperdown/Darlington, Sydney |
Outline unavailable
|
|
Intensive June - July 2025
|
Block mode | Camperdown/Darlington, Sydney |
Find your current year census dates
Modes of attendance (MoA)
This refers to the Mode of attendance (MoA) for the unit as it appears when you’re selecting your units in Sydney Student. Find more information about modes of attendance on our website.
