Introduction to the papers of Thematic Working Group 1: Argumentation and Proof