Skip to main content
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 2024
Normal day Camperdown/Darlington, Sydney
Intensive June - July 2024
Block mode Camperdown/Darlington, Sydney
Session MoA ?  Location Outline ? 
Semester 2 2025
Normal day Camperdown/Darlington, Sydney
Outline unavailable
Intensive June - July 2025
Block mode Camperdown/Darlington, Sydney
Outline unavailable
Session MoA ?  Location Outline ? 
Semester 2 2020
Normal day Camperdown/Darlington, Sydney
Intensive June - July 2020
Block mode Camperdown/Darlington, Sydney
Semester 2 2021
Normal day Camperdown/Darlington, Sydney
Semester 2 2021
Normal day Remote
Intensive June - July 2021
Block mode Camperdown/Darlington, Sydney
Intensive June - July 2021
Block mode Remote
Semester 2 2022
Normal day Camperdown/Darlington, Sydney
Semester 2 2022
Normal day Remote
Intensive June - July 2022
Block mode Camperdown/Darlington, Sydney
Intensive June - July 2022
Block mode Remote
Semester 2 2023
Normal day Camperdown/Darlington, Sydney
Intensive June - July 2023
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.