Courses in Logic & Computation

Bachelor of Arts - BA

Please note: The BA in Logic and Computation also includes courses in Computer Science and Mathematics. The courses you can take are listed in the BA schedule.
Visit the Faculty of Science website for information about individual courses in Computer Science and Mathematics.

Linguistics
Course Title Available in 2026
LINGUIST 100   Introduction to Linguistics    Semester 1, repeated Semester 2
LINGUIST 200   Syntax    Semester 1
LINGUIST 201   Phonetics and Phonology    Semester 1
LINGUIST 300   Advanced Syntax    Semester 2
 
Logic and Computation
Course Title Available in 2026
LOGICOMP 300   Directed Study    Semester 1 or 2, or full year options: Semester 1 and 2, or …
 
Philosophy
Course Title Available in 2026
PHIL 101   Introduction to Logic    Semester 2
PHIL 105   Critical Thinking    Summer School, repeated Semester 1 and 2
PHIL 216   Modal Logic    Semester 2
PHIL 222   Intermediate Logic    Semester 2
PHIL 233   Philosophy of Logic    Semester 1
PHIL 306   Language, Truth and Meaning    Semester 1
PHIL 315   Topics in Applied Logic    Semester 2
PHIL 323   Philosophy of Logic    Semester 1
 

   

Bachelor of Arts (Honours) - BA(Hons)

Please note: The BA in Logic and Computation also includes courses in Computer Science and Mathematics. The courses you can take are listed in the BA schedule.
Visit the Faculty of Science website for information about individual courses in Computer Science and Mathematics.

Linguistics
Course Title Available in 2026
LINGUIST 721   Formal Syntax    Semester 2
 
Logic and Computation
Course Title Available in 2026
LOGICOMP 701   Directed Studies    Semester 1, repeated Semester 2
LOGICOMP 703   Directed Study    Semester 1, repeated Semester 2
LOGICOMP 782/782AB   Research Project    Semester 1 or 2, or full year options: Semester 1 and 2, or …
 
Philosophy
Course Title Available in 2026
PHIL 737   Logic 2    Semester 1
 

   

Master of Arts - MA

Please note: The BA in Logic and Computation also includes courses in Computer Science and Mathematics. The courses you can take are listed in the BA schedule.
Visit the Faculty of Science website for information about individual courses in Computer Science and Mathematics.

Linguistics
Course Title Available in 2026
LINGUIST 721   Formal Syntax    Semester 2
 
Logic and Computation
Course Title Available in 2026
LOGICOMP 701   Directed Studies    Semester 1, repeated Semester 2
LOGICOMP 703   Directed Study    Semester 1, repeated Semester 2
LOGICOMP 782/782AB   Research Project    Semester 1 or 2, or full year options: Semester 1 and 2, or …
LOGICOMP 796AB   Thesis    Semester 1 or 2, or full year options: Semester 1 and 2, or …
 
Philosophy
Course Title Available in 2026
PHIL 737   Logic 2    Semester 1
 

   

Bachelor of Arts - BA

Please note: The BA in Logic and Computation also includes courses in Computer Science and Mathematics. The courses you can take are listed in the BA schedule.
Visit the Faculty of Science website for information about individual courses in Computer Science and Mathematics.

Logic and Computation
Course Title Not taught 2026
LOGICOMP 201 Special Topic Not taught in 2026
LOGICOMP 301 Philosophy and Computation Not taught in 2026
LOGICOMP 302 Special Topic Not taught in 2026
LOGICOMP 399 Capstone: Logic and Computation Not taught in 2026
 
Linguistics
Course Title Not taught 2026
LINGUIST 320 Topics in Pragmatics Not taught in 2026
 

   

Bachelor of Arts (Honours) - BA(Hons)

Please note: The BA in Logic and Computation also includes courses in Computer Science and Mathematics. The courses you can take are listed in the BA schedule.
Visit the Faculty of Science website for information about individual courses in Computer Science and Mathematics.

Logic and Computation
Course Title Not taught 2026
LOGICOMP 702 Special Topic Not taught in 2026
LOGICOMP 704 Special Topic Not taught in 2026
LOGICOMP 705 Special Topic Not taught in 2026
 
Linguistics
Course Title Not taught 2026
LINGUIST 724 Semantics and Pragmatics Not taught in 2026
 
Philosophy
Course Title Not taught 2026
PHIL 736 Logic 1 Not taught in 2026
PHIL 738 Philosophical Logic Not taught in 2026
 

   

Master of Arts - MA

Please note: The BA in Logic and Computation also includes courses in Computer Science and Mathematics. The courses you can take are listed in the BA schedule.
Visit the Faculty of Science website for information about individual courses in Computer Science and Mathematics.

Logic and Computation
Course Title Not taught 2026
LOGICOMP 702 Special Topic Not taught in 2026
LOGICOMP 704 Special Topic Not taught in 2026
LOGICOMP 705 Special Topic Not taught in 2026
 
Linguistics
Course Title Not taught 2026
LINGUIST 724 Semantics and Pragmatics Not taught in 2026
 
Philosophy
Course Title Not taught 2026
PHIL 736 Logic 1 Not taught in 2026
PHIL 738 Philosophical Logic Not taught in 2026