Repository | Journal | Volume | Articles
(2008) Synthese 164 (1).
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.
Publication details
DOI: 10.1007/s11229-007-9218-1
Full citation:
Baumgartner, M. , Lampert, T. (2008). Adequate formalization. Synthese 164 (1), pp. 93-115.
This document is unfortunately not available for download at the moment.