ISOMORPHISM INVARIANCE AND OVERGENERATION

Author: 

Griffiths, O
Paseau, A

Publication Date: 

December 2016

Journal: 

BULLETIN OF SYMBOLIC LOGIC

Last Updated: 

2019-06-15T13:36:04.81+01:00

Issue: 

4

Volume: 

22

DOI: 

10.1017/bsl.2016.37

page: 

482-503

abstract: 

© The Association for Symbolic Logic 2016. 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.

Symplectic id: 

672053

Download URL: 

Submitted to ORA: 

Submitted

Publication Type: 

Journal Article