Categorial Gender Theory:

A Survey of Gender Frameworks

Authors

  • Jan Aldert Bergstra University of Amsterdam

DOI:

https://doi.org/10.36285/tm.117

Abstract

Categorial gender theory is concerned with frameworks for categorizing human individuals in terms of gender and gender-related notions. A survey of gender frameworks is presented. We observe two alternative ways of conveying similar information: one via features and the other via process algebraic descriptions of gender lifecycles. The development of categorial gender theory is compared with the Formal Gender Theory that was previously developed in collaboration with Laurens Buijs.

References

Elise Ann Allen. Vatican condemns ‘gender theory’ in new doctrinal document. Catholic Herald, April 8, 2024

Elizabeth Barnes. Gender without gender identity: the case of cognitive disability. Mind, 131 (523) 838-864 (2022).

Jan Bergstra. Instruction sequence faults with formal change justification. Scientific Annals of Computer Science 30(2), pp. 105–166 (2020).

Jan Bergstra. Arithmetical datatypes, fracterms, and the fraction definition problem. Transmathematica, ISSN 2632-9212 (published 2020-04-30), (2020).

Jan Bergstra. Defects and Faults in Algorithms, Programs and Instruction Sequences. Transmathematica, ISSN 2632-9212, (published 2020-04-30), (2022).

Jan Bergstra and Laurens Buijs. Formal gender theory, a logical perspective on Dembroff versus Byrne. (2023).

Jan Bergstra and Laurens Buijs. Biological sex as used in Dembroff versus Byrne. (2023).

Jan Bergstra and Laurens Buijs. Conditional versions of Alex Byrne’s AHM and AHF: options for reducing the burden of proof. (2023).

Jan Bergstra and Laurens Buijs. Transinclusiveness ordering for the spectrum of gender theory versions. (2023).

Jan A. Bergstra and Marcus Düwell. Extreme accusations II: the genocide accusation. Transmathematica. (2025).

Jan A. Bergstra and Marcus Düwell. Genocide accusations and the logic of genocide. Transmathematica DOI (2025).

Jan Bergstra, Cornelis Middelburg. Instruction sequence processing operators. Acta Informatica 49 (3), pp. 139–172 (2012).

Jan Bergstra, Alban Ponse. Register-machine based processes. Journal of the ACM (JACM), 48 (6) Pages 1207 - 1241 (2021).

Jan A. Bergstra and John V. Tucker. On Defining Expressions for Entropy and Cross-Entropy: The Entropic Transreals and Their Fracterm Calculus. Entropy, 27 (1), 31, (2025).

Alex Byrne. Are women adult human females? Philos Stud, 177, 3783–3803, (2020).

Tomas Bogardus. Why the trans inclusion problem cannot be solved. Philosophia (2022).

Wiet Bouma, Willem J. M. Levelt, Alfo Melisse, Kees Middelburg, and Louis Verhaard: Formalisation of Properties for Feature Interaction Detection: Experience in a Real-Life Situation. In (eds.) Hans-Jürgen Kugler, Alvin P. Mullery, Norbert Niebert: Towards a Pan-European Telecommunication Service Infrastructure - IS&N’94, Second International Conference on Intelligence in Broadband Services and Networks, Aachen, Germany, September 7-9, 1994, Proceedings. Lecture Notes in Computer Science 851, Springer 1994, ISBN 3-540-58420-X 1994: 393-405.

Laurens Buijs. Wokeness threatens academic freedom in social sciences. Folia (Univ. of Amsterdam; 18 January 2023 )

Alex Byrne. Gender muddle: reply to Dembroff. Journal of Controversial Ideas 2021, 1(1), 5; (2021).

Robin Dembroff. Escaping the natural attitude about gender. Philosophical Studies, 178, 883-1003 (2021).

Neil Gascoigne. Changing “Sex”. Metaphilosophy, (2025).

Katharine Jenkins. Amelioration and inclusion: gender identity and the concept of woman. Ethics, 126 (2) January 2016, (2016).

Katharina Jenkins, How to be a pluralist about gender categories. In: Halwani, R., Held, J. M., McKeever, N. and Soble, A. (eds.) The Philosophy of Sex: Contemporary Readings. 8th Edition. Rowman & Littlefield: Lanham, Maryland, 233-259. ISBN 9781538155363 (2022).

Heather Logue. Gender fictitionalism. Ergo 8, article no. 28, (2021).

Queer Team. The fallacy of categorical gender. Queer (website), URL (2024)

Sky News Item 22 April 2025

UK Supreme Court, Lord Hodge, Lady Rose and lady Simmler. JUDGMENT For Women Scotland Ltd (Appellant) v The Scottish Ministers (Respondent) 16 April 2025 (Hilary Term [2025] UKSC 16 On appeal from: [2023] CSIH 37).

Ed Willems. Solving the inclusion problem: gender without representationalism. Synthese 174, article no 204, (2024).

Downloads

Published

2025-09-30

How to Cite

Bergstra, J. A. (2025). Categorial Gender Theory:: A Survey of Gender Frameworks. Transmathematica. https://doi.org/10.36285/tm.117

Issue

Section

Primary Article