The Journal of Symbolic Logic (JSL) was founded in 1936 and it has become the leading research journal in the field. It is issued quarterly. Volume 71, being published during 2006, will consist of ...

This course covers the basic principles of elementary logic and explores the logical structures of sentences both formal and informal. We will be learning a new language that lays bare the structure ...

Self-funded student: register by the 10th of the month, start on the 1st of the next. Funded student: please check the next enrolment deadline and course start date. Philosophy 254: Symbolic Logic is ...

We define the notion of approximate Euler characteristic of definable sets of a first order structure. We show that a structure admits a non-trivial approximate Euler ...

This course studies the basic principles and techniques of formal logic. The analysis of the logical structure of sentences and arguments is explored, together with the fundamental principles of ...