古代印度研究推理论证的科学。即关于逻辑推理的学说。