obsidian/🛡️ Debate/🪶 Arguments/Gender/Trans Women.md

Definiendum	Definiens
Male	the cluster of traits that associate with small, but not large, gametes.
Female	the cluster of traits that associate with large, but not small, gametes.
W	someone (x) is a woman
M	someone (x) is a man
L	someone (x) possesses a sufficiently greater sum of weighted traits that more closely associate with large gametes than weighted traits that associate with small gametes
S	someone (x) possesses a sufficiently greater sum of weighted traits that more closely associate with small gametes than weighted traits that associate with large gametes
O	someone (x) is over 18 years of age
a	a trans person of the male sex
g	a trans person of the female sex

P1) Someone is a woman if, and only if, someone possesses a sufficiently greater sum of weighted traits that more closely associate with large gametes than weighted traits that associate with small gametes and someone is over 18 years of age.
(∀x(Wx↔Lx∧Ox))
P2) Someone is a man if, and only if, someone possesses a sufficiently greater sum of weighted traits that more closely associate with small gametes than weighted traits that associate with large gametes and someone is over 18 years of age.
(∀x(Mx↔Sx∧Ox))
P3) A trans person of the male sex possesses a sufficiently greater sum of weighted traits that more closely associate with large gametes than weighted traits that associate with small gametes and a trans person with small gametes is over 18 years of age.
(La∧Oa)
P4) A trans person of the female sex possesses a sufficiently greater sum of weighted traits that more closely associate with small gametes than weighted traits that associate with large gametes and a trans person with large gametes is over 18 years of age.
(Sg∧Og)
C) Therefore, a trans person of the male sex is a woman and a trans person with female sex is a man.
(∴Wa∧Mg)

Proof Tree

---

Maz' Argument

Definiendum	Definiens
W	Someone (x) is a woman
M	Someone (x) is a man
B	Someone (x) is a trans person with female sex
A	Someone (x) is a trans person with male sex
L	Someone (x) possesses a sufficiently greater sum of weighted traits that more closely associate with large gametes than weighted traits that associate with small gametes
S	Someone (x) possesses a sufficiently greater sum of weighted traits that more closely associate with small gametes than weighted traits that associate with large gametes
O	Someone (x) is over 18 years of age

P1) Someone is a woman if, and only if, someone possesses a sufficiently greater sum of weighted traits that more closely associate with large gametes than weighted traits that associate with small gametes **and** is over 18 years of age.
(∀x(Wx↔(Lx∧Ox)))
P2) Someone is a man if, and only if, someone possesses a sufficiently greater sum of weighted traits that more closely associate with small gametes than weighted traits that associate with large gametes and is over 18 years of age.
(∀x(Mx↔(Sx∧Ox)))
P3) Someone is a trans person with male sex if, and only if, someone possesses a sufficiently greater sum of weighted traits that more closely associate with large gametes than weighted traits that associate with small gametes and is over 18 years of age.
∀x(Ax↔(Lx∧Ox))
P4) Someone is a trans person with female sex if, and only if, someone possesses a sufficiently greater sum of weighted traits that more closely associate with small gametes than weighted traits that associate with large gametes and is over 18 years of age.
∀x(Bx↔(Sx∧Ox))
C) Therefore, a trans person with small gametes implies a women and a trans person with large gametes implies a man.
(∴∀x(Ax→Wx)∧∀x(Bx→Mx))

Proof Tree

---

References

Hermaphrodites: https://www.fertstert.org/article/S0015-0282(08)00233-1/fulltext

Producing both small and large gametes: https://pubmed.ncbi.nlm.nih.gov/4532534/ https://www.deepdyve.com/lp/pubmed/ovulation-in-a-cytogenetically-proved-phenotypically-male-fertile-Steztrbecy

---

Hashtags

#debate #arguments #transgender