What is, and what ought to be, predicated of people-categories during destigmatization?
There is a question about what destigmatization should strive for with respect to people-category predication, and what actually happens to people-category predication during destigmatization. The worry is that some lives could become livable only by collapsing the livability of others.
I think the people-category predicative structures “C can be X” and “C cannot be X,” when installed as public meanings of the category itself, have a formally exclusionary structure.
If the public meaning of “women” includes “cannot be sexualizable,” then women who identify with “can be sexualizable” cannot live a life in which their identity is intelligible. Likewise, if the public meaning of “women” includes “can be sexualizable,” then women who identify with “cannot be sexualizable” cannot live a life in which their identity is intelligible.
The reasoning appeals to ◊A → □◊A in S5 modal logic. For reference, see https://plato.stanford.edu/entries/logic-modal/
I use ⊨ for semantic entailment, ⊭ for failure of semantic entailment, ◊ for possibility, □ for necessity, ¬ for negation, ∧ for conjunction, and ∃ for existential quantification. Let Σ_C mean the public meaning, category rules, or socially available interpretation of people category C, and let P mean “X predicates C at the category level.” “C can be X” can be represented as Σ_C ⊨ ◊P. In S5, ◊P → □◊P, so once possibility is installed as part of the category meaning, that possibility is treated as necessarily available within the relevant modal frame. “C cannot be X” can be represented as Σ_C ⊨ ¬◊P, or equivalently Σ_C ⊨ □¬P.
By contrast, “C neither can nor cannot be X” should be represented as (Σ_C ⊭ ◊P) ∧ (Σ_C ⊭ ¬◊P). The public meaning of C entails neither that X is possible for C, nor that X is impossible for C. The category meaning leaves the matter unsettled.
This avoids the central exclusion problem because the first two structures install either X-possibility or X-impossibility into the public meaning of the category itself. If Σ_C ⊨ ◊P, then lives that require C to be publicly settled as not-X-readable lose intelligibility at the category level. If Σ_C ⊨ ¬◊P, then lives that require C to be publicly settled as X-readable lose intelligibility at the category level. The neutral structure refuses both category-level settlements by blocking the inference from membership in C to either X-possibility or X-impossibility. A person may still be X, or may understand themself as not X, but the category itself does not decide the matter.
There is a further complication about so-called negative identities. “Living as not sexualizable” is not necessarily a life defined by absence, lack, or mere negation. It can be a positive way of inhabiting embodiment, social presence, and public intelligibility. The appearance of negativity partly depends on which predicate is treated as primitive. If P means “sexualizable predicates C,” then “C cannot be sexualizable” appears as Σ_C ⊨ ¬◊P. But if Q means “not-sexualizable predicates C,” then that same form of life can be represented without a leading negation as Σ_C ⊨ ◊Q, with ◊Q → □◊Q in S5. Conversely, if Q is treated as primitive, “C can be sexualizable” can be represented through negation as Σ_C ⊨ ◊¬Q. The asymmetry is therefore not built into the forms of life themselves. It is partly produced by a linguistic convention that lets some identities appear positive while casting others as identities of negation. “Living as sexualizable” is also defined against “living as not sexualizable,” even if ordinary grammar makes only the latter look negative.
This structure can still be exclusionary in a thinner second-order sense, because it excludes projects that require one category-level predication to be installed as public meaning. Someone who needs “C can be X” to be true of the category as such, or who needs “C cannot be X” to be true of the category as such, will experience the neutral structure as a loss. That loss is less serious than the original exclusion problem because the neutral structure does not impose a sexual predicate, or its negation, on category members. It excludes rival category monopolies rather than excluding first-order lives.
There is also a related problem about the movement from existential observation to category predication. “There are some people who are women and are sexualizable” does not entail “women are sexualizable.” Formally, ∃x(Wx ∧ Sx) does not entail the generic or category-level predication G(W,S). The existence of some women who are sexualizable does not by itself make sexualizability part of the public meaning of “women.” But the absence of logical entailment does not prevent social movement from the existential observation to the category meaning. Repeated, prominent, or institutionally reinforced observations of women who are sexualizable can be read as evidence for the broader category predication, even though the inference is invalid as a matter of logic. A permitted observation about some members of a category can help stabilize a public meaning about the category as such.
This matters for destigmatization because a project can officially deny that it is installing a category-level meaning while nevertheless producing the conditions under which that meaning becomes socially available. It can say “some people who are women are sexualizable,” while repeated representation, recognition, and public habituation make the stronger category predication increasingly difficult to avoid. The formal distinction remains intact, but social interpretation does not reliably respect it.
This also gives some reason to favor eliminating gender categories, or at least sharply weakening their authority to settle what can or cannot be predicated of people as category members.