1 The Caesar Problem

An abstraction principle, as it is understood in the context of the neo-Fregean programme, is a principle of the form

$$ (\forall \alpha)(\forall \beta)(\Upsigma (\alpha) = \Upsigma (\beta) \leftrightarrow \alpha \sim \beta) $$

where Σ is a term-forming operator taking as inputs expressions of the type α and β and ∼ is an equivalence relation on entities denoted by expressions of that type. Neo-Fregeanism, championed by Bob Hale and Crispin Wright, is an attempt to provide an account of classical mathematics based on abstraction principles.Footnote 1

In the case of arithmetic, neo-Fregeans appeal to what is known as Hume’s Principle in the literature:

$$ (\forall X)(\forall Y)(\sharp X = \sharp Y \leftrightarrow X \approx_{1-1} Y) $$

i.e. for any concepts X and Y, the number of X’s is the same as the number of Y’s if and only if there is a 1–1 correspondence between X and Y. Footnote 2 The axioms of Peano arithmetic are interpretable in the system obtained by adding Hume’s Principle to pure second-order logic. This result is known as Frege’s Theorem.

According to the neo-Fregean, concepts introduced by abstraction principles should be genuinely sortal. That is to say, the concept should have a criterion of application and a criterion of identity. The criterion of application tells us what objects fall under the concept, while, among these, the criterion of identity distinguishes one from another. The Caesar Problem arises in the context of the neo-Fregean programme, because, though abstraction principles provide a criterion of identity for objects falling under the concept introduced, they do not in any direct way supply a criterion of application.Footnote 3 In particular, Hume’s Principle supplies a criterion of identity for numbers (of concepts)—namely, 1–1 correspondence—but fails to deliver a criterion of application. In other words, while the principle yields an answer to the question whether any two numbers are identical, it leaves unanswered which objects the numbers are. Consequently, it leaves unanswered the question whether Caesar could be a number. Of course, it strikes us as obvious that Caesar could not be a number. The problem for the neo-Fregean, however, is to tell a philosophical story that will entitle her to hold that this is so.

Before I proceed to a presentation of the Hale–Wright solution to the Caesar Problem, let me offer a few words on the intended scope of the paper. The project to be pursued is internal in nature. The basic ontology of Hale and Wright—a sortal-based ontology with certain features—will be assumed throughout. In making this assumption, I do not mean to suggest that sortal ontology is uncontroversial, or that there are no alternatives to it. I allow myself to make the assumption, however, because the aim of the paper is not to convince someone who does not favour a sortal-based approach to ontology and a neo-Fregean solution the Caesar Problem that she should do so. Instead the aim is to shed light on Hale and Wright’s solution to the Caesar Problem by presenting a version of their solution which makes it clearer what the structure of the underlying ontology is and to show how a substantial existence assumption can be eliminated without thereby losing the solution to the Caesar Problem. This project is worthwhile pursuing, because it can help facilitate a better understanding of a recent—and prominent—solution to the Caesar Problem. Furthermore, it sheds light on the structure of the sortal ontology, which, to my knowledge, is a matter that is not often explicitly discussed in the literature on sortal-based approaches to ontology.

2 The Hale–Wright Solution to the Caesar Problem

Hale and Wright concede that abstraction principles do not in any direct way supply a criterion of application for the concepts they serve to introduce. However, they maintain that, if developed properly, the framework of sortal concepts and criteria of identity does provide a solution to the Caesar Problem (Hale and Wright 2001b).

The basic strategy of Hale and Wright is to tell a story about the structure of neo-Fregean ontology, which will make it clear that there is just no chance that Caesar is—indeed, could be—a number. In brief outline, the ontology they envision is one in which

… all objects belong to one or another of a smallish range of very general categories, each of these subdividing into its own respective more or less general pure sorts; and in which all objects have an essential nature given by the most specific pure sort to which they belong. Within a category, all distinctions between objects are accountable by reference to the criterion of identity distinctive of it, while across categories, objects are distinguished by just that—the fact that they belong to different categories. It is surely because we already inchoately think in terms such as these that it strikes us as just obvious that Caesar is no number (Hale and Wright 2001b, pp. 390–391).

An object’s falling under a given pure sort—or pure sortal concept—is a necessary feature of the object. If x falls under a pure sortal F, it does so necessarily, and could not survive were it to cease to be F.Footnote 4 The concepts of Number and Person are examples of pure sortals. Pure sortals contrast with a functional concept like Doorstop. If an object falls under a functional concept, its doing so need not be a necessary feature of it.

A reasonable reconstruction of the essence of the Hale-Wright solution to the Caesar Problem goes like this (where F and G are used for pure sortal concepts, as opposed to arbitrary concepts).

All objects of the ontology fall under sortal concepts, each of which is assumed to have a unique criterion of identity.Footnote 5 Among the sortals we find categories, which are maximally extensive sortals in the sense that (i) all sub-sortals of a given category F share their criterion of identity and (ii) for any object x, if x is not F, then any sortal G which x falls under does not share its criterion of identity with F.Footnote 6 Internally, objects are unified in a category by falling under sortals that share their criterion of identity, while objects of distinct categories differ in exactly that respect, viz. that any sortals they fall under do not share their criterion of identity. Once this picture is in place, it can be shown that any two categories F and G are either co-extensional or have no object in common. (More on this later in this section and in the Appendix.) Since Caesar and numbers belong to different categories, Caesar cannot be a number.

Below I will spell this reasoning out in greater detail. I will offer rigorous definitions of the key notions and state the principles relied on in the reasoning. Five definitions and three principles will be stated. Two of the definitions serve to introduce an alternative to the characterization of a category adopted by Hale and Wright. The alternative characterization is provided for two reasons. Firstly, it makes it explicit that categories are equivalence classes under the relation ‘…shares criterion of identity with…’ and so sheds light on the structure of the ontology underlying the Hale–Wright solution to the Caesar Problem. Secondly, the alternative characterization will be useful for the purposes of making the point that the neo-Fregean can do away with categories and still succeed in banning imperial inhabitants from the realm of abstracta.

These things being said, let me proceed to fill in the details of the reconstructed Hale-Wright solution. First, it should be said what it is for two sortals to share their criterion of identity. I will assume, with Hale and Wright, that every sortal has a unique criterion of identity. As usual ‘iff’ abbreviates ‘if and only if’. ‘□’ denotes metaphysical necessity, and ‘eq F ’ and ‘eq G ’ denote the equivalence relations giving the criterion of identity of respectively F and G:

Definition 1

(Sharing criterion of identity) Two sortals F and G share their criterion of identity iff \(\square (\forall x)(\forall y)(x\; eq_{F}\; y \leftrightarrow x\; eq_{G}\; y).\) This will be written ‘Share=(F, G)’.

That is, two sortals F and G share their criterion of identity just in case, as a matter of metaphysical necessity, any two objects are related by the equivalence criterion giving the criterion of identity for F just in case they are related by the equivalence criterion giving the criterion of identity for G. Note that Share= is an equivalence relation on sortals.Footnote 7

Let ‘\(F \subseteq G\) ’ be shorthand for ‘\((\forall x)(Fx \rightarrow Gx)\) ’ and define sortal inclusion as follows:

Definition 2

(Sortal inclusion) For any two sortals F and G, F is sortally included in G iff \(F \subseteq G\) and Share=(F, G). This will be written ‘\(F {\preceq}G\) ’.

The definition says that F is sortally included in G (or is a sub-sortal of G) just in case F and G share their criterion of identity and every F is G.

In giving Definition 1, it was assumed that the equivalence relation eq F that yields the criterion of identity for a sortal F can hold between objects that are not F. This will happen whenever F is sortally included in G—i.e. \(F \preceq G\)—and there are identical G’s that are not F. For in that case any such G’s will be related by the equivalence relation that gives the criterion of identity for F, but will not be F’s—and so, will not be the same F. As a consequence, eq F cannot be characterized as specifying what it takes for two objects whatsoever to be the same F, but must instead be characterized as specifying what it takes for two F’s to be the same.Footnote 8

As Definition 2 implies that (\(\forall F)(\forall G)(F \preceq G \rightarrow \hbox{Share}^=(F, G)),\) the Dummett–Hale–Wright characterization of a category mentioned earlier can be simplified to:

Definition 3

(Category) A sortal F is a category iff (\(\forall x)(\neg Fx \rightarrow (\forall G)(Gx \rightarrow \neg Share^=(F, G)).\) This will be written ‘Cat(F)’.

If a sortal F is a category, it is maximally extensive in the sense that there can be no sortal G which includes something F does not include and shares its criterion of identity with F.

As noted, Share= is an equivalence relation on sortals. The equivalence class of a sortal F under Share= is defined in the obvious way:

Definition 4

(Equivalence class under Share=) The equivalence class of a sortal F under Share= is the class of sortals it is related to by Share=, i.e. \(\mid F\mid_{Share^=} = \{G: \hbox{Share}^= (F, G)\}.\)

Introduce the notion of a categorical sortal as follows:

Definition 5

(Categorical sortal) A sortal F is a categorical sortal iff it is co-extensional with the union of its equivalence class under Share=, i.e. F is a categorical sortal iff for any x, x falls under F just in case x falls under a sortal in \(\mid F\mid_{Share^=}.\)

Definition 5 is the alternative characterization of the notion of a category presented above. In order to show that Definition 5 does indeed provide a faithful, alternative characterization of the notion of a category we need to show the following:

Theorem 1

For any sortal F, F is a category if and only if F is a categorical sortal.

The proof of Theorem 1 is straightforward and appears in the Appendix. In light of Theorem 1, I will allow myself to switch freely between talk of categories and categorical sortals.

What is gained by introducing the notion of a categorical sortal? An immediate advantage of using Definitions 4 and 5 instead of Definition 3 is that the structure of neo-Fregean ontology is made clearer. Definition 4 makes it explicit how sortals bundle up in equivalence classes under Share=, and Definition 5 ties categorical sortals intimately to these equivalence classes. Another advantage of speaking explicitly about Share= being an equivalence relation is that this, rather than the maximal extensiveness of categories, is what does all the work in the solution to the Caesar Problem. This point will be argued in Sect. 3.

We now move on to state the three principles needed for the Hale–Wright solution to the Caesar Problem. The first principle is the following:

Principle 1

Share= is an equivalence relation on sortals.

Strictly speaking, there is no need to state this as a separate principle, because—as noted earlier—it follows by straightforward reasoning and without making any substantial assumptions about the nature of metaphysical necessity.

The second principle is one to the effect that if two sortals overlap—i.e. have an object in common—then they share their criterion of identity. That is,

Principle 2

For any sortals F and G, if \((\exists x)(Fx \wedge Gx)\) then Share=(F, G).Footnote 9

Principle 2 is equivalent to the statement that no object can fall under sortals with distinct criteria of identity—let it be Principle 2′. Principles 2 and 2′ are similar to the principle (U) of Hale and Wright (see 2001b, p. 393) according to which no object can belong to more than one category. However, they are more general in the sense that (U) makes explicit reference to categories, while Principles 2 and 2′ can be incorporated into a framework without categories, as will be done in Sect. 3. I adopt Principle 2 here, because in their brief discussion of (U) Hale and Wright in effect implicitly endorse it. The principle will play an important role later.

The last principle reads as follows:

Principle 3

Let \(X_{1}, \ldots , X_{\alpha}\) (α some ordinal) be sortals such that any two of them share their criterion of identity. Then there is a sortal co-extensional with their union.

Hence, whenever we have a range of sortals with the same criterion of identity, there is a sortal which they are all sortally included in. In particular, Principle 3 ensures that there is a sortal which is co-extensional with the union of each equivalence class under Share=. These sortals are, by Definition 5, categorical sortals.Footnote 10

This completes the list of definitions and principles, and we shall now turn to the neo-Fregean solution to the Caesar Problem.

Let us start by recording a general fact about equivalence classes: any two equivalence classes under a given equivalence relation are either identical or disjoint. In particular, any two equivalence classes under Share= are either identical or disjoint—i.e. either such equivalence classes contain exactly the same sortals or have no sortal in common. This tells us something at the level of sortals, but, it is recalled, the Caesar Problem poses a question of identity at the level of objects. Fortunately, given the way we have defined categorical sortals, we obtain an analogous result at the level of objects:

Theorem 2

For any two categorical sortals F, G, \((\forall x)(Fx \leftrightarrow Gx)\) or \(\neg (\exists x)(Fx \wedge Gx).\)

That is any categorical sortals F and G are either co-extensional or have no object in common. The proof of this result is straightforward and appears in the Appendix. (Given Theorem 1, an immediate corollary is that, for any categories F, G, \((\forall x) (Fx \leftrightarrow Gx)\) or \(\neg (\exists x)(Fx \wedge Gx).)\)

Theorem 2 is of interest to us here, because it is a big step towards a neo-Fregean solution to the Caesar Problem. Its significance is captured in what I will refer to as ‘The Conditional Result’:

The Conditional Result

If the (unique) criterion of identity associated with respectively the sortal concept of Number and that of Person are distinct, then no number can be a person.

Hale and Wright take it that the antecedent obtains.Footnote 11 On this assumption it is straightforward to reason to the consequent.

Assume that the criteria of identity associated with respectively the sortal concept Number and the sortal concept Person are distinct. By Definition 4, Number and Person belong to different equivalence classes under Share=. By Definition 5 and Principle 3, there is a categorical sortal corresponding to each of these equivalence classes. Let these categorical sortals be F and G. Number is sortally included in one of these and Person in the other. Since F and G are distinct categorical sortals, we can, by Theorem 2, conclude that Caesar cannot be a number.Footnote 12

3 Doing Away with Categories

In the previous section, a reconstruction of the Hale-Wright solution to the Caesar Problem was provided, offering along the way an alternative characterization of the notion of a category, which–it is hoped–serves to make the structure of the ontology envisioned by Hale and Wright fairly clear.

Concerns may remain. A potential source of concern is the reliance on categorical sortals. Someone might be sympathetic to the idea of a sortal-based ontology, but be reluctant to buy into the existence of categorical sortals. Is there any way to satisfy a person with this kind of reservation? It turns out there is. One can simplify the framework from the previous section by dropping the assumption that there are categorical sortals and still provide a solution to the Caesar Problem. Here goes:

Adopt the framework from the previous section, but leave out Definition 5 and Principle 3, i.e. suppose that we do away with categorical sortals. Why does this more minimal framework hold a solution to the Caesar Problem? The reason is this: maximal extensiveness is not essential to the proposed solution. What matters is that Share= is an equivalence relation on sortals. Once this relation is in place, sortals bundle up in equivalence classes under the relation. Any two equivalence classes under Share= will either be identical or disjoint, i.e. contain the exact same sortals or have no sortal in common. Since criteria of identity are assumed to be unique, no sortals with distinct criteria of identity can be in the same equivalence class under Share=.

Having observed this, suppose that the antecedent of the Conditional Result is granted, as do Hale and Wright. We have already seen that, within their framework, this implies that Number and Person are sortally included in distinct categories. In our trimmed-down version of the framework, we are not entitled to hold this—since we have left categories behind. By Definition 4, we are, however, entitled to hold that the sortals Number and Person are in different equivalence classes under Share=. By Principle 2 (or 2′) it now follows that Caesar cannot fall under the concept of Number, as desired.Footnote 13

4 All Under One?

In this section, I will discuss a worry about the two approaches to the Caesar Problem presented in Sects. 2 and 3. The worry emerges when we consider the question whether there is a single criterion of identity which, for any two objects whatsoever, determines whether they are identical or not. The worry can be spelled out as a two-step argument. The first step makes it clear why it would be problematic if there were a single criterion by appeal to which all questions of identity could be settled. The second step of the argument aims to show that there is indeed such a criterion of identity.

Let us turn to the first step: why would it be a problem for the solutions to the Caesar Problem proposed above if there were a single criterion of identity which, for any objects whatsoever, determined whether they are identical or not? To answer this question let us take a step back and reflect on the basic idea behind the Hale-Wright and the ‘no-categories’ solutions–namely, that two objects are only eligible for being identical provided that they fall under sortal concepts that share their criterion of identity. According to this picture, if the sortal concepts of Person and Number do not share their criterion of identity—as the neo-Fregean holds—Caesar cannot be a number. However, if there were a single criterion of identity by appeal to which all questions of identity could be settled, this line of thought would be undermined. For in that case Caesar would be eligible for being identical to a number by the lights of the neo-Fregean.Footnote 14

Let us now turn to the second step of the argument. The target conclusion is that there is a single criterion of identity, supplied by Leibniz’s Law, by appeal to which all questions of identity can be settled. According to Leibniz’s Law, any two objects are identical just in case they share all their properties. This principle is taken as a definition of identity (for first-order objects) in standard second-order logic.Footnote 15 It can be formalized as follows:

$$ \hbox{\text{(LL)}}\quad\quad(\forall x)(\forall y)(x = y\leftrightarrow (\forall X)(Xx\leftrightarrow Xy)) $$

where the range of the second-order quantifier is all properties on the first-order domain. (That is, the range of the second-order quantifier is the arbitrary subclasses of the first-order domain.)

The relation of sharing all properties is an equivalence relation on objects. Let this equivalence relation be denoted by ‘eq U ’ and consider the claim that it provides a universal criterion of identity, i.e. a criterion which, for any objects whatsoever, will allow us to determine whether or not they are identical. Now, since (ll) is a definition, it should hold of metaphysical necessity, i.e.

$$ (\hbox{\text{LL}}\square)\quad\quad\square (\forall x)(\forall y)(x= y \leftrightarrow (\forall X)(Xx\leftrightarrow Xy)) $$

or, using the abbreviation for the relation of sharing all properties, \(\square (\forall x)(\forall y)(x = y \leftrightarrow x\; eq_{U}\; y).\)

Recall that, for a sortal F, there is a principle of the following form:

$$ \hbox{\text(1)}\quad\quad(\forall x)(\forall y)(x = y \leftrightarrow x\; eq_{F}\; y) $$

where the right-hand side of the embedded bi-conditional gives the criterion of identity for F. Sortals are, in part, individuated by their criterion of identity, and (1) can thus reasonably be strengthened to:

$$({\hbox{\text 1}{\square}})\quad\quad\square (\forall x)(\forall y)(x = y \leftrightarrow x\; eq_{F}\; y) $$

Finally, recall that two sortals F and G share their criterion of identity just in case

$$ \hbox{\text(2)}\quad\quad\square (\forall x)(\forall y)(x\; eq_{F}\; y \leftrightarrow x\; eq_{G}\; y) $$

Thus, in order to show that eq U is a universal criterion of identity what needs to be established is that, for any criterion of identity eq F of a sortal F, \(\square (\forall x)(\forall y)(x\; eq_{F}\; y \leftrightarrow x\; eq_{U}\; y).\)

Given the principles just stated, one can argue as follows: consider an arbitrary sortal F, arbitrary objects x and y, and suppose that x eq F  y. By (1□), x = y—and so, by (ll□), x eq U y. Hence, \(x\; eq_{F}\; y \rightarrow x\; eq_{U}\; y.\) Conversely, suppose that x eq U y. Then x = y, by (ll□)—whence x eq F  y, by (1□). Thus, x  eq U  y x  eq y. Combining these results, we get eq F  y ↔  eq U  y. Since x and y were arbitrary, we get \((\forall x)(\forall y)(x\;eq_{F}\;y \leftrightarrow x\;eq_{U}\;y).\) The principles relied on in the reasoning hold as a matter of metaphysical necessity, and thus, we obtain \(\square (\forall x)(\forall y)(x\;eq_{F}\;y \leftrightarrow x\;eq_{U}\;y).\)

In sum, contrary to what proponents of neo-Fregean solutions to the Caesar Problem maintain, there is a universal criterion of identity. The neo-Fregean solution—whether of the Hale–Wright or the no-categories kind—thus founders: whether we are dealing with people, numbers, or any other kinds of objects, Leibniz’s Law provides the criterion of identity.Footnote 16

5 Concession Without Defeat: How to Recover the Solution to the Caesar Problem

What is the status of Leibniz’s Law within the neo-Fregean framework? Hale and Wright only address this question in passing. They say that whether or not Leibniz’s Law ‘offers a correct analysis of identity, it is clear that the idea of items’ sharing all their (bona fide) properties cannot possibly serve as a working standard of identity.’Footnote 17 This suggests that they hold the view that, even if Leibniz’s Law is true, it is a further question whether it can provide a universal criterion of identity—and one which they think should be answered in the negative.

Hale and Wright present two arguments in support of a negative answer. However, they are both very condensed and rest on substantive assumptions that are left undefended.Footnote 18 Fully unpacking the arguments would be quite the task. Instead of trying to execute it I will turn to a wholly different line of response—namely, a concessive one. The response starts by granting that Leibniz’s Law provides a universal criterion of identity, but proceeds to argue that this does not undermine a solution to the Caesar Problem in keeping with the spirit of the solution offered originally. Dialectically this is a strong card for the neo-Fregean to hold.Footnote 19

Now, to spell out the concessive line of response in detail, suppose that Leibniz’s Law does indeed provide a universal criterion of identity and proceed to introduce a new, yet somewhat familiar-looking piece of terminology:

Definition 1*

(Sub-sharing a criterion of identity) Two pure sortals F and G sub-share a criterion of identity iff \(\square (\forall x)(\forall y)(x\; eq_{F}\; y \leftrightarrow x\; eq_{G}\; y),\) where eq F and eq G are non-universal criteria of identity of respectively F and G. This will be written ‘Sub-Share=(F, G)’.

In the present setting, the idea is that Sub-share=(F, G) holds just in case F and G share some criterion of identity less general than the one provided by Leibniz’s Law.

Given Definition 1*, we obtain Principles 1*–3* and Definitions 4*–5* from Principles 1–3 and Definitions 4–5 by replacing occurrences of ‘Share=’ with ‘Sub-Share=’. Definition 4* defines equivalence classes under Sub-Share= in the obvious way, while Definition 5* introduces sub-categorical sortals as sortals that are co-extensional with their equivalence class under Sub-Share=. Principle 1* states that Sub-Share= is an equivalence relation on sortals, while, according to Principle 2*, any sortals that have an object in common are related by Sub-Share=. Principle 2* ensures that no object can fall under sortals that do not sub-share some criterion of identity. Principle 3* says that there is a sortal co-extensional with the union of any sortals X 1X α (α an ordinal) related by Sub-Share=. This guarantees that there is a sub-categorical sortal for any equivalence class under Sub-Share=.

The following analogue of Theorem 2 can be established:

Theorem 2*

For any two sub-categorical sortals F, G, \((\forall x)(Fx \leftrightarrow Gx)\) or \(\neg (\exists x)(Fx \wedge Gx).\)

That is any sub-categorical sortals F and G are either co-extensional or have no object in common. This result can be established by modifying the proof of Theorem 2.

Theorem 2* is relevant to our present concern—how to recover the neo-Fregean solution to the Caesar Problem. The significance of Theorem 2* is captured in what we can call ‘The Conditional Result*’, a modification of The Conditional Result from Sect. 2:

The Conditional Result*

If the sortal concept of Number and that of Person sub-share no criterion of identity, then no number can be a person.

Provided that the antecedent obtains, the consequent easily follows:

Assume that Number and Person sub-share no criterion of identity. By Definition 4*, Number and Person belong to different equivalence classes under Sub-Share=. By Definition 5* and Principle 3*, there is a sub-categorical sortal corresponding to each of these equivalence classes. Let these sub-categorical sortals be F and G. Number is sortally included in one of these and Person in the other. Since F and G are distinct sub-categorical sortals, we can, by Theorem 2*, conclude that Caesar cannot be a number.Footnote 20

The Conditional Result* depends on Principle 2*. Principle 2* ensures that objects are rooted in exactly one sub-categorical sortal. In the spirit of the no-categories solution presented earlier, it might be suggested that Principle 2* enables us to recover the solution to the Caesar Problem in a framework that does not include Principle 3*. That is, in a framework that does away with sub-categorical sortals. In our present setting, this no-sub-categories proposal would commit one to accepting the existence of the universal, or all-inclusive, category, while rejecting the existence of sub-categories. There would be something slightly odd about that. Hence, if the concessive strategy is to be pursued, I recommend that it be pursued in its sub-categorical form.

Let me finish this section with some brief closing remarks on the recovered solution. The driving thought behind the solution is that, although there is a universal criterion of identity—and a corresponding equivalence class under Share= containing every sortal—the internal structure of this equivalence class is still sufficiently divisive to keep numbers and people apart. The universal criterion of identity and the corresponding equivalence class may run against the letter of the original neo-Fregean proposal, as envisioned by Hale and Wright. However, it need not run against its spirit. For the structure of the ontology behind the recovered neo-Fregean solution very much preserves the features of the ontology behind the original solution. Sub-categorical sortals are the would-be categories of the Hale-Wright framework in that they are the most general sortals, short of the universal, all-inclusive categorical sortal. They are so in the sense that, if F is a sub-categorical sortal, there can be no other sortal G such that \((\forall x)(Fx \rightarrow Gx),\) Sub-share=(F, G), and \((\exists x)(\neg Fx \wedge Gx).\) Footnote 21

6 Conclusion

In Sects. 13, two things were accomplished. First, I presented a reconstruction of the Hale–Wright framework which makes it clear how their solution to the Caesar Problem works. In particular, Definition 5 served to introduce the notion of a categorical sortal, which sheds light on the structure of the ontology underlying the Hale–Wright solution by linking categorical sortals intimately to equivalence classes under Share=. Second, it was argued that a solution to the Caesar Problem can be given in a framework where no categorical sortals are assumed to exist. This is worth pointing out as some people may be sceptical about buying into the existence of categorical sortals though they are sympathetic to the idea of a sortal-based ontology. The lesson to be learned from this is the following: what matters to a sortal-based solution to the Caesar Problem is not maximal extensiveness, but rather the fact that sortals bundle up in equivalence classes under Share=.

Section 4 presented a challenge to the Hale-Wright and no-categories solutions to the Caesar Problem. The challenge was this: Leibniz’s Law provides a universal criterion of identity, i.e. a criterion that will determine for any two objects whatsoever whether or not they are identical. The contention was that this undermines the proposed solutions, because they rely crucially on the assumption that the criteria of identity of Number and Person are distinct. In Sect. 5, I spelled out a concessive line of response to this challenge. It was granted that Leibniz’s Law supplies a universal criterion of identity, and that there is a corresponding universal category. However, it was then argued that the internal structure of this universal category is very much in keeping with the ontology embraced by Hale and Wright. As a result, the concessive line of response supports a solution to the Caesar Problem which, although it does not conform to the letter of the initial neo-Fregean proposal, it does conform to its spirit.