Abstraction and Identity

and want to settle cross-sortal identity claims of the form: Both abstraction principles, however, are silent with regard to this identity - a special instance of the Caesar Problem . In what follows, we outline two distinct strategies to resolve the C-R problem . The first strategy decides such cross-abstraction identities in terms of whether or not the equivalence relations appearing on the right hand side of the abstraction principles are identical, while the second strategy settles such identities by appeal to the relevant equivalence classes. We then focus our discussion on the latter approach and offer three ways of implement- ing this strategy. Ultimately, we argue that this strategy fails, as each attempt to appeal to equivalence classes faces unsurmountable difficulties.

[1]  J. E. Tiles,et al.  Frege's Conception of Numbers as Objects , 1984 .

[2]  Crispin Wright Frege's conception of numbers as objects , 1983 .

[3]  G. Frege Grundgesetze der Arithmetik , 1893 .

[4]  Crispin Wright,et al.  Is Hume's Principle Analytic? , 1999, Notre Dame J. Formal Log..

[5]  M. Dummett Frege: Philosophy of Language , 1973 .

[6]  R. Kapp British Journal for the Philosophy of Science , 1950, Nature.

[7]  Paul Boghossian,et al.  Content and Self-Knowledge , 1989 .

[8]  Pieter A. M. Seuren Logic, language and thought , 2003 .

[9]  Richard G. Heck Finitude and Hume’s Principle , 1997, J. Philos. Log..

[10]  Hartry Field The Conceptual Contingency of Mathematical Objects , 1993 .

[11]  Fraser MacBride,et al.  Speaking with Shadows: A Study of Neo-Logicism , 2003 .

[12]  Lok Sang Ho,et al.  The state of the economy , 1989 .

[13]  Bob Hale,et al.  To Bury Caesar . . . , 2001 .

[14]  Bob Hale,et al.  The Reason's Proper Study , 2001 .

[15]  THE STATE OF THE ECONOMY: NEO-LOGICISM AND , 2007 .

[16]  Roy T. Cook,et al.  The limits of abstraction , 2004 .

[17]  O. Spies Die grundlagen der arithmetik: by G. Frege. English translation by J. L. Austin. 119 pages, 14 × 22 cm. Breslau, Verlag von Wilhelm Koebner, 1884, and New York, Philosophical Library, 1950. Price, $4.75 , 1950 .

[18]  Roy T. Cook Iteration One More Time , 2003, Notre Dame J. Formal Log..

[19]  George Boolos,et al.  Logic, Logic, and Logic , 2000 .

[20]  Bob Hale,et al.  Reals by Abstractiont , 2000 .