Sciweavers

Share
SYNTHESE
2008

Adequate formalization

9 years 5 months ago
Adequate formalization
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.
Michael Baumgartner, Timm Lampert
Added 15 Dec 2010
Updated 15 Dec 2010
Type Journal
Year 2008
Where SYNTHESE
Authors Michael Baumgartner, Timm Lampert
Comments (0)
books