On exhibiting representational validity

Synthese 192 (4):1157-1171 (2015)
  Copy   BIBTEX

Abstract

We can distinguish two non-equivalent ways in which a natural language argument can be valid: it can be interpretationally or representationally valid. However, there is just one notion of classical first-order validity for formal languages: truth-preservation in all classical first-order models. To ease the tension, Baumgartner suggests that we should understand interpretational and representational validity as imposing different adequacy conditions on formalizations of natural language arguments. I argue against this proposal. To that end, I first show that Baumgartner’s definition of representational validity is extensionally inadequate. I present a number of natural language arguments that we pre-theoretically hold to be representationally valid, but are not representationally valid according to Baumgartner’s definition. I then point to two further untenable features of Baumgartner’s definitions: according to Baumgartner’s definition of a representationally correct formalization, we cannot arrive at formalizations in a recursive way, and Baumgartner’s definition of representational validity is non-monotonic. I conclude that interpretational and representational validity cannot be understood as merely imposing different adequacy conditions on formalizations. If we want to capture our interpretational and representational intuitions, we need two different formal definitions of validity

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 93,612

External links

Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

Similar books and articles

Logical Forms: Validity and Variety of Formalizations.Georg Brun - 2023 - Logic and Logical Philosophy 32:341-361.
Validity and actuality.Vittorio Morato - 2014 - Logique Et Analyse 227:379-405.
The Concept of Logical Form.Gary Nelson Curtis - 1993 - Dissertation, Indiana University
Why Is a Valid Inference a Good Inference?Sinan Dogramaci - 2015 - Philosophy and Phenomenological Research 94 (1):61-96.
Bilateralism and invalidities.Lucas Rosenblatt - 2021 - Inquiry: An Interdisciplinary Journal of Philosophy 64 (4):481-510.
Validity as Truth-Conduciveness.Arvid Båve - forthcoming - In Adam Podlaskowski & Drew Johnson (eds.), Truth 20/20. Synthese Library.

Analytics

Added to PP
2014-11-13

Downloads
77 (#210,463)

6 months
8 (#507,683)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

Logical Truth.Paal Fjeldvig Antonsen - 2019 - Australasian Journal of Logic 16 (7):187-201.

Add more citations

References found in this work

Logic, semantics, metamathematics.Alfred Tarski - 1956 - Oxford,: Clarendon Press. Edited by John Corcoran & J. H. Woodger.
Logical Pluralism.Jc Beall & Greg Restall - 2005 - Oxford, England: Oxford University Press. Edited by Greg Restall.
The concept of logical consequence.John Etchemendy - 1990 - Cambridge: Harvard University Press.
Universal grammar.Richard Montague - 1970 - Theoria 36 (3):373--398.
Logical Pluralism.J. C. Beall & Greg Restall - 2005 - Oxford, GB: Oxford University Press. Edited by Greg Restall.

View all 36 references / Add more references