English words for oas say bheega howa ya tar

Any formal system of reasoning that arrives at the truth by the exchange of logical arguments