Intermediate Logic
PHIL2615
The axiomatic approach to classical logic. The focus is on proofs of the main metalogical results - consistency, completeness, etc - for the propositional and predicate calculi.
Unit of study details
Unit of study level: Senior
Credit points: 6
Commencing semesters: 2
Further unit of study information
Unit of study handbook: PHIL2615
Costs and scholarships information: Costs and Scholarships
Final dates to withdraw from units of study: Census Dates
Available for study abroad and exchange: Yes
Our courses that offer this unit of study
- Bachelor of Design Computing
- Bachelor of Design in Architecture
- Bachelor of Arts and Bachelor of Social Work
- Bachelor of Arts and Bachelor of Laws
- Bachelor of Arts (Languages)
- Bachelor of Arts (Media and Communications)
- Bachelor of Arts
- Bachelor of Arts (Media and Communications) and Bachelor of Laws
- Bachelor of Arts (Advanced) (Honours)
- Bachelor of International and Global Studies
- Bachelor of International and Global Studies and Bachelor of Laws
- Bachelor of Political, Economic and Social Sciences
- Bachelor of Political, Economic and Social Sciences and Bachelor of Laws
- Bachelor of Economics
- Bachelor of Economics and Bachelor of Medicine and Bachelor of Surgery
- Diploma of Arts
- Arts Undergraduate Non-Degree
- Arts Undergraduate Cross-Institutional
- Bachelor of Commerce (Liberal Studies)
- Bachelor of Commerce
- Bachelor of Commerce and Bachelor of Arts
- Bachelor of Arts and Master of Nursing
- Bachelor of Engineering and Bachelor of Arts
- Bachelor of Computer Science and Technology (Advanced)
- Bachelor of Computer Science and Technology
- Bachelor of Information Technology and Bachelor of Arts
- Bachelor of Information Technology and Bachelor of Commerce
- Bachelor of Science (Advanced)
- Bachelor of Science (Advanced Mathematics)
- Bachelor of Science
- Bachelor of Science and Master of Nutrition and Dietetics
- Bachelor of Science and Bachelor of Arts
- Bachelor of Liberal Arts and Science
- Bachelor of Psychology
- Bachelor of Music Studies and Bachelor of Arts
- Bachelor of Health Sciences
- Bachelor of Education (Secondary: Humanities and Social Sciences) and Bachelor of Arts
- Bachelor of Education (Secondary Education: Science) and Bachelor of Science
- Bachelor of Education (Secondary Education: Mathematics) and Bachelor of Science
- Bachelor of Education (Secondary: Human Movement and Health Education)
- Bachelor of Education (Early Childhood)
- Bachelor of Education (Primary)
- Bachelor of Social Work
- Social Work Undergraduate Non-Degree