Adequate formalization |
| |
Authors: | Michael Baumgartner Timm Lampert |
| |
Affiliation: | (1) Department of Philosophy, University of Bern, Laenggassstr. 49a, 3012 Bern, Switzerland;(2) Department of Philosophy, Baker Hall 135, Carnegie Mellon University, Pittsburgh, PA 15213, USA |
| |
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: | Logic Philosophy of logic Theory of formalization Applied logic |
本文献已被 SpringerLink 等数据库收录! |
|