Grigori Mints (June 7, 1939 – May 29, 2014) was a Russian philosopher and mathematician with worked in mathematical logic.He was born in St. Petersburg, Russia, and received his Ph.D. in 1965 from the Leningrad State University under Nikolai Aleksandrovich Shanin with a thesis entitled "On Predicate and Operator Variants for Building Theories of Constructive Mathematics". In 1990 he received his D.Sc.