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.
This is a preview of subscription content, log in via an institution to check access.
Similar content being viewed by others
References
Baumgartner M., Lampert T. (2008) Adequate formalization. Synthèse 164: 93–115
Blau U. (1977) Die dreiwertige Logic der Sprache. de Gruyter, Berlin
Blau U. (2008) Die Logik der Unbestimmtheiten und Paradoxien. Synchron, Heidelberg
Brun G. (2003) Die richtige Formel. Ontos, Frankfurt
Carnap R. (1950) Logical foundations of probability. University of Chicago Press, Chicago
Epstein R. L. (2001) Propositional logics (2nd ed.). Wadsworth, Belmont
Goodman N. (1955) Fact, fiction, and forecast. Harvard University Press, Cambridge, MA
Peregrin J. (1992) Sprache und ihre Formalisierung. Deutsche Zeitschrift für Philosophie 40: 237–244
Peregrin J. (2001) Meaning and structure. Aldershot, Ashgate
Quine W. V. O. (1960) Word and object. MIT Press, Cambridge, MA
Resnik M. (1985) Logic: Normative or descriptive? The ethics of belief or a branch of psychology?. Philosophy of Science 52: 221–238
Russell B. (1914) Our knowledge of the external world. Allen and Unwin, London
Sainsbury R. M. (1991) Logical forms (an introduction to philosophical logic). Blackwell, Oxford
Svoboda V., Peregrin J. (2009) Od jazyka k logice [From language to logic]. Academia, Prague
Tarski, A. (1933). Pojeęcie prawdy v językach nauk dedukcyjnych. Warsawa (English translation: The concept of truth in formalized languages in Tarski, A. (1956). Logic, semantics, metamathematics (pp. 152–278). Oxford: Clarendon Press).
Wittgenstein, L. (1922). Tractatus logico-philosophicus. London: Routledge (English translation: London: Routledge, 1961).
Wittgenstein, L. (1953). Philosophische Untersuchungen. Oxford: Blackwell (English translation: Philosophical investigation, Oxford: Blackwell, 1953).
Author information
Authors and Affiliations
Corresponding author
Rights and permissions
About this article
Cite this article
Peregrin, J., Svoboda, V. Criteria for logical formalization. Synthese 190, 2897–2924 (2013). https://doi.org/10.1007/s11229-012-0104-0
Received:
Accepted:
Published:
Issue Date:
DOI: https://doi.org/10.1007/s11229-012-0104-0