art of arriving at the truth by the exchange of logical arguments