Studia Logica: An International Journal for Symbolic Logic, Vol. 103, No. 3 (June 2015), pp. 623-638 (16 pages) Within a weak system WKVS of intuitionistic analysis one may prove, using the Weak Fan ...

We first extend Quine's method of eliminating the bound variables to first-order predicate logic with operation symbols ; then we give a device for eliminating also the free variables ; and finally we ...

SUMMARY: At the dawn of the 20th century, philosophical thought was transformed by the discovery of the "new logic", i.e. mathematical or symbolic logic. Equipped with the tools of this new logic, ...

This course is available on the MPhil/PhD in Philosophy. This course is not available as an outside option to students on other programmes. The course is, in general, only aimed at those students who ...

This course is available on the MSc in Philosophy of Economics and the Social Sciences and MSc in Philosophy of Science. This course is freely available as an outside option to students on other ...