The overgeneration argument(s): A succinct refutation

Analysis 74 (1):40-47 (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: 77,952

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.
Logic and truth : Some logics without theorems.Jayanta Sen & Mihir Kumar Chakraborty - 2008 - Studia Philosophica Estonica 1 (1):104-117.


Added to PP

62 (#198,013)

6 months
2 (#326,657)

Historical graph of downloads
How can I increase my downloads?

Author's Profile

A. C. Paseau
Oxford University

Citations of this work

Invariance and Logicality in Perspective.Gila Sher - 2021 - In Gil Sagi & Jack Woods (eds.), The Semantic Conception of Logic: Essays on Consequence, Invariance, and Meaning. Cambridge, Britain: Cambridge University Press. pp. 13-34.
Logical Truth.Mario Gomez-Torrente - 2014 - Stanford Encyclopedia of Philosophy.
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

The concept of logical consequence.William H. Hanson - 1997 - Philosophical Review 106 (3):365-409.
Which Modal Logic Is the Right One?John P. Burgess - 1999 - Notre Dame Journal of Formal Logic 40 (1):81-93.
Models and modality.Patricia A. Blanchette - 2000 - Synthese 124 (1-2):45-72.
Etchemendy and Logical Consequence.Graham Priest - 1995 - Canadian Journal of Philosophy 25 (2):283 - 292.

Add more references