Explorations

Future Paths of Phenomenology

1st OPHEN Summer Meeting

Repository | Journal | Volume | Article

235518

Criteria for logical formalization

Jaroslav Peregrin Vladimír Svoboda

pp. 2897-2924

Abstract

The article addresses two closely related questions: What are the criteria of adequacy of logical formalization of natural language arguments, and what gives logic the authority to decide which arguments are good and which are bad? Our point of departure is the criticism of the conception of logical formalization put forth, in a recent paper, by M. Baumgartner and T. Lampert. We argue that their account of formalization as a kind of semantic analysis brings about more problems than it solves. We also argue that the criteria of adequate formalization need not be based on truth conditions associated with logical formulas; in our view, they are better based on structural (inferential) grounds. We then put forward our own version of the criteria. The upshot of the discussion that follows is that the quest for an adequate formalization in a suitable logical language is best conceived of as the search for a Goodmanian reflective equilibrium.

Publication details

Published in:

(2013) Synthese 190 (14).

Pages: 2897-2924

DOI: 10.1007/s11229-012-0104-0

Full citation:

Peregrin Jaroslav, Svoboda Vladimír (2013) „Criteria for logical formalization“. Synthese 190 (14), 2897–2924.