The Semantic Foundations of Philosophical Analysis Samuel Z. Elgin "The business of philosophy, as I conceive it, is essentially that of logical analysis"–Bertrand Russell Abstract I provide an analysis of sentences of the form 'To be F is to be G' in terms of exact truth-maker semantics-an approach which identifies the meanings of sentences with the states of the world directly responsible for their truth-values. Roughly, I argue that these sentences hold just in case that which makes something F also makes it G. This approach is hyperintensional, and possesses desirable logical and modal features. In particular, these sentences are reflexive, transitive and symmetric, and, if they are true, then they are necessarily true, and it is necessary that all and only F s are Gs. I motivate my account over Correia and Skiles (2019)'s prominent alternative, and close by defining an irreflexive and asymmetric notion of analysis in terms of the symmetric and reflexive notion. 1 Introduction The subject of this paper is a targeted reading of sentences of the form 'To be F is to be G,' which philosophers often use to express analyses, and which have occupied a central role in the discipline since its inception. Examples that naturally lead themselves to this reading include: 1. To be morally right is to maximize utility. 2. To be human is to be a rational animal. 3. To be made of water is to be made of H2O molecules. 4. To be even is to be an integer divisible by two without remainder. 5. To be a béchamel is to be a roux with milk. As these examples indicate, although philosophers frequently utter these sorts of sentences, they do not fall within the exclusive purview of philosophical inquiry. Mathematicians, chemists and even chefs use them as well. And while some are knowable a priori, 1 others are sensitive to empirical investigation-so there is variation within the phenomenon I seek to describe. Sentences of this form have been employed since antiquity (as witnessed by 2). Throughout the ensuing history, proposed instances have been advanced and rejected for multitudinous reasons. On one understanding, this investigation thus has a long and rich history- perhaps as long and rich as any in philosophy. Nevertheless, explicit discussion of these sentences in their full generality is relatively recent (for example, see Dorr 2016; Correia 2017; Correia and Skiles 2019; Rayo 2013; Linnebo 2014). Current advances in hyperintensional logic provide the requisite resources to analyze these sentences perspicuously-to provide the analysis of analysis (or, as some might prefer, the identity of identity). The significance of this project ought to be apparent: the standards that putative analyses must meet hang in the balance. A bit loosely, I claim that a sentence of this form is true just in case that which makes it the case that something is F also makes it the case that it is G and vice versa. There is a great deal to say about what I mean by 'makes it the case that.' In some ways, this paper can be read as an explication of that phrase. For the moment, suffice it to say that rather than understanding it modally (along the lines of 'To be F is to be G' is true just in case the fact that something is F necessitates that it is G and vice versa) I employ truth-maker semantics: an approach that identifies the meanings of sentences with the states of the world exactly responsible for their truth-values. It will take time before my account can be stated any more precisely; the details of truth-maker semantics must first be appreciated. The structure of this paper is as follows. In section 2, I isolate the targeted reading of 'To be F is to be G' at issue. In section 3, I discuss current developments in truthmaker semantics in considerable detail. The various ways in which the semantics might be constructed bear on philosophical analysis in that the logical features of analysis turn on which alternative we select. For example, the truth-value of sentences of the form 'To be F is to be both F ^ F ' depends upon a choice-point in truth-maker semantics-or so I will argue. In section 4, I provide the details of my account and demonstrate that it has appropriate logical features; it is transitive, reflexive and symmetric and has the resources to distinguish between the meanings of predicates with (classically) logically equivalent extensions (sentences of the form 'To be F is to be both F and G or not G' are typically false). I present the resulting logic of analysis, and highlight advantages my proposal has over that defended by Correia and Skiles (2019), the closest account available in the literature. I conclude in section 5 by sketching an account of an irreflexive and asymmetric notion of analysis in terms of the reflexive and symmetric notion. Where possible, I present this view informally; however, there are limits to how informal any systematic discussion of truth-maker semantics can be. Those interested in a more technical overview of the underlying semantics would do well to read Fine (2017b,c). 2 2 Generalized Identity 'To be F is to be G' may admit of multiple readings. There may be a reading of 'To be a politician is to be indebted to one's constituents,' 'To be a scientist is to be curious about the natural world,' or 'To be early is to be on time' on which these sentences are true. Perhaps closer to my intended target, there may also be a reading of 'To be a bachelor is to be male' or 'To be crimson is to be red' on which these sentences are true. If so, these are not the readings I address. The reading of 'To be F is to be G' that I am concerned with is synonymous with (or, at the very least, close to synonymous with) 'To be F just is to be G' or, perhaps, 'being F is the same as being G.' This reading has borne multiple labels in the literature. Some refer to these sentences as 'generalized identities' (e.g., Linnebo (2014); Correia (2017); Correia and Skiles (2019)), others prefer 'identifications' (e.g., Dorr (2016); Caie, Goodman and Lederman (2019)), while still others refer to them as "just-is'-statements' (e.g., Rayo (2013)). Nothing philosophically significant turns on which label we select-so long as the targeted reading itself is clear. For the purposes of this paper, I will refer to these sentences as 'generalized identities.' My use of the term 'analysis' differs from 'generalized identity' only in that it is slightly more expansive: it captures both generalized identities and sentences with different syntactic structures that resemble generalized identities in philosophically significant respects. It is often possible to express analyses using verbs (and verb phrases) in various forms. Examples of these sorts of sentences include: 6. To know that p is to have a justified true belief that p. 7. To die is to cease to live. 8. Shrinking is decreasing in size. 9. To resemble is to be similar to. Perhaps an exhaustive discussion of analysis ought to address these types of sentences as well. I presently have very little to say about them, and largely disregard them here. However, I maintain that sentences of the form 'For a to be F is for a to be G' belong to the same family as generalized identities-primarily because of their use in expressing analyses of 0-ary predicates. 'To be F is to be G' may, and often does, express analyses of predicates of various adicities. Both 'To be a vixen is to be a female fox' and 'To be adjacent to is to be next to' are grammatically correct, although 'be a vixen' is a monadic predicate while 'be adjacent to' is dyadic. But sentences of this form are typically ungrammatical when applied to 0-ary predicates: i.e. predicates that apply to no objects.1 For example, 1I make the standard assumption that sentences are 0-adic predicates. So, just as 'smaller than' is a dyadic predicate and 'smaller than Jones' is a monadic predicate, 'Smith is smaller than Jones' is a 0-adic predicate. 3 'To be John is a bachelor is to be John is an unmarried male' is ungrammatical. However, 'For John to be a bachelor is for John to be an unmarried male' is perfectly grammatical, and conveys the information expected of an analysis. Under the target reading, the 'is' of generalized identity shares many logical and modal features with the 'is' of identity. It is reflexive, symmetric and transitive and, if a sentence of this form is true, then it is necessarily true, and necessary that all and only F s are Gs.2 An adequate account of generalized identity ought, minimally, to explain the presence of these features. Some dispute that 'To be F is to be G' is reflexive and symmetric, maintaining that while 'To be a father is to be a male parent' is true, 'To be a male parent is to be a father' is false, and that 'To be a father is to be a father' is trivially false, rather than trivially true.3 Such philosophers hold that generalized identities form a strict partial ordering over predicates, perhaps maintaining that if 'To be F is to be G' is true, then G is somehow more basic or fundamental than F is. I confess that I once had such predilections myself. However, I have come to endorse a reading of 'To be F is to be G' that strongly resembles an identity. There is a perfectly intelligible reading of 'To be F is to be F ' on which the sentence is manifestly true. After all, what else could F possibly be?4 Of course, uttering this sort of sentence is typically pragmatically infelicitous. When someone inquires, 'What is it to be a bachelor?' the response 'To be a bachelor is to be a bachelor' is likely to be unhelpful-in much the same way that the responding to 'Who is Bob?' with 'Bob is Bob' is uninformative. In addition, interest in one reading need not preclude the import of another. Although I am primarily concerned with the symmetric and reflexive reading of 'To be F is to be G,' on the present approach it is possible to define an asymmetric and irreflexive notion of analysis in terms of the symmetric and reflexive one. I outline an account of such a reading in some concluding remarks, and ask readers primarily concerned with this alternate reading to bear with me until then. Once the reflexive and symmetric reading is embraced, it is natural to treat the 'is' of 2The necessity of coextensionality relates to identity via (the predicative analog of) Leibniz's Law. At least when opaque predicates are set aside, the identity of Hesperus and Phosphorus guarantees that Hesperus and Phosphorus bear the same properties-that 'Hesperus is a planet' holds just in case 'Phosphorus is a planet' holds as well. As it concerns predicative identity, Leibniz's Law ensures that F bears the higher-order property 'contains a within its extension' just in case G bears that property as well. And since Leibniz's Law is presumably not only true but necessarily true, every possible situation in which a is in the extension of F is one in which a is within the extension of G. Presumably, this strategy only succeeds if the predicate 'contains a within its extension' is not opaque. For recent discussions regarding the logic of opaque predicates in this context, see Caie, Goodman and Lederman (2019); Bacon (2019); Bacon and Russell (2019). 3For one such argument, see Cameron (2014). 4Likewise, while there are contexts in which 'To be a father is to be a male parent' seems appropriate, there are also contexts in which 'To be a male parent is to be a father' seems appropriate. See Dorr (2016) for a discussion of this point. And even those who primarily address an irreflexive reading of 'To be F is to be G' often countenance a reflexive reading as well (e.g., Rosen (2015)). 4 'To be F is to be G' literally as the 'is' of identity: i.e., to maintain that a sentence of this form is true just in case the property of being F is identical to the property of being G. Notably, however, philosophers have objected to this suggestion for various reasons.5 First, there is linguistic evidence that 'To be F ' is not synonymous with 'To be the property of being F' in some contexts. 'I hope to be a skilled philosopher' is perfectly true, but 'I hope to be the property of being a skilled philosopher' is presumably false; I do not hope to be a property. If so, 'To be F is to be G' may not be synonymous with 'To be the property of being F is to be the property of being G.' Second, some desire an account of generalized identity to be compatible with nominalism-the denial that abstract objects like properties and relations exist. A nominalist may grant that to be a triangle is to be a polygon with three angles, but would presumably deny that the property of being a triangle is identical to the property of being a polygon with three angles on the grounds that she denies the existence of properties. Minimally, some suggest, such a nominalist's position ought not be obviously incoherent. By denying that 'To be F is to be G' is synonymous with 'To be the property of being F to be the property of being G,' such a nominalist's position can be accommodated. Third, the nominalized version of generalized identity arguably possess the resources to avoid Russell-style paradox. It may be that to be a non-self-instantiator is to not instantiate oneself, but there are reasons to deny that to be the property of being a non-self-instantiator is to be the property of not instantiating oneself, on the grounds that the property of being a non-self-instantiator gives rise to paradox. For these reasons, those like Dorr and Correia deny that 'To be F is to be G' is synonymous with 'To be the property of being F is to be the property of being G.' I find these arguments deeply unpersuasive. I am unprepared to settle central metaphysical debates based on the infelicity of 'I hope to be the property of being an accomplished philosopher'-it may be that 'To be F ' functions differently in that type of construction than it does in 'To be F is to be G.' Moreover, those who interpret a theory of generalized identity as an account of property-identity need not maintain that 'To be F ' is synonymous with 'To be the property of being F.' After all, the claim of synonymy need not follow from the claim of property-identity. And while some accounts of generalized identity rule out forms of nominalism, I do not find this particularly undesirable. It would be naïve to expect a theory of analysis to stay neutral on all other philosophical debates. An account may regularly, perhaps even systematically, force our hand; so long as our hand is forced in the correct way, this seems no cost to me. Furthermore, while the reified approach entails that nominalism is incorrect, it does not entail that nominalism is obviously incorrect, because even if the reified approach is true, it need not be obviously true. And so, nominalists may be making a substantive, rather than a silly, mistake. And while the threat of paradox is real, it is a threat that philosophers of all stripes must face. For the purposes of this paper, I treat 'To be F is to be G' in the Platonist way: in a manner that seeks identity conditions for properties, propositions and relations. It is 5So far as I can tell, Dorr (2016) and Correia (2017) provide precisely the same arguments. 5 my hope that the target phenomenon is, by this point, sufficiently clear. I now turn to developments in truth-maker semantics, which I employ within this account. 3 Truth-Maker Semantics Truth-maker semantics rests upon the conviction that the meanings of sentences are determined by the aspects of the world that are responsible for their truth-values. When stated so generally, this hardly seems controversial. Who would doubt that the meaning of 'grass is green' depends on that which is responsible for the truth of 'grass is green'? And, to be fair, many accounts claim conformity to this mantra-at least when it is understood broadly enough. The conviction that sentences' meanings are associated with their truth-conditions has been around at least since Tarski (1933) and arguably since Frege (1892). What is unique to truth-maker semantics is its commitment to exact truth-makers. The aspects of the world which constitute the meaning of a sentence s are those aspects which exactly make s true or exactly make s false; i.e., the aspects of the world that determine s 's meaning are entirely relevant to s. By design, truth-maker semantics eliminates aspects of sentences' meanings unrelated to their truth-values, and is capable of attributing distinct meanings to necessarily equivalent sentences.6 Integral to the truth-maker approach is the idea of a state-a fact-like entity that typically has a more restricted scope than a possible world. For example, there is a state of whales being mammals, a state of it raining outside, and a state of 2 being a number. Additionally, there is a state of their being twelve planets in the solar system and a state of 2 being an odd number. So, states are not restricted to those that actually obtain, nor even to those that possibly could obtain. 'State' is intended as a term of art and is as metaphysically neutral as possible. I make no assumptions about what ontological kind of thing a state is, or about whether states figure in the fundamental building blocks of reality. One of the only metaphysical assumptions I make is that states are capable of mereological composition. So, the state of a ball being both red and round may be the composite of the state of the ball being red with the state of the ball being round. Let a state space be an ordered pair <S, Ď>, where S is a set of states and Ď is a binary relation on S. Ď is intended to be interpreted as the relation of parthood, such that 's Ď s1' asserts that state s is a part of state s1. I make the standard assumption that parthood is a partial ordering: i.e., that Ď satisfies the following criteria: a) Reflexivity: For any state s P S, s Ď s b) Antisymmetry: For any states s, s1 P S, if s Ď s1 and s1 Ď s, then s " s1 c) Transitivity: For any states s, s1, s2 P S, if s Ď s1 and s1 Ď s2, then s Ď s2 6To a very large extent, this paper relies on truth-maker semantics as it was developed by Fine (2013, 2014, 2016, 2017b,c). For precursors to this semantics, see Van Fraassen (1969); Hwang and Schubert (1993). 6 Many state spaces, as defined above, are uninteresting. For example, there are state spaces in which no mereological composition occurs. In these, the extension of Ď is restricted to reflexivity; every state is a part of itself, and no state is a part of any other. For the purposes of this paper, let us confine our attention to state spaces that allow for arbitrary fusion, which I call 'complete state spaces.' For the most part, this can be achieved by stipulating that any two states within S have a fusion within S. However, this approach fails for infinitely large state-spaces. A restriction appropriate for infinitely large state spaces requires a few more definitions. I denote the fusion of states T Ď S as Ů T . Let an upper bound of T Ď S be a state s such that, for all states t P T, t Ď s. That is to say, an upper bound of a subset of S is a state which contains-as a part-every state within that subset. Let a least upper bound of T Ď S be a state s such that s is an upper bound of T and, for all upper bounds s1 of T , s Ď s1. Intuitively, we can think of the least upper bound of T as being the smallest upper bound of T-one which is a part of all upper bounds of T . Provably, if there is a least upper bound of T , then there is a unique least upper bound of T . For a state space ă S,Ďą, select an arbitrary T Ď S. Suppose, for reductio, that T has two least upper bounds- Ů T 1 and Ů T 2. From the definition of 'least upper bound' we have that Ů T 1 Ď Ů T 2 and Ů T 2 Ď Ů T 1. Given antisymmetry, this entails that Ů T 1 = Ů T 2. Let a state space <S,Ď> be complete just in case every subset T Ď S has a fusion within S. Here, I consider only complete state spaces. Furthermore, I identify the fusion of states with the least upper bound of the set containing all and only those states. On some approaches, the end of a semantics is to determine whether statements are true or false in a given world. However, on the current approach, the aim is to determine what precisely it is within a world that is responsible for the truth-values of sentences. Thus, verifiers must be relevant to the sentences that they render true, and they must be entirely relevant. States are the candidate verifiers and falsifiers. So, the state of the republicans controlling the Senate verifies 'The republicans control the Senate' and falsifies 'The republicans do not control the Senate.' I do not assume that each sentence has a unique verifier and a unique falsifier. Potentially, sentences could have many. The sentence, 'Either Dante wrote The Divine Comedy or Aristotle tutored Alexander the Great' presumably has (at least) two verifiers: the state of Dante having written The Divine Comedy and the state of Aristotle having tutored Alexander the Great. However, it is important for a sentence's verifiers to guarantee its truth and for its falsifiers to guarantee its falsehood. So, the state of roses being red does not verify 'roses are red and violets are blue,' despite its relevance to the conjunction. Furthermore, verifiers and falsifiers do not contain extraneous information. The state of 2 being both even and prime does not verify 'the number 2 is even,' despite the fact that it guarantees the sentence's truth.7 7This differentiates truth-maker semantics from the approach outlined by Barwise and Perry (1983) and Kratzer (2007) who employ a notion of truth-making such that verifiers need not be wholly relevant to the sentences that they render true. 7 Nothing in the definition of a state space distinguishes those states which are possible from those which are impossible. Given the modal implications of generalized identities, it is valuable to be able to make such a distinction. Let a modalized state space be an ordered triple <S, S , Ď> such that <S, Ď> is a complete state space, and S  is a nonempty subset of S consisting of those states which are possible. I assume that S  is closed under parthood; every possible state s is such that all of its parts are possible states (s P S ^ s1 Ď s Ñ s1 P S ). Modalized state spaces have the resources to define compatibility and incompatibility. Let us say that states s and s1 are compatible just in case their fusion is a member of S , and are incompatible if it is not. It is also possible to employ modalized state spaces to define a notion of a possible world. A possible world is a maximally consistent modalized state space.8 So, if something holds in all modalized state-spaces, it thereby holds in all possible worlds. Several other requirements might be imposed upon verification and falsification once states are assigned to sentences. We might, for example, insist that no verifier of a sentence is compatible with a falsifier of that sentence, and that every possible state is compatible with either a verifier or a falsifier of every sentence (which corresponds to exclusivity and exhaustivity conditions of verification, respectively). For obvious reasons, propositional languages are of limited relevance to claims of the form 'To be F is to be G.' Let us restrict our attention to a language capable of expressing predication. Let I be the (potentially infinite) set of all objects.9 Let a language L contain a unique name for each object such that i1 denotes i1, i2 denotes i2, etc.. Additionally, let L contain infinitely many predicates P 1, P 2, ... of fixed adicity, the operators $, ^ and _, infinitely many variables, as well as the quantifiers D,@-all defined in the standard way. Let a model M be an ordered quadruple <S, Ď, I, |   |> such that <S, Ď> is a complete state space, I is the set of individuals and |   | is a valuation function that takes each nadic predicate P and each n-tuple of objects <i1, i2, ..., in> to an ordered pair <V , F> where both V and F are subsets of S, with the intended interpretation that V is the set of P pi1, i2, ..., inq's verifiers, and F is the set of its falsifiers. The semantics is given inductively: i)+ s , P pi1, i2, ..., inq iff s P |pP pi1, i2, ..., inqq|V i)s P pi1, i2, ..., inq iff s P |pP pi1, i2, ..., inqq|F 8For a given modalized state space <S, S ,Ď> let a subspace be a modalized state space <S1, S1 , Ď1> such that S1 Ă S, S Ď S1 , and Ď1 is a conservative extension of Ď defined over S1. A subspace <S1, S1 , Ď1> of <S, S ,Ď> is a possible world just in case S  " S1 , Ů S1 P S , and every set S2 such that S1 Ă S2 Ď S is such that Ů S2 R S . 9Orthodox set theory denies that there is no set of all objects, for such a set would presumably contain itself (leading quickly to the Russell Paradox). For this reason, the use of 'all' in 'set of all objects' is, presumably, restricted. Indeed, it is for similar reasons that some maintain that all quantifiers are restricted-see Dummett (1991); Fine (2006); Lavine (2006); Parsons (2006)-though it is presumably challenging to express the claim that all quantifiers are restricted in a satisfactory way. I set the issue of how the 'all' ought to be restricted aside (though presumably it will at least be unable to quantify over that very set). I also note that nonstandard set theories allow for a universal set. 8 ii)+ s , $A iff s A ii)s - $A iff s , A iii)+ s , A ^ B iff for some states t and u, t , A and u , B and s " t \ u iii)s A ^ B iff either s A or s B iv)+ s , A _ B iff either s , A or s , B iv)s A _ B iff for some states t and u, t A and u B and s " t \ u It is my hope that readers find this semantics to be intuitive. Nevertheless, it has some surprising results. One of the most unexpected is that a verifier of ÂA need not verify A. Every fusion of two distinct verifiers of A is a verifier of the conjunction A ^ A, but these fusions need not themselves verify A. I do not find this result particularly problematic. Indeed, as I discuss in section 4, it is directly responsible for desirable logical attributes of analysis. However, those who object can readily modify the semantics by requiring that verifiers are closed under fusion; the fusion of any two verifiers of A is itself a verifier of A. Clauses iii)and iv)+ thus become: iii)-* s A ^ B iff s A or s B or s A _ B iv)+* s , A _ B iff s , A or s , B or s , A ^ B There are at least two ways to extend the semantics to clauses with quantifiers. One utilizes generic objects, such that verifiers of universal statements are generic states (rather than states about particular objects). A verifier for 'All numbers are either even or odd' is the state of a generic number being either even or odd. The semantics I prefer is instantial: verifiers of universal and existential statements are states concerning their instances. The introduction of predicates is currently more significant than the introduction of quantifiers is, so I opt for the most easily intelligible approach to quantification. The instantial approach treats the semantics of universal statements like large conjunctions. The meaning of the claim 'Everything is F' is treated similarly to the conjunction of the claims 'F piq,' for all i. More formally, we have: v)+ s , @xApxq iff there is a function f from I into S such that fpiq , Apiq for each i P I, and s " Ů tfpiq : i P Iu v)s - @xApxq iff for some i P I, s Apiq vi)+ s , DxApxq iff for some i P I, s , Apiq vi)s DxApxq iff there is a function f from I into S such that fpiq Apiq for each i P I, and s " Ů tfpiq : i P Iu10. Interestingly, once the notion of a totality 10One further complication arises if we assume that a verifier ought to necessitate the sentence it verifies, and allow for a variable domain of objects that could exist. Suppose, for example, that all cats have tails. 9 state is employed, it is possible to define the distinction between inclusive and exclusive quantification. For if we insist that there be a nonempty fusion of instances with totality states, the resulting quantifiers will be exclusive, but if we allow for empty fusions of instances with totality states, the resulting quantifiers will be inclusive. In the case of an empty domain with inclusive quantification, a verifier of the claim that everything is F will be the state of there being nothing which exists. Exact equivalence can thus be defined as follows: sentences A and B are exactly equivalent just in case their verifiers and falsifiers are identical. Many logically equivalent sentences (from a classical perspective) are not exactly equivalent. For example, Â $A need not be exactly equivalent to B ^ $B. Verifiers of the first sentence are fusions of a verifier of A with a falsifier of A, while verifiers of the second sentence are fusions of a verifier of B with a falsifier of B. And, as mentioned above, A is not even exactly equivalent to ÂA unless appropriate modifications are made. Nevertheless, exact equivalence differs from syntactic identity. A ^ B is exactly equivalent to B ^ A, and A is exactly equivalent to $$A.11 4 The Semantic Foundations of Philosophical Analysis Truth-maker semantics provides the resources to account for 'To be F is to be G' perspicuously: to elucidate what I meant when I claimed that these sentences hold just in case that which makes something F is that which makes something G. A sentence of this form is true just in case, for any name i, 'F piq' is exactly equivalent to 'Gpiq.'12 'To be a person is to be bound by the categorical imperative' holds just in case the verifiers and falsifiers of the claim that someone is a person are identical to the verifiers and falsifiers of the claim that she is bound by the categorical imperative, and 'To be morally right is to maximize utility' holds just in case the verifiers and falsifiers of the claim that an act is morally right On the instantial approach, a verifier of 'all cats have tails' is the fusion of a verifier of the claim that each cat has a tail-i.e., that Fluffy is a cat with a tail, Scamp is a cat with a tail, etc.. This fusion could obtain, and yet 'all cats have tails' be false in a possible situation in which there were more cats than actually exist-one of which lacks a tail. The obvious solution to this problem is to incorporate a totality state-a verifier of a universal statement is the fusion of verifiers of all instances with a verifier of the claim that those are all of the objects that exist. A similar solution applies to cases where objects (which actually exist) would not have existed. Plausibly, a verifier of 'All objects exist' is fusion of the state of a existing, with the state of b existing, etc. with the totality state of a, b, ..., being all of the objects. If a were not to exist, then this totality state would not obtain. However, there would remain a verifier of 'All objects exist' because the totality state of b, c, ..., being all of the objects would then obtain, and the fusion of this state with the state of b existing, with the state of c existing, etc. would verify 'All objects exist.' For the development of this approach, see Fine (2017a) 11This itself is a desirable outcome; it would be something of a bizarre coincidence if the granularity of properties, propositions and relations perfectly aligned the granularity of our syntax. 12It is straightforward to generalize this account to apply to predicates of any fixed adicity. For any pair of n-adic predicates F and G, the sentence, 'To be F is to be G' is true just in case, for all collections of n names, i1- in, 'F pi1, i2, ..., inq' is exactly equivalent to 'Gpi1, i2, ..., inq.' 10 are identical to the verifiers and falsifiers of the claim that it maximizes utility.13 It may seem odd, given that I am ostensibly concerned with what makes it the case that an object is F , that I am sensitive to states that make it the case that something isn't F-i.e., that this account is sensitive to falsifiers as well as to verifiers.14 On some semantic approaches, the inclusion of falsifiers is gratuitous. If the meaning of 'Fa' is given by the possible worlds in which a is F , this collection also determines the worlds in which a is not F . I suspect this gratuity is responsible for the apparent oddity of mentioning falsifiers explicitly. But on the truthmaker approach this is not the case. Sentences may be alike in what makes them true, but differ in what makes them false. It seems to me that there is nothing to be gained from the exclusion of falsifiers, and a great deal is lost. For, as we shall see, including falsifiers allows one to infer from the fact that the falsifiers of 'Sarah is a bachelor' differ from the falsifiers of 'Sarah is vixen' that 'To be a bachelor is to be a vixen' is false, where an approach sensitive only to verification cannot justify this inference.15 It is intended for this account to have a wide scope. It applies to predicates of any fixed adicity (i.e., with any number of free variables). This includes not only unary predicates (such as 'is tall') and binary predicates (such as 'is next to') but also the limiting case of 0-ary predicates. 'For John to be a brother is for John to be a male sibling' holds just in case the states that verify and falsify 'John is a brother' are identical (respectively) to the states that verify and falsify 'John is a male sibling.' However, it is worth emphasizing that what has been provided is merely a first-order semantics. It is not an account of higherorder generalized identity; it does not, for example, provide conditions in which 'To be a unary predicate is to be a predicate with one free variable' is true. This is in contrast to other approaches in the literature-many of which apply to infinitely high-order languages as well. This limitation is largely due to the current state of truth-maker semantics. It has been developed as a semantics for first-order languages, but it is not at all obvious how it 13Perhaps some worry that this account is specified in terms of names. Arguably, this requires every object within the domain to have a name. This may well require the language to be equipped with uncountably many names (for example, if the account is applicable to all of the real numbers). This is dubious if languages are to be understood as the sorts of things that ordinary speakers understand. This worry can be avoided by shifting the account to one that appeals directly to objects, rather than to names of objects. I.e., the semantics for atomic sentences is altered so that it applies to predicates and objects, rather than predicates and names. The valuation function may then be extended inductively so that it applies to formulas with free variables (not merely atomic predicates), and 'To be φ is to be ψ' is true iff @a P I, |φpaq|V " |ψpaq|V and |φpaq|F " |ψpaq|F . 14The first truth-maker approach sensitive to falsification occurs in Fine (2016). 15One may, in this case, conclude that 'To be a bachelor is to be a vixen' is false on the grounds that 'Sarah is a bachelor' has different verifiers from 'Sarah is a vixen' (although it may be that-in the case in which Sarah is a female human, neither of these states obtains). However, it seems that one need not appeal to verifiers in order to conclude that 'To be a bachelor is to be a vixen' is false; someone armed merely with the knowledge that 'Sarah is a bachelor' differs in falsifiers from 'Sarah is a vixen' has the resources to conclude that 'To be a bachelor is to be a vixen' is false. This is something that the bilateral approach (which appeals to both verifiers and falsifiers) accommodates and the unilateral approach (which appeals only to verifiers) does not. 11 is to be expanded to higher-order languages. If (and when) a truth-maker semantics for higher-order languages is developed, it is my hope that this account of generalized identity may be expanded in the obvious way. Some might suspect that sentences of the form 'To be F is to be G' are true just in case '@xFx' is exactly equivalent to '@xGx.' This is a quite natural approach-it is also false. '@xFx' is exactly equivalent to '@xGx' just in case the sentences' verifiers and falsifiers are identical. On the current approach, universal statements are treated instantially. That is to say, the claim that everything is F is treated like the conjunction of the claims that each individual is F . Suppose that there were two objects i1 and i2 such that a verifier for 'F pi1q' was a verifier for 'Gpi2q,' and a verifier for 'F pi2q' was a verifier for 'Gpi1q.' In this case, the conjunction 'F pi1q ^F pi2q' has an identical verifier to 'Gpi1q ^Gpi2q'-the verifier for each is the fusion of two identical states. Nevertheless, it would be absurd to take this to lend support to the truth of 'To be F is to be G.' After all, a state which renders 'F pi1q' true is a state which renders 'Gpi2q,' rather than 'Gpi1q,' true. It is essential to preserve the verifiers and falsifiers for each instance-and not merely for the fusion of their instances.16 Or consider predicates F and G where G is the predicate 'is such that everything is F ;' for the sake of concreteness, let F be 'is tall' and G be 'is such that everything is tall.' It may be that 'Everything is tall' is exactly equivalent to 'Everything is such that everything is tall,' but it does not follow from this that to be tall is to be such that everything is tall.17 This account accommodates the aforementioned logical features of generalized identity, primarily because exact equivalence is an equivalence relation. For any F and any i, 'F piq' is exactly equivalent to 'F piq,' so sentences of the form, 'To be F is to be F ' are universally true. Exact equivalence is symmetric; if 'F piq' is exactly equivalent to 'Gpiq' then 'Gpiq' is exactly equivalent to 'F piq.' So, if 'To be F is to be G' is true, then 'To be G is to be F ' is true. Exact equivalence is also transitive. If 'F piq' is exactly equivalent to 'Gpiq' and 'Gpiq' is exactly equivalent to 'Hpiq,' it follows that 'F piq' is exactly equivalent to 'Hpiq.' So, if 'To be F is to be G' is true and 'To be G is to be H' is true, then 'To be F is to be H' is also true. Generalized identities are thus reflexive, symmetric and transitive. Of course, with a semantics in place we can establish more than that exact equivalence is an equivalence relation: it determines a complete logic of analysis.18 The present account entails that sentences of the following forms (which correspond to axioms in a logic of exact equivalence) are universally true, and that inferences of the following forms (which 16This problem may be peculiar to the instantial approach to quantification. On the generic approach- according to which verifiers of '@xFx' are states that verify that a generic object is F , there is no worry about swapping verifiers of instances. My thanks to Kit Fine for pressing me on this point. However, once the generic approach is adopted, the ability to define the distinction between inclusive and exclusive quantification in the manner mentioned in footnote 10 is lost. Additionally, the instantial approach has the advantages of comparative parsimony (in that it need not posit generic objects) and relative intelligibility when compared to generic verification. 17My thanks to an anonymous reviewer for this example. 18For a discussion of the logic of exact equivalence, see Fine and Jago (2019). For a completeness theorem of truth-maker semantics for this type of system, see Fine (2016). 12 correspond to inferences in a logic of exact equivalence) are universally valid: Axioms 1. To be $$F is to be F . 5. To be F _ pG _ Hq is to be pF _ Gq _ H. 2. To be F ^ G is to be G ^ F . 6. To be $pF ^ Gq is to be $F _ $G. 3. To be F _ G is to be G _ F . 7. To be $pF _ Gq is to be $F ^ $G. 4. To be F ^ pG ^ Hq is to be pF ^ Gq ^ H. Inferences 8. To be F is to be G/To be G is to be F . 9. To be F is to be G/To be $F is to be $G. 10. To be F is to be G, To be G is to be H/to be F is to be H. 11. To be F is to be G/To be F ^ H is to be G ^ H. 12. To be F is to be G/To be F _ H is to be G _ H. This account relies upon a connection between sentential and predicative operators. While truth-maker semantics has been developed with an eye to sentential connectives (perhaps providing verifiers for 'John is unmarried and John is male,' for example), accounts of generalized identity are primarily concerned with predicates (perhaps maintaining that to be a bachelor is to be an unmarried male). It should be no surprise that there is a close connection between the two. Sentences are often conceived of as the limiting case of predicates (i.e., predicates that take 0 objects within their sentences), so-minimally- accounts of predicates ought to apply to sentences as well. Formalizations of logically complex predicates often employ λ-notation. The predicate F ^G, on this approach, might be represented as λx.pFx^Gxq. The intended connection to truth-maker semantics is that λx.pFx^Gxqa has the same verifiers as FâGa. This follows from two standard assumptions about propositional identity: that propositional identity is preserved under β-conversion, and that Leibniz's Law holds. For, on the assumption that identity is preserved under β-conversion, λx.pFx ^ Gxqa simply is Fa ^ Ga, and Leibniz's Law ensures entails that identical propositions have identical verifiers.19 I believe this account to be true for several reasons. Two relatively banal ones are that it is intuitive and that it satisfies our theoretical demands with minimal theoretical costs. But perhaps the most intriguing reason I believe that this is so, and a guiding motivation behind the current approach, concerns the analogy between real and nominal definition: that is to say, the analogy between the definitions of things themselves and the definitions 19The assumption that propositional identity is preserved under β-conversion is orthodox (for a defense, see Dorr (2016), for those who assume it to be true, see, e.g., Caie, Goodman and Lederman (2019); Fritz (Forthcoming)). However, this principle is incompatible with the claim that Fa grounds λx.pFxqa (at least on the assumption that grounding is irreflexive). I suspect that those concerned with this type of grounding principle would find the discussion of real definition at the conclusion of this paper more appealing than the account which resembles an identity. Furthermore, I note that there have recently been substantial discussion regarding systems which abandon Leibniz's Law in this context-see, again Caie, Goodman and Lederman (2019), as well as Bacon (2019); Bacon and Russell (2019). 13 of terms (for example, the analogy between the definition of 'the good' and the definition of the good). On one conception, nominal definitions are a special kind of real definition- they are the real definitions of linguistic objects.20 Even those who do not conceive of nominal definition in this way often countenance a close connection between it and real definition. It is common practice for the notion of real definition to be introduced as the worldly analogue to (or perhaps the metaphysical counterpart of) nominal definition. If the two are so closely related, then the philosophically salient aspects of one ought to resemble the philosophically salient aspects of the other. Of course, this analogy determines little about real definition without an account of nominal definition-a theory of how words, phrases, sentences and the like are defined. One popular conception of nominal definition is semantic essentialism; the view that terms are defined by their semantic content.21 The definition of a word is given by what the word means, and the definition of a sentence is given by what it is the sentence means. If we are to take both semantic essentialism and the analogy between real and nominal definition seriously (and I strongly believe that we should), then the logical attributes of philosophical analysis ought to mirror the logical attributes of meaning (or, some might say, the logical attributes of analyticity). After all, on this view, real definitions resemble the way in which terms are defined, and terms are defined by their meanings. To put it only slightly differently, if the logic of real and nominal definition functioned radically differently, I would conclude that they are disanalogous in the relevant sense. As it turns out, we already possess a logic of meaning (see Angell (1977, 1989, 2002)). Angell argues that this logic is nonclassical. Although p classical entails p_q, there is no reason to suspect that the meaning of p contains the meaning of p_q. For this reason, disjunction introduction fails on this logic. Angell's system has proven valuable in constructing a theory of partial truth. There is a sense in which 'Roses are red and violets are orange' is merely partially true. As it turns out, it is extremely difficult to construct a theory of partial truth with the resources of classical logic. One might suspect that a sentence is merely partially true just in case it entails something which is true and entails something else which is false. But this is too permissive: every strictly false sentence would count as being merely partially true. After all, every false sentence entails infinitely many logical truths. One might, instead, suggest that a sentence is merely partially true just in case it entails a nontrivial truth and a nontrivial falsehood, but this sacrifices too much. The sentence 'Grass is red and 1`1 " 2' would not count as being merely partially true, because the relevant true conjunct (that 1 ` 1 " 2) is trivial. It is much more straightforward to construct a theory of merely partial truth on Angell's system. A sentence is merely partially true, on this account, just in case at least one of its analytic parts-a part of its meaning-is true and at least one of its analytic parts is false. Partially because disjunction introduction fails on this type of approach, this avoids the implication that every sentence is at least partially true. It is a 20On another conception, nominal definitions can be thought of as putative real definitions which are defective, or in some way of inferior status. I set this use of 'nominal definition' aside. 21See, e.g., Fine (1994). 14 virtue of my account that the logic of analysis aligns with Angell's system. It is worth examining the plausibility of this system in detail. Each axiom and inferential rule is independently worthy of consideration, but I will primarily address three differences between the current approach and that advanced by Correia and Skiles (2019), perhaps the most similar account available in the literature. In some ways, our approaches are incommensurable. While I provide a semantics that underlies the logic of analysis-one rooted in the mereological structures of states-Correia and Skiles do not. While they devote considerable discussion to metaphysical essence and ground, I do not. The point of overlap lies at the logic of generalized identity, and it is here that our views compete. Given that the target phenomenon is the same, it is unsurprising that our logics share several axioms and inferential rules. However, they come apart in important, and, I believe, quite telling, ways. The first (and in some ways the least persuasive) difference between our systems concerns the distribution axioms. Correia and Skiles license 'To be F ^ pG _ Hq is to be pF ^ Gq _ pF ^ Hq' but deny that 'To be F _ pG ^ Hq is to be pF _ Gq ^ pF _ Hq.' That is to say, on their system the distribution of conjunction over disjunction succeeds, while distribution of disjunction over conjunction fails. In contrast, I deny both distribution axioms. Their failure falls immediately out of the semantics I provide. One kind of verifier of 'pFa_Gaq^pFa_Haq' is the fusion of a verifier of 'Fa' with a verifier of 'Ha.' This fusion need not verify 'Fa_pGâHaq.' Similarly, one kind of falsifier of 'pFâGaq_pFâHaq' is the fusion of a falsifier of 'Fa' with a falsifier of 'Ha.' This fusion need not falsify 'Fa ^ pGa _ Haq.' So, neither distribution axiom is valid on my account. I find the acceptance of only one distribution axiom bizarre. To be clear, while I claim both axioms are false, I do not find it bizarre to suggest that they are both true. What I find bizarre is accepting one while rejecting the other. Indeed, I can think of no philosophical motivation for this result.22 Conjunction is symmetric with disjunction in 22Notably, however, Correia (2016) provides putative counterexamples to only one distribution axiom (see also Krämer and Roski (2015)). If there are counterexamples to one (but not both) distribution axiom, this might undercut the apparent oddity of accepting one and rejecting the other. Correia's case is framed in terms of fitting representation, rather than truthmaking, but an analogous case can be straightforwardly derived. Let us suppose the Sam is both sad and ill. In this case, the state of Sam being both sad and ill is fittingly described (to use his terminology) by '(Sam is sad or Sam is bad) and (Sam is sad or Sam is ill)' but is not fittingly described by 'Sam is sad or (Sam is bad and Sam is ill).' In my mind, this putative counterexample is most naturally viewed as a post-theoretic judgment, rather than an independently motivated consideration. This is evident from the fact that Correia employs the very logic he develops when motivating its result; it receives no independent justification-one that does not appeal to his very system. If this is permissible, it is straightforward to construct parallel cases for falsification. Let us suppose that Sam is neither bad not sad. In this case, the state of Sam being neither bad nor sad is directly responsible for the falsity of '(Sam is bad and sad) or (Sam is bad and ill)' yet need not be directly responsible for the falsity of 'Sam is bad and (Sam is sad or ill)'. For although such a state guarantees the falsity of 'Sam is bad' it contains information not relevant to Sam's badness, and it likewise does not account for the falsity of 'Sam is sad or ill,' as it has no information regarding Sam's illness. If the account I defend is correct, these are the sorts of counterexamples which are to be expected. 15 logically important ways; the relation conjunction stands in to the True and the False is analogous to the relation disjunction stands in to the False and the True. And so, the two logical operators ought to distinguish predicates from one another in a parallel manner. This symmetry is broken on Correia and Skiles' account. A fundamental difference arises with the distribution axioms: while distributing conjunction over disjunction does not result in a different predicate, distributing disjunction over conjunction does. I suspect that the inclusion of only one distribution axiom arises from their intended semantics. If a unilateral notion of exact equivalence were adopted-one which included verification and excluded falsification-only one distribution axiom would result. However, this is no defense unless a semantics that ignores falsification is independently motivated. Absent a reason to adopt a unilateral semantics, we remain without a reason to accept only one distribution axiom. The desire for a symmetric logic is unlikely to persuade those deeply wedded to an asymmetric account. At best, it might motivate uncertain philosophers waffling between available alternatives. But it remains a motivation for me, and is a harbinger of more serious problems to come. A second (and perhaps more compelling) difference concerns an inference that I license and that Correia and Skiles do not-inference 9. If to be F is to be G, it follows that to be $F is to be $G. For example, if to be a sister is to be a female sibling, then to be not a sister is to be not a female sibling, and if to be hydrogen is to be the chemical element with a single proton, then to be not hydrogen is to be not the chemical element with a single proton. While Correia and Skiles may (or may not) agree with these particular cases, they deny that the inference holds in its full generality. Inference 9 also results from adopting a bilateral notion of exact equivalence (i.e., from insisting that sentences are exactly equivalent just in case they have both identical verifiers and identical falsifiers, rather than merely having identical verifiers).23 To see why this is so, consider the proposal that a generalized identity is true just in case, for any name i 'F piq' has identical verifiers to 'Gpiq,' and omitting the inclusion of falsifiers. Nothing in truth-maker semantics guarantees that sentences with identical verifiers have identical falsifiers. The negation operator swaps a sentence's verifiers for its falsifiers, so, in this case, '$F piq' could have distinct verifiers from '$Gpiq,' and 'To be $F is to be $G' would thereby be false. In contrast, my approach takes the false just as seriously as the true. If the states that falsify 'Fa' differ from those that falsify 'Ga,' this undermines the claim that 'To be F is to be G.' And because generalized identities are equally sensitive to that 23Perhaps some suspect that there is no need to take a stand on negative generalized identities at all. It may seem metaphysically unimportant what it is to be #F , as the things which are not F do not form a uniform kind. It seems to me, however, that there are true negative generalized identities-though these sometimes involve quantifiers. It is plausible that for Alex to be an only child is for there not to exist someone who is a sibling of Alex (or, given the symmetry of generalized identity, for there not to exist someone who is the sibling of Alex is for Alex to be an only child); it is plausible that for a number n to be prime is for there not to exist a number that n is evenly divisible by other than 1 and n (and, consequently, for there not to exist a number that n is evenly divisible by other than 1 and n is for n to be prime); it is plausible that to be immortal is to be such that there does not exist a time at which one dies. 16 which verifies that an object is F as they are to that which falsifies that an object is F , the inference from 'To be F is to be G' to 'To be $F is to be $G' is preserved. An example may highlight the implausibility of denying inference 9. Suppose a precocious doctoral candidate were to announce that she had discovered that to be water is to be the chemical compound H2O. "What am amazing finding!" her advisor might reasonably exclaim, "I just have one quick follow-up-what is it to be not water?" It would seem strange if such a student lacked the resources for the answer; it seems perfectly obvious that to be not water is to be not the chemical compound H2O, and that this is immediately justified by the inference from the fact that to be water is to be the chemical compound H2O. If inference 9 were impermissible, I doubt she could answer her advisor's question at all. What resources could she employ to uncover what it is to be not water? Are there other scientific experiments from those she used to discover the chemical composition of water? If not, what inferential resources are available to her, if even the inference from 'To be F is to be G' to 'To be $F is to be $G' is denied? I suspect that those who deny inference 9 arrive at a limited (and implausible) form of skepticism; that there is no way for the student to uncover what it is to be not water. Minimally, the ball is in such philosophers' court: either show how the limited inferential resources can generate knowledge of what it is to be not water, or else accept the skepticism that results. Notably, there are no counterexamples to inference 9 available in the literature. However, in the course of developing this paper various philosophers have presented putative counterexamples to me. I will mention two. It is natural to suggest that to be definitely red is to be red.24 There may be borderline cases of redness-at times reasonable people disagree about whether an object is red. But there is consensus about the paradigmatic cases; we can be confident that definite redness is redness. However, even if this is true, 'To be not definitely red is to be not red' is arguably false, for things might be red which are not definitely red. I maintain that if there is a reading of 'To be definitely red is to be red' on which the sentence is true, it is not the reading at issue. Recall that, on the target reading of 'To be F is to be G' it is necessary that all and only F s are Gs. So if there are possible instances of objects which are red but are not definitely red, then 'To be definitely red is to be red' is false. In some ways this example resembles 'To be crimson is to be red,' mentioned at the outset. For, just as being crimson is a way of being red (and, perhaps, being definitely red is a way of being red), there are other ways of being red than being crimson which render 'To be crimson is to be red' false on the target reading. Just so with 'To be definitely red is to be red.' Another potential counterexample is the following: suppose, for the sake of simplicity, that that there are only three colors-red, blue, and green-and let 'r', 'b', and 'g' denote 24My thanks to Steve Yablo for this example. 17 the states of a particular object o being red, blue and green respectively.25 Arguably, the sentence 'o is red' is verified by r, and is falsified by b and g and by nothing else (and, arguably, the sentences 'o is blue' and 'o is green' are verified and falsified in the analogous way) Quite plausibly, in this case, to be not red is to be blue or green. But while the verifiers of 'o is not red' may be the same as the verifiers of 'o is blue or o is green,' they differ in their falsifiers. The only falsifier of 'o is not red' is r, but the only falsifiers of 'o is blue or o is green' are either r, r \ b, r \ g and g \ b-that is, the state of o being red, the state of o being both red and blue, the state of o being both red and green, and the state of o being both green and blue. This is an interesting case (one more compelling than others I have encountered) however it is a bullet I am prepared to bite. I deny that to be not red is to be blue or green.26 To those who find this example compelling, an explanation is owed: an account of why intuitions go awry in this particular case. Note, to begin, that 'o is not red' has one falsifier in common with 'o is blue or o is green.' State r falsifies both expressions, since it verifies 'o is red' and falsifies both 'o is blue' and 'o is green.'27 This, arguably, it is a metaphysically possible state of affairs; o is the type of object which could be red. The other falsifiers of 'o is blue or o is green,' are, equally arguably, metaphysically impossible. Object o cannot be both red and green, red and blue, or green and blue (at least not if this to be understood as o being entirely red and entirely green at the same time). Impossible falsifiers are legitimate falsifiers, on the truth-maker approach, but they are often overlooked. When focusing our attention on the possible falsifiers, 'o is not red' has the same falsifiers as 'o is blue or o is green.' And it is for this reason, I maintain, that some may be inclined to accept 'To be not red is to be blue or green.' However, once our attention is broadened to the metaphysically impossible, the difference in falsifiers becomes apparent. It is not the case that to be not red is to be blue or green; what it is to be not red is to lack a particular phenomenal character-the phenomenology of redness. If inference 9 is invalid, there ought to be cases in which it goes awry. If there are any such cases, they remain undiscovered. Every instance philosophers have discussed is one in which the inference from 'To be F is to be G' to 'To be $F is to be $G' appears legitimate. Systems that deny the inference from 'To be F is to be G' to 'To be $F is to be $G' fare worse that those that endorse it. Hence, that the present account licenses this inference is a mark in its favor. A third difference concerns two axioms that Correia and Skiles license which I do not: 'To be F is to be F ^ F ' and 'To be F is to be F _ F ' (which are sometimes referred to as 'idempotence'). Correia and Skiles say little in their favor, aside from that they "[are] compulsory principles about generic identity" (11). In contrast, I deny both axioms. Recall 25My thanks to an anonymous reviewer, who based this example on one in Fine (2017b) (pg. 633). 26This denial does not arise from the limited number of colors; I would deny that to be not red is to be blue or green or yellow, blue or green or yellow or orange, etc. 27Here, as elsewhere, I assume that r " r \ r-that is, r is identical to the fusion of itself with itself. 18 that there is no guarantee that verification and falsification are closed under fusion; the fusion of two verifiers of 'Fa' may not verify 'Fa', and the fusion of two falsifiers of 'Fa' may not falsify 'Fa'. In this case, a state that verifies 'FâFa' would not verify 'Fa,' while a state that falsifies 'Fa _ Fa' would not falsify 'Fa,' and so both forms of idempotence fail. There are deep, logical motivations for abandoning idempotence in this context-most notably discussed in Dorr (2016). Addressing these motivations in sufficient depth would take us far afield and require introducing further formalisms. Dorr argues that there is a reading of 'To be grue is to be green and observed before time t or blue and not so observed' is true, yet 'To be green is to be grue and observed before time t or bleen and not so observed' is false. He accounts for this discrepancy by accepting a principle dubbed Only Logical Circles, according to which sentences of the form 'To be F is to be F ' are circular in an innocuous way, but nonlogical types of circularity are universally vicious. Once this principle is integrated with the λ-calculus (a standard way of representing logically complex predicates), it immediately follows that both forms of idempotence are false; it is straightforwardly possible to employ idempotence to derive nonlogically circular generalized identities. Those who endorse Only Logical Circles ought to abandon idempotence. Moreover, I note that the logic of generalized identity I advance is the most coarse-grained system consistent with Dorr's principles.28 And so, we arrive at the very same destination from distinct origins. While I am primarily by the semantic considerations, Dorr is primarily motivated by logical ones. It is no accident, I think, that our systems so neatly align; I will say no more about these consideration here, and direct those interested in the technical details to Dorr's paper. I mention it only to note that the logic I advance is compatible with Dorr's considerations, while Correia and Skiles' is not. There are plausible counterexamples to idempotence. Consider 'To be pF _ Gq is to be pF _Gq and pF _Gq.' This is an instance of idempotence-in particular, of the conjunctive formulation-so if idempotence holds, sentences of this form ought to be true. One of the states which verifies 'pFa _ Gaq ^ pFa _ Gaq' is the fusion of a state which verifies 'Fa' with a state which verifies 'Ga,' but there is no reason for this fusion to verify 'Fa _ Ga.' For the sake of concreteness, consider 'To be red or round is to be (red or round) and (red or round).' One state of affairs which verifies that an object is '(red or round) and (red or round)' is the state of it being both red and round (i.e., the fusion of a state which verifies that it is red with a state which verifies that it is round). This fusion need not verify that an object is red or round (at least on the exclusive formulation for disjunction), although it contains, as proper parts, two states of affairs which do verify that that object is red or round.29 Much more could be said about the logic analysis, but it is my hope that the previous 28I thank an anonymous reviewer for bringing this alignment to my attention-which Dorr demonstrates in the appendix. 29A parallel example could be constructed for the disjunctive form of idempotence. I thank an anonymous reviewer for this example. 19 discussion suffices to motivate the present semantics over viable alternatives. 5 Conclusion The focus of this paper has been a reflexive and symmetric notion of analysis: one that closely resembles an identity. However, I have briefly mentioned (and fully endorse) a reading of 'To be F is to be G' that is irreflexive and asymmetric. Notably, it is possible to define this irreflexive and asymmetric notion (which, instead of a 'generalized identity' we might call a 'definition') in terms of the reflexive and symmetric notion on this account. Here, I distinguish this alternate reading from with the use of the subscript 'df .' On this reading, the 'is' of 'To be F isdf to be G' does not resemble the 'is' of identity; sentences of the form 'To be F isdf to be F ' are universally false, and if 'To be F isdf to be G' is true then 'To be G isdf to be F ' is false. Before closing, allow me to briefly sketch an account of this reading. The underlying motivation for this approach is that thought that a definition of a phenomenon breaks it down into its constituent parts. While some may subscribe to this metaphorically, the current approach interprets it almost literally. Recall that verifiers and falsifiers are endowed with mereological structure: some are states with proper parts. The state of Ralph being a bachelor, for example, may be the composite of the state of Ralph being male with the state of Ralph being unmarried. And so, one can learn about the mereological structure of such a state by identifying its proper parts. A natural thought is that a definition is a sentence of the form'To be F isdf to be G' which satisfies two conditions: 1. 'To be F is to be G' is a (true) generalized identity. 2. For all x, 'G' limns the mereological structure of the verifiers and falsifiers of 'Fx' more than 'F ' does. For example, 'To be a mother isdf to be a female parent' is true just in case the states that make someone a mother are identical to the states that make her a female parent, and the term 'female parent' limns the structure of these states more than 'mother' does- presumably by demonstrating that they are fusions of the state of someone being female with the state of her being a parent. And 'To be human isdf to be a rational animal' holds just in case the states that make something a human are identical to the states that make is a rational animal, and 'rational animal' reveals the structure of these states more than 'human' does-presumably by demonstrating that they are fusions of the state of them being rational with the state of them being an animal. On this account, definition is irreflexive, asymmetric and transitive.30 The term 'F ' 30The transitivity of the first condition follows from the transitivity of generalized identity. The transitivity of the second arises from the transitivity of 'limns more structure than.' If G limns more structure than F , and H limns more structure than G, I assume that H limns more structure than F . 20 never limns more structure than 'F ' does, so sentences of the form 'To be F isdf to be F ' are universally false. Similarly, if G limns more structure than F does, then F does not limn more structure than G does. So, if 'To be F isdf to be G' is true, then 'To be G isdf to be F ' is false. And if 'G' more structure than 'F ' does and 'H' limns more structure than 'G' does, then 'H' limns more structure than 'F ' does. Because of this (and because generalized identities are transitive), if 'To be F isdf to be G' is true and 'To be G isdf to be H' is true, then 'To be F isdf to be H' is true. This approach does not restrict the cognitive import of definition to linguistic facts. When one learns that 'To be F isdf to be G,' she learns more than facts about the predicates 'F ' and 'G'; in particular, she learns about the mereological structures of the states that make something F and G. In learning 'To be a bachelor isdf to be an unmarried male,' for example, she thereby learns that the states that make it the case that someone is a bachelor are composed of the states that make that person unmarried and the states that make that person male. Definitions thus convey information about the world. A fully developed account of real definition ought to provide conditions under which a predicate limns more structure than another. I leave the development of these conditions for future work. I believe that this account of real definition is worthy of serious consideration, but will say no more about it here. This theory of definition sheds light on the paradox of analysis, according to which it is doubtful that any analysis can be both informative and true. Substantive accounts are nontrivial: they convey information that agents may lack. But precisely because the content of an informative account differs from its object, that content cannot be the same as its object. The view that being morally right isdf maximizing utility, is falsified neither by obligations to particular people nor by moral skepticism resulting from the plethora of unforeseen consequences, but rather by the mere fact that 'maximizing utility' conveys information that 'being morally right' does not. All quests for substantive analyses are futile, the paradox maintains, as their very substance undermines their truth. Really, the paradox of analysis contains two puzzles. It is unclear, firstly, how any putative definition could be informative. But once that is resolved, it remains unclear why all putative definitions are informative-why it is that trivial definitions are universally excluded. The present account suggests how both are to be resolved. Because definitions are a subset of identity claims, the first puzzle can be conceived as an instance of Frege's puzzle about identity. The reason definitions can be informative is that identity claims can be informative. Just as 'Hesperus is Phosphorus' may convey substantive information, so too 'To be a person is to be bound by the categorical imperative' may convey substantive information. It is not committed to a particular way to resolve Frege's puzzle-potential resolutions are numerous and varied. Rather, it suggests that any potential resolution could be applied to generalized identities in order to account for their substance. And the reason that all definitions are substantive is that they all reveal mereological structure. Trivial generalized identities are excluded precisely because-in virtue of their triviality-one term 21 cannot limn more structure than the other. In order for 'To be F isdf to be G' to hold, G must reveal something that F does not-and it is for this reason that all definitions have substance. There are advantages to this account of generalized identities that I failed to address. In particular, it offers insight into their modal status, the new riddle of induction, and the interpretation of physicalism.31 However, I do not rely upon arguments I lack the space to provide, but hope that the previous discussion motivates a conception of analysis in terms of truth-maker semantics, and highlights some of the immediate logical implications of that position. 31For discussions of these developments, see Elgin (Forthcomingb,F). 22 References Angell, Richard. 1977. "Three Systems of First Degree Entailment." Journal of Symbolic Logic 47(147). Angell, Richard. 1989. Deducibility, Entailment and Analytic Containment. In Directions in Relevant Logic, ed. R Norma, J & Sylvan. Kluwer. Angell, Richard. 2002. A-Logic. University Press of America. Bacon, Andrew. 2019. "Substitution Structures." Journal of Philosophical Logic 48:1017–75. Bacon, Andrew and Jeffrey Russell. 2019. "The Logic of Opacity." Philosophy and Phenomenological Research 99(1):81–114. Barwise, John and John Perry. 1983. Situations and Attitudes. MIT Press. Caie, Micahel, Jeremy Goodman and Harvey Lederman. 2019. "Classical Opacity." Philosophy and Phenomenological Research . Cameron, Ross. 2014. "On the Lack of Direction in Rayo's The Construction of Logical Space." Inquiry 57(4):427–41. Correia, Fabrice. 2016. "On the Logic of Factual Equivalence." The Review of Symbolic Logic 9:103–22. Correia, Fabrice. 2017. "Real Definitions." Philosophical Issues 27(1):52–73. Correia, Fabrice and Alexander Skiles. 2019. "Grounding, Essence and Identity." Philosophy and Phenomenological Research 3:642–70. Dorr, Cian. 2016. "To Be F Is To Be G." Philosophical Perspectives 30(1):39–134. Dummett, Michael. 1991. Frege: Philosophy of Mathematics. Harvard University Press. Elgin, Samuel. Forthcominga. "The Levels of the Empirical Sciences.". Elgin, Samuel. Forthcomingb. "Physicalism and the Identity of Identity Theories." Erkenntnis . Fine, Kit. 1994. "Essence and Modality." Philosophical Perspectives 8:1–16. Fine, Kit. 2006. Unrestricted Quantification. In Absolute Generality, ed. Agustín Rayo and Gabriel Uzquiano. Oxford University Press pp. 20–44. Fine, Kit. 2013. "A Note on Partial Content." Analysis 73(3):413–419. 23 Fine, Kit. 2014. "Truth-Maker Semantics for Intuitionistic Logic." Journal of Philosophical Logic 43(2-3):549–577. Fine, Kit. 2016. "Angellic Content." Journal of Philosophical Logic 45(2):199–226. Fine, Kit. 2017a. Survey of Truthmaker Semantics. In A Companion to the Philosophy of Language: Second Edition, ed. Bob Hale, Crispin Wright and Alexander Miller. Fine, Kit. 2017b. "A Theory of Truthmaker Content 1: Conjunction, Disjunction and Negation." Journal of Philosophical Logic 46(6):625–74. Fine, Kit. 2017c. "A Theory of Truthmaker Content 2: Subject-matter, Common Content, Remainder and Ground." Journal of Philosophical Logic 46(6):675–702. Fine, Kit and Mark Jago. 2019. "Logic for Exact Entailment." Review of Symbolic Logic 12(3):536–56. Frege, Gottlob. 1892. "Sense and Reference." Zeitschrift für Philosophie und Philosophische Kritik 100:25–50. Fritz, Peter. Forthcoming. "Structure by Proxy with an Application to Grounding." Synthese . Hwang, Chung Hee and Lenhart K Schubert. 1993. "Episodic Logic: A Situational Logic for Natural Language Processing." Situation Theory and its Applications 3:303–338. Krämer, Stephan and Stefan Roski. 2015. "A Note on the Logic of Worldly Ground." Thought 4(1):59–68. Kratzer, Angelika. 2007. "Situations in Natural Language Semantics." Stanford Encyclopedia of Philosophy . Lavine, Shaughan. 2006. Something about Everything: Universal Quantification in the Universal Sense of Universal Quantification. In Absolute Generality, ed. Agustín Rayo and Gabriel Uzquiano. Oxford University Press pp. 98–148. Linnebo, Øystein. 2014. " 'Just is'-Statements as Generalized Identities." Inquiry 57(4):466– 482. Parsons, Charles. 2006. The Problem of Absolute Universality. In Absolute Generality, ed. Agustín Rayo and Gabriel Uzquiano. Oxford University Press pp. 203–19. Rayo, Agustín. 2013. The Construction of Logical Space. OUP Oxford. Rosen, Gideon. 2015. "Real Definition." Analytic Philosophy 56(3):189–209. 24 Tarski, Alfred. 1933. "The Concept of Truth in the Languages of the Deductive Sciences." Prace Towarzystwa Naukowego Warszawskiego, Wydzial III Nauk MatematycznoFizycznych 34(13-172):198. Van Fraassen, Bas C. 1969. "Facts and Tautological Entailments." The Journal of Philosophy 66(15):477–487.