Skip to main content
×
Home

ISOMORPHISM INVARIANCE AND OVERGENERATION

  • OWEN GRIFFITHS (a1) and A.C. PASEAU (a2)
Abstract
Abstract

The isomorphism invariance criterion of logical nature has much to commend it. It can be philosophically motivated by the thought that logic is distinctively general or topic neutral. It is capable of precise set-theoretic formulation. And it delivers an extension of ‘logical constant’ which respects the intuitively clear cases. Despite its attractions, the criterion has recently come under attack. Critics such as Feferman, MacFarlane and Bonnay argue that the criterion overgenerates by incorrectly judging mathematical notions as logical. We consider five possible precisifications of the overgeneration argument and find them all unconvincing.

    • Send article to Kindle

      To send this article to your Kindle, first ensure no-reply@cambridge.org is added to your Approved Personal Document E-mail List under your Personal Document Settings on the Manage Your Content and Devices page of your Amazon account. Then enter the ‘name’ part of your Kindle email address below. Find out more about sending to your Kindle.

      Note you can select to send to either the @free.kindle.com or @kindle.com variations. ‘@free.kindle.com’ emails are free but can only be sent to your device when it is connected to wi-fi. ‘@kindle.com’ emails can be delivered even when you are not connected to wi-fi, but note that service fees apply.

      Find out more about the Kindle Personal Document Service.

      ISOMORPHISM INVARIANCE AND OVERGENERATION
      Available formats
      ×
      Send article to Dropbox

      To send this article to your Dropbox account, please select one or more formats and confirm that you agree to abide by our usage policies. If this is the first time you use this feature, you will be asked to authorise Cambridge Core to connect with your Dropbox account. Find out more about sending content to Dropbox.

      ISOMORPHISM INVARIANCE AND OVERGENERATION
      Available formats
      ×
      Send article to Google Drive

      To send this article to your Google Drive account, please select one or more formats and confirm that you agree to abide by our usage policies. If this is the first time you use this feature, you will be asked to authorise Cambridge Core to connect with your Google Drive account. Find out more about sending content to Google Drive.

      ISOMORPHISM INVARIANCE AND OVERGENERATION
      Available formats
      ×
Copyright
References
Hide All
[1] Bonnay D., Logicality and invariance, this Bulletin, vol. 14 (2008), pp. 2968.
[2] Bonnay D., Logical constants, or how to use invariance in order to complete the explication of logical consequence . Philosophy Compass, vol. 9 (2014), pp. 5465.
[3] Boolos G., Nominalist platonism . Philosophical Review, vol. 94 (1985), pp. 327344.
[4] Burgess J. P., Which modal logic is the right one? Notre Dame Journal of Formal Logic, vol. 40 (1999), pp. 8193.
[5] Casanovas E., Logical operations and invariance . Journal of Philosophical Logic, vol. 36 (2007), pp. 3360.
[6] Dutilh Novaes C., The undergeneration of permutation invariance as a criterion for logicality . Erkenntnis, vol. 79 (2014), pp. 8197.
[7] Etchemendy J., The Concept of Logical Consequence, Harvard University Press, Cambridge, MA, 1990.
[8] Feferman S., Logic, logics and logicism . Notre Dame Journal of Formal Logic, vol. 40 (1999), pp. 3154.
[9] Feferman S., Set-theoretical invariance criteria for logicality . Notre Dame Journal of Formal Logic, vol. 51 (2010), pp. 320.
[10] Feferman S., Is the Continuum Hypothesis a definite mathematical problem? unpublished manuscript, 2011.
[11] Feferman S., Which quantifiers are logical? A combined semantical and inferential criterion , Quantifiers, Quantifiers, and Quantifiers: Themes in Logic, Metaphysics and Language (Torza A., editor), Springer, 2015, pp. 1930.
[12] Hamkins J. D., The set-theoretic multiverse . Review of Symbolic Logic, vol. 5 (2012), pp. 416449.
[13] MacFarlane J., What does it mean to say that logic is formal? Ph.D. dissertation, University of Pittsburgh, 2000.
[14] MacFarlane J., Logical constants , The Stanford Encyclopedia of Philosophy (Fall 2015 edition) (Zalta E., editor), 2015.
[15] McCarthy T., The idea of a logical constant . Journal of Philosophy, vol. 78 (1981), pp. 499523.
[16] McGee V., Logical operations . Journal of Philosophical Logic, vol. 25 (1996), pp. 567580.
[17] Milne P., Existence, freedom, identity, and the logic of abstractionist realism . Mind, vol. 116 (2007), pp. 2353.
[18] Oliver A., The matter of form: Logic’s beginnings , The Force of Argument: Essays in Honor of Timothy Smiley (Oliver A. and Lear J., editors), Routledge, London, 2010, pp. 165185.
[19] Paseau A. C., The overgeneration argument(s): A succinct refutation . Analysis, vol. 74 (2014), pp. 4047.
[20] Peacocke C., What is a logical constant? Journal of Philosophy, vol. 73 (1976), pp. 221240.
[21] Read S., Identity and harmony . Analysis, vol. 64 (2004), pp. 113119.
[22] Sagi G., The modal and epistemic arguments against the invariance criterion for logical terms . Journal of Philosophy, vol. 112 (2015), pp. 159167.
[23] Shapiro S., Foundations without Foundationalism, Oxford University Press, Oxford, 1991.
[24] Shapiro S., Logical consequence: Models and modality , The Philosophy of Mathematics Today (Schirn M., editor), Oxford University Press, New York, 1998, pp. 131156.
[25] Sher G., The Bounds of Logic, MIT Press, Cambridge, MA, 1991.
[26] Sher G., The foundational problem of logic, this Bulletin, vol. 19 (2013), pp. 145198.
[27] Sher G., Epistemic Friction, Oxford University Press, Oxford, 2016.
[28] Tarski A., O pojciu wynikania logicznego. Przegląd Filozoficzny, vol. 39 (1963), pp. 5868, transl. by J. Woodger as ‘On the concept of logical consequence’ and repr. in Tarski’s Logic, Semantics, Metamathematics, second ed. (J. Woodger, editor), Hackett, Indianapolis, pp. 409–420.
[29] Tarski A., Introduction to Logic and the Methodology of the Deductive Sciences, Dover, New York, 1937. Refs to 1995 reprint.
[30] Tarski A., What are logical notions? History and Philosophy of Logic, vol. 7 (1966), pp. 143154. Refs to 1986 reprint.
[31] Tharp L. H., Which logic is the right logic? Synthese, vol. 31 (1975), pp. 121.
[32] Woods J., Logical indefinites . Logique et Analyse , vol. 57 (2014), pp. 277307.
Recommend this journal

Email your librarian or administrator to recommend adding this journal to your organisation's collection.

Bulletin of Symbolic Logic
  • ISSN: 1079-8986
  • EISSN: 1943-5894
  • URL: /core/journals/bulletin-of-symbolic-logic
Please enter your name
Please enter a valid email address
Who would you like to send this to? *
×

Keywords:

Metrics

Full text views

Total number of HTML views: 0
Total number of PDF views: 89 *
Loading metrics...

Abstract views

Total abstract views: 240 *
Loading metrics...

* Views captured on Cambridge Core between 30th December 2016 - 20th November 2017. This data will be updated every 24 hours.