 The centralmost issue with inference, to consider the effort of late Nyāya philosophers, is to make plain the logic of pervasion as well as how we know the universalized items, or entire extensions, of the terms figuring in our knowledge of such rules, the items that underpin our knowledge of such inclusions, such naturally necessary pervasions of a prover by a probandum property. Lots of work from the earliest focuses on fallacies and inference in the context of formal debate. And there are many philosophical inferences advanced in the literatures of the various schools, such as proofs of momentariness, the existence of God, the possibility of liberation from birth and rebirth, and dozens more.