Abstraction Grounded: A Note on Abstraction and Truth
Abstraction Grounded: A Note on Abstraction and Truth
In this note we suggest that one should give up trying to demarcate acceptable from unacceptable abstraction principles. Instead we argue that an abstraction principle can only play its intended philosophical role—supplying truth conditions for identity statements with singular abstraction terms—if these truth conditions are grounded in the truth conditions of statements in which none of these singular abstraction terms occur at all. And thus every abstraction principle with unrestricted second-order variables ought to be restricted just to those of its instances that satisfy a corresponding groundedness requirement, for only those instances are able to deliver the desired philosophical goods. Our argument for this claim is by analogy with arguments on grounded type-free truth, such as Kripke’s. If we are right, then theories of impredicative abstraction ought to be developed in line with theories of type-free truth.
Keywords: abstraction, identity, truth, groundedness, liar paradox, Kripke
Oxford Scholarship Online requires a subscription or purchase to access the full text of books within the service. Public users can however freely search the site and view the abstracts and keywords for each book and chapter.
Please, subscribe or login to access full text content.
If you think you should have access to this title, please contact your librarian.
To troubleshoot, please check our FAQs , and if you can't find the answer there, please contact us .