The overgeneration argument(s): A succinct refutation

Analysis 74 (1):ant097 (2014)
  Copy   BIBTEX


The overgeneration argument attempts to show that accepting second-order validity as a sound formal counterpart of logical truth has the unacceptable consequence that the Continuum Hypothesis is either a logical truth or a logical falsehood. The argument was presented and vigorously defended in John Etchemendy’s The Concept of Logical Consequence and it has many proponents to this day. Yet it is nothing but a seductive fallacy. I demonstrate this by considering five versions of the argument; as I show, each is either unsound or lacks a troubling conclusion



    Upload a copy of this work     Papers currently archived: 76,503

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

On a fallacy attributed to Tarski.Mario Gómez-Torrente - 1998 - History and Philosophy of Logic 19 (4):227-234.
Formal and informal consequence.Owen Griffiths - 2014 - Thought: A Journal of Philosophy 3 (1):9-20.
Logical form.Christopher Menzel - 1998 - In Edward Craig (ed.), Routledge Encyclopedia of Philosophy. Routledge.
Individualism and the new logical connections argument.Anthony Dardis - 2002 - Croatian Journal of Philosophy 2 (4):83-102.
La crítica de Etchemendy al formalismo.Matías Gariazzo - 2011 - Areté. Revista de Filosofía 23 (2):329-355.
Tarski on Logical Consequence.Mario Gómez-Torrente - 1996 - Notre Dame Journal of Formal Logic 37 (1):125-151.


Added to PP

58 (#206,515)

6 months
3 (#228,256)

Historical graph of downloads
How can I increase my downloads?

Author's Profile

A. C. Paseau
Oxford University

Citations of this work

Isomorphism invariance and overgeneration.Owen Griffiths & A. C. Paseau - 2016 - Bulletin of Symbolic Logic 22 (4):482-503.

Add more citations

References found in this work

Nonexistent Objects.Terence Parsons - 1980 - Yale University Press.
The Concept of Logical Consequence.John Etchemendy - 1990 - Harvard University Press.
Mimesis as Make-Believe.Kendall L. Walton - 1996 - Synthese 109 (3):413-434.
Nonexistence.Nathan Salmon - 1998 - Noûs 32 (3):277-319.
Mimesis as Make-Believe: On the Foundations of the Representational Arts.Kendall L. Walton - 1990 - Journal of Aesthetics and Art Criticism 49 (2):161-166.

View all 27 references / Add more references