John Hayden Woods (born 1937) is a Canadian logician and philosopher. He currently holds the position of Director of the Abductive Systems Group at the University of British Columbia (UBC) and is The UBC Honorary Professor of Logic. He is also affiliated with the Group on Logic, Information and Computation within the Department of Informatics at King's College London where he has held the Charles S. Peirce Visiting Professorship of Logic position since 2001.
