@article{Michels_2022, title={The Formalization of Arguments: An Overview}, volume={999}, url={https://dialectica.philosophie.ch/dialectica/article/view/12}, DOI={10.48106/dial.v74.i2.01}, abstractNote={<p>The purpose of this introduction is to give a rough overview of the discussion of the formalization of arguments, focusing on deductive arguments. The discussion is structured around four important junctions: i) the notion of <em>support</em>, which captures the relation between the conclusion and premises of an argument, ii) the choice of a <em>formal language</em> into which the argument is translated in order to make it amenable to evaluation via formal methods, iii) the question of <em>quality criteria</em> for such formalizations, and finally iv) the <em>choice of the underlying logic</em>. This introductory discussion is supplemented by a brief description of the genesis of the special issue, acknowledgements, and summaries of each article.</p>}, number={1}, journal={Dialectica}, author={Michels, Robert}, year={2022}, month={Nov.} }