tradition of Nyāya-Vaiśesika up to Gangeśa