John Woods (logician)

John Hayden Woods FRSC (16 March 1937 – 15 August 2024) was a Canadian logician and philosopher. He latterly held the position of Director of the Abductive Systems Group at the University of British Columbia (UBC) and was The UBC Honorary Professor of Logic. He was also affiliated with the Group on Logic, Information and Computation within the Department of Informatics at King's College London where he held the Charles S. Peirce Visiting Professorship of Logic position from 2001.

Woods was a Fellow of the Royal Society of Canada, life member of the Association of Fellows of the Netherlands Institute for Advanced Study, and President Emeritus of the University of Lethbridge.