Authors: Michael Baumgartner Timm Lampert
Publish Date: 2007/08/18
Volume: 164, Issue: 1, Pages: 93-115
Abstract
This article identifies problems with regard to providing criteria that regulate the matching of logical formulae and natural language We then take on to solve these problems by defining a necessary and sufficient criterion of adequate formalization On the basis of this criterion we argue that logic should not be seen as an ars iudicandi capable of evaluating the validity or invalidity of informal arguments but as an ars explicandi that renders transparent the formal structure of informal reasoning
Keywords: