A type-theoretical approach to categorical interaction and complex system adaptation: an empirical study based on register classification
Abstract Type theories provide a formal foundation for logic, mathematics, and computing. They have also been applied to the study of language in formal syntax and semantics, such as categorial grammar and Montague semantics. In this paper, we adopt insights from the type-theoretical definition of g...
Saved in:
| Main Authors: | , , |
|---|---|
| Format: | Article |
| Language: | English |
| Published: |
Springer Nature
2025-06-01
|
| Series: | Humanities & Social Sciences Communications |
| Online Access: | https://doi.org/10.1057/s41599-025-05089-z |
| Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
| _version_ | 1850102265731350528 |
|---|---|
| author | Renkui Hou Chu-Ren Huang Kathleen Ahrens |
| author_facet | Renkui Hou Chu-Ren Huang Kathleen Ahrens |
| author_sort | Renkui Hou |
| collection | DOAJ |
| description | Abstract Type theories provide a formal foundation for logic, mathematics, and computing. They have also been applied to the study of language in formal syntax and semantics, such as categorial grammar and Montague semantics. In this paper, we adopt insights from the type-theoretical definition of grammatical categories to model different registers in Mandarin Chinese. Through the modeling study of the classification of registers, we provide empirical evidence for a type-theoretical definition of grammatical categories. Type-theoretical categories are defined as function applications of basic types, unlike set-theoretical categories, which are all defined in terms of membership of different sets. Thus, a type-theoretical approach predicts that dynamic relations such as ratios between category/type pairs will more effectively represent different linguistic systems than distributions of categories. We model the frequency ratios of pairs of categories, similar to unit-constituency ratios, to classify registers. The ratios of all possible pairs among the four major grammatical categories in three different registers are calculated and visualized with boxplots. Linear regression is then applied to investigate how these ratios vary in different registers. Lastly, texts from all registers are clustered according to these ratios. Visualization in the 2-dimensional planes shows that the three registers are successfully classified. In addition, two sub-corpora, the News Co-Broadcasting and Science texts, are separated, even though both belong to the written formal register. Further analyses show that only ratios between categorical pairs with functional application relations are valid predictors. We conclude that a type-theoretical approach captures the categorial dynamics represented by typed functions and is well-equipped to model the nature of languages as complex self-adaptive systems. |
| format | Article |
| id | doaj-art-1a8187eb75014c7796cd5e73b5d228e1 |
| institution | DOAJ |
| issn | 2662-9992 |
| language | English |
| publishDate | 2025-06-01 |
| publisher | Springer Nature |
| record_format | Article |
| series | Humanities & Social Sciences Communications |
| spelling | doaj-art-1a8187eb75014c7796cd5e73b5d228e12025-08-20T02:39:48ZengSpringer NatureHumanities & Social Sciences Communications2662-99922025-06-0112111410.1057/s41599-025-05089-zA type-theoretical approach to categorical interaction and complex system adaptation: an empirical study based on register classificationRenkui Hou0Chu-Ren Huang1Kathleen Ahrens2College of Humanities/National Research Center for Language Service and Languages of the GuangDong-Hong Kong-Macao Greater Bay Area, Guangzhou UniversityDepartment of Chinese and Bilingual Studies, The Hong Kong Polytechnic UniversityDepartment of English and Communication, The Hong Kong Polytechnic UniversityAbstract Type theories provide a formal foundation for logic, mathematics, and computing. They have also been applied to the study of language in formal syntax and semantics, such as categorial grammar and Montague semantics. In this paper, we adopt insights from the type-theoretical definition of grammatical categories to model different registers in Mandarin Chinese. Through the modeling study of the classification of registers, we provide empirical evidence for a type-theoretical definition of grammatical categories. Type-theoretical categories are defined as function applications of basic types, unlike set-theoretical categories, which are all defined in terms of membership of different sets. Thus, a type-theoretical approach predicts that dynamic relations such as ratios between category/type pairs will more effectively represent different linguistic systems than distributions of categories. We model the frequency ratios of pairs of categories, similar to unit-constituency ratios, to classify registers. The ratios of all possible pairs among the four major grammatical categories in three different registers are calculated and visualized with boxplots. Linear regression is then applied to investigate how these ratios vary in different registers. Lastly, texts from all registers are clustered according to these ratios. Visualization in the 2-dimensional planes shows that the three registers are successfully classified. In addition, two sub-corpora, the News Co-Broadcasting and Science texts, are separated, even though both belong to the written formal register. Further analyses show that only ratios between categorical pairs with functional application relations are valid predictors. We conclude that a type-theoretical approach captures the categorial dynamics represented by typed functions and is well-equipped to model the nature of languages as complex self-adaptive systems.https://doi.org/10.1057/s41599-025-05089-z |
| spellingShingle | Renkui Hou Chu-Ren Huang Kathleen Ahrens A type-theoretical approach to categorical interaction and complex system adaptation: an empirical study based on register classification Humanities & Social Sciences Communications |
| title | A type-theoretical approach to categorical interaction and complex system adaptation: an empirical study based on register classification |
| title_full | A type-theoretical approach to categorical interaction and complex system adaptation: an empirical study based on register classification |
| title_fullStr | A type-theoretical approach to categorical interaction and complex system adaptation: an empirical study based on register classification |
| title_full_unstemmed | A type-theoretical approach to categorical interaction and complex system adaptation: an empirical study based on register classification |
| title_short | A type-theoretical approach to categorical interaction and complex system adaptation: an empirical study based on register classification |
| title_sort | type theoretical approach to categorical interaction and complex system adaptation an empirical study based on register classification |
| url | https://doi.org/10.1057/s41599-025-05089-z |
| work_keys_str_mv | AT renkuihou atypetheoreticalapproachtocategoricalinteractionandcomplexsystemadaptationanempiricalstudybasedonregisterclassification AT churenhuang atypetheoreticalapproachtocategoricalinteractionandcomplexsystemadaptationanempiricalstudybasedonregisterclassification AT kathleenahrens atypetheoreticalapproachtocategoricalinteractionandcomplexsystemadaptationanempiricalstudybasedonregisterclassification AT renkuihou typetheoreticalapproachtocategoricalinteractionandcomplexsystemadaptationanempiricalstudybasedonregisterclassification AT churenhuang typetheoreticalapproachtocategoricalinteractionandcomplexsystemadaptationanempiricalstudybasedonregisterclassification AT kathleenahrens typetheoreticalapproachtocategoricalinteractionandcomplexsystemadaptationanempiricalstudybasedonregisterclassification |