By Catarina Dutilh Novaes
(Cross-posted at M-Phi)
This is the fourth installment of my series of posts on reductio ad absurdum arguments from a dialogical perspective. Here is Part I, here is Part II, and here is Part III. In this post I offer a précis of the dialogical account of deduction which I have been developing over the last years, which will then allow me to return to the issue of reductio arguments equipped with a new perspective in the next installments. I have presented the basics of this conception in previous posts, but some details of the account have changed, and so it seems like a good idea to spell it out again.
================================
In this post, I present a brief account of the general dialogical conception of deduction that I endorse. Its relevance for the present purposes is to show that a dialogical conception of reductio ad absurdum arguments is not in any way ad-hoc; indeed, the claim is that this conception applies to deductive arguments in general, and thus a fortiori to reductio arguments. (But I will argue later on that the dialogical component is even more pronounced in reductio arguments than in other deductive arguments.)
Let us start with what can be described as functionalist questions pertaining to deductive arguments and deductive proofs. What is the point of deductive proofs? What are they good for? Why do mathematicians bother producing mathematical proofs at all? While these questions are typically ignored by mathematicians, they have been raised and addressed by so-called ‘maverick’ philosophers of mathematics, such as Hersh (1993) and Rav (1999). One promising vantage point to address these questions is the historical development of deductive proof in ancient Greek mathematics,[1] and on this topic the most authoritative study remains (Netz 1999). Netz emphasizes the importance of orality and dialogue for the emergence of classical, ‘Euclidean’ mathematics in ancient Greece:
Greek mathematics reflects the importance of persuasion. It reflects the role of orality, in the use of formulae, in the structure of proofs… But this orality is regimented into a written form, where vocabulary is limited, presentations follow a relatively rigid pattern… It is at once oral and written… (Netz 1999, 297/8)

