TRiP 2015: Pictures and Proofs

What are the roles of pictures and diagrams in mathematical proofs, in formal reasoning, and in epistemic justification more broadly?

Can pictures by themselves serve as rigorous argumentation insofar as they can be persuasive and even convey a sense of demonstrative certainty?

For the most part, these questions have been discussed separately. We want to bring them together and take them in new directions. These are philosophical questions that are addressed by many different disciplines: STS, history of science, mathematics, engineering, media studies, and the visual arts. They draw attention to technologies of picturing, the contexts of practice in which proofs and procedures of formal reasoning are employed, and problems and methods of teaching and communication.