#tarka

? Is Nyāya tarka a kind of counterfactual reasoning, and does it need possible worlds?

Reading Nyāya, I am always delighted by how close their techniques are to the proofs I teach. One that puzzles me is tarka, which I have seen translated as "hypothetical reasoning", "suppositional reasoning" or "reductio". The classic example seems to go like…