Useful links
Unit of study_
PHIL1012: Introductory Logic
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.
| Code | PHIL1012 |
|---|---|
| Academic unit | Philosophy |
| Credit points | 6 |
|
Prerequisites:
?
|
None |
|---|---|
|
Corequisites:
?
|
None |
| Prohibitions:
?
|
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 outlines
Unit outlines will be available 1 week before the first day of teaching for the relevant session.
- Semester 2, 2023 [Normal day] - Camperdown/Darlington, Sydney
- Intensive July, 2023 [Block mode] - Camperdown/Darlington, Sydney
- Intensive July, 2020 [Block mode] - Camperdown/Darlington, Sydney
- Semester 2, 2020 [Normal day] - Camperdown/Darlington, Sydney
- Intensive July, 2021 [Block mode] - Camperdown/Darlington, Sydney
- Intensive July, 2021 [Block mode] - Remote
- Semester 2, 2021 [Normal day] - Remote
- Semester 2, 2021 [Normal day] - Camperdown/Darlington, Sydney
- Intensive July, 2022 [Block mode] - Remote
- Intensive July, 2022 [Block mode] - Camperdown/Darlington, Sydney
- Semester 2, 2022 [Normal day] - Remote
- Semester 2, 2022 [Normal day] - Camperdown/Darlington, Sydney
- Key dates
Key dates through the academic year, including teaching periods, census, payment deadlines and exams.
- Student administration
Enrolment, course planning, fees, graduation, support services, student IT
- Expectations of student conduct
Code of Conduct for Students, Conditions of Enrollment, University Privacy Statement, Academic Integrity
- Academic appeals
Academic appeals process, special consideration, rules and guidelines, advice and support
- Learning and teaching policy
Policy register, policy search
- Financial support
Scholarships, interest free loans, bursaries, money management
- Study resources
Learning Centre, faculty and school programs, Library, online resources
- Health and support
Student Centre, counselling & psychological services, University Health Service, general health and wellbeing
