用形式逻辑表达复杂性别意愿，让非二元性别者的声音更精准被听见。
Pronoun Logic
- 用线性逻辑、时序逻辑等构建性别指代的正式表达系统。
- 支持如‘she/they’这类复合指代的精确形式化描述。
- 适合关注性别多样性与形式推理交叉的学者或青年群体。
在跨性别和非二元（TGNB）群体中，公开分享个人代词以确保他人言语中的性别正确性正变得越来越普遍。许多人对自身性别指代有细微需求，常使用如‘she/they’等复杂描述。我们观察到这些描述具有独特的语言结构。因此，提出将形式逻辑作为表达个人代词乃至其他性别维度的工具。探讨了三种潜在逻辑基础（线性逻辑、时序逻辑、含定指描述的自由逻辑）及其权衡。首要动机是游戏精神——证明一个人可以既是逻辑学家又是TGNB。形式化过程可随社会对性别理解的演进而持续发展。这暗示其在科普推广中的潜力：向TGNB青少年展示他们属于逻辑世界，并能做出独特贡献。评估代词是否被尊重的工具亦为应用方向。
原文摘要 · Abstract (English)
Particularly in transgender and nonbinary (TGNB) communities, it is an increasingly common practice to publicly share one's personal pronouns so that we may be gendered correctly in others' speech. Many of us have nuanced desires for how we are gendered, leading us to use more complex descriptions of our wishes; for example, the descriptor 'she/they'. We observe that these descriptions of our wishes have the structure of a little language all their own. We thus propose formal logic as a tool for expressing one's personal pronouns and potentially other aspects of gender. We explore three potential logical foundations (linear logic, temporal logic, and free logic with definite descriptions) and their trade-offs. Our foremost motivation for this proposal is play, affirming that one can be both a logician and TGNB at the same time. We present formalization as something that can continue to evolve over time with society's understanding of gender. This implies that outreach is a major potential application: we can show TGNB youth that they belong in logic and have a unique contribution to make. Tools for evaluating whether one's pronouns are respected are an application as well.
Thank you to arXiv for use of its open access interoperability. PaperDance 不是 arXiv 官方产品；中文卡片由大模型生成，请以原文为准。