An International Symposium organized under the auspices of the Wallis Project, Oxford in assocation with the Institute for Logic, Language and Computation, Amsterdam