Dignāga's formal logic tradition established that reductio arguments presuppose shared logical commi...