This is a preview. Log in through your library . Journal Information The Journal of Philosophical Logic provides a forum for work at the crossroads of philosophy and logic, old and new, with ...

SUMMARY: At the beginning of the 20th century, philosophical thought was transformed by the discovery of the "new logic", i.e. mathematical or symbolic logic. With this novum organum, philosophers ...

Girard introduced phase semantics as a complete set-theoretic semantics of linear logic, and Okada modified phase-semantic completeness proofs to obtain normalform theorems. On the basis of these ...

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 ...