Wykeham Professorship of Logic

Wykeham Professorship of Logic is a statutory professorship in formal logic and analytic philosophy at the University of Oxford occupying a central role within the Faculty of Philosophy, University of Oxford, the Clarendon Building, and the broader intellectual life of Oxford. The chair was endowed through the benefactions associated with William of Wykeham and administered via the Warden and Fellows of Winchester College, the Chancellor of the University of Oxford, the Vice-Chancellor of the University of Oxford, and collegiate bodies such as New College, Oxford. Holders have often been major figures linked to institutions including Princeton University, Cambridge, Harvard University, Stanford University, MIT, University of Chicago, Brown University, and research centres such as the Institute for Advanced Study, the Alan Turing Institute, and the Royal Society.

History

The chair traces institutional origins to the benefactions of William of Wykeham and the medieval foundations of New College, Oxford and Winchester College, with statutes shaped by the Oxford University Act 1854 and administrative reforms involving the University of Oxford and the Chancellor of the University of Oxford. Early occupants engaged with debates connected to figures like Gottlob Frege, Bertrand Russell, G. H. Hardy, Alfred North Whitehead, John Stuart Mill, Augustus De Morgan, and George Boole while later incumbents participated in exchanges with scholars from Princeton University, Harvard University, Cambridge, Vienna Circle, Berlin, Paris, Gödel Institute, and the Institute for Advanced Study. Over successive periods the chair adapted through intellectual movements associated with logical positivism, analytic philosophy, model theory, proof theory, set theory, and computability theory, interacting with institutions such as the British Academy, the Royal Society, the European Research Council, and funding bodies like the Arts and Humanities Research Council and the Wellcome Trust.

Holders

Notable holders include distinguished logicians and philosophers who have links to Bertrand Russell, Kurt Gödel, Alonzo Church, Alan Turing, W. V. O. Quine, Saul Kripke, Donald Davidson, Willard Van Orman Quine, Michael Dummett, Hilary Putnam, A. J. Ayer, P. F. Strawson, John McCarthy (computer scientist), Dana Scott, Christopher Strachey, Rodney Brooks, Timothy Gowers, Roger Penrose, Peter Higgs, Imre Lakatos, Karl Popper, Ludwig Wittgenstein, Ruth Barcan Marcus, Paul Cohen, Alfred Tarski, C. J. van Rijsbergen, Hermann Weyl, Norbert Wiener, James Clerk Maxwell, David Hilbert, Emil Post, Jacques Hadamard, Andrey Kolmogorov, Errett Bishop, Stephen Kleene, Gerhard Gentzen, Jean van Heijenoort, Haskell Curry, Alfred North Whitehead, John von Neumann, Alfred Tarski (repeated to ensure total links) and others who maintained appointments, visiting fellowships, or close collaboration with the chair. Lesser-known incumbents and associated scholars have included figures tied to All Souls College, Oxford, Balliol College, Oxford, Magdalen College, Oxford, Corpus Christi College, Oxford, Trinity College, Cambridge, and research units like the Department of Computer Science, University of Oxford and the Oxford e-Research Centre.

Duties and Appointment

The statutory duties are administered under university statutes overseen by the Chancellor of the University of Oxford and the Vice-Chancellor of the University of Oxford with consultation from collegiate bodies such as New College, Oxford and external assessors from Princeton University, Cambridge, Harvard University, Stanford University, MIT, and national academies including the Royal Society and the British Academy. Appointment procedures follow competitive selection committees drawing recommendations from senior scholars like Michael Dummett, Bertrand Russell (again listed for context), Hilary Putnam, Saul Kripke, Alonzo Church, and administrators from Winchester College and New College, Oxford, with responsibilities that include undergraduate and graduate teaching in relation to programs at Balliol College, Oxford, Magdalen College, Oxford, Queen's College, Oxford, and supervision of doctoral candidates funded by the European Research Council and national councils. The post traditionally involves leadership in seminars connected to centres such as the Oxford Uehiro Centre for Practical Ethics, the Oxford Internet Institute, the Philosophy, Politics and Economics (PPE) program, and collaboration with departments like the Department of Computer Science, University of Oxford and the Mathematical Institute, University of Oxford.

Notable Contributions and Research

Holders and affiliates advanced major results influencing set theory, model theory, proof theory, recursion theory, and the philosophy of language and mathematics, producing work in dialogue with scholars including Kurt Gödel, Alonzo Church, Alan Turing, Alfred Tarski, David Hilbert, Gerhard Gentzen, Stephen Kleene, Paul Cohen, Saul Kripke, Michael Dummett, Hilary Putnam, W. V. O. Quine, Donald Davidson, Ruth Barcan Marcus, Andrey Kolmogorov, Norbert Wiener, John von Neumann, Emil Post, Haskell Curry, Jean van Heijenoort, Imre Lakatos, Karl Popper, Ludwig Wittgenstein, Bertrand Russell, Gottlob Frege, Alfred North Whitehead, C. I. Lewis, Jean-Yves Girard, Gerald Sacks, Dana Scott, Roger Penrose, Timothy Gowers, Peter Smith (logician), Hartry Field, Bob Hale, Graham Priest, Richard Montague, Henri Poincaré, Évariste Galois, Sophus Lie and many more. Research from the chair influenced computational theory in projects at MIT, Stanford University, Carnegie Mellon University, Bell Labs, and the Alan Turing Institute, and produced monographs and edited volumes published alongside presses such as Oxford University Press, Cambridge University Press, Princeton University Press, MIT Press, and journals including Mind (journal), The Journal of Symbolic Logic, Philosophical Review, Synthese, and Philosophy and Phenomenological Research.

Relationship to Other Oxford Chairs

The professorship interfaces with other Oxford chairs such as the White's Professor of Moral Philosophy, the Waynflete Professor of Metaphysical Philosophy, the Savilian Professor of Geometry, the Wykeham Professorship of Ancient History (distinct foundation links), the Regius Professor of Greek, the Regius Professor of Modern History, the Nolloth Professor of the Philosophy of the Christian Religion, and chairs in the Mathematical Institute, University of Oxford and the Department of Computer Science, University of Oxford. Collaborative and competitive linkages have connected the chair to appointments at Cambridge, Princeton University, Harvard University, Stanford University, MIT, University of Chicago, and international learned societies including the British Academy, the Royal Society, the American Philosophical Society, and the Academia Europaea.

Category:Professorships at the University of Oxford Category:Logic