CC BY
76
Semantics (UDC 8137)
DOI: https://dx.doi.org/10.18454/RULB.12.25 Халина Н.В.1, Валюлина Е.В.2, Аникин Д.В.3
1ORCID: 0000-0003-2478-5669, Профессор, доктор филологических наук; 2ORCID: 0000-0002-5313-1114, Доцент, кандидат филологических наук; 3ORCID: 0000-0001-9010-5815, Кандидат филологических наук,
Алтайский государственный университет ТОПОЛОГИЧЕСКАЯ СЕМАНТИКА: ОСНОВАНИЯ ОПИСАНИЯ ПРОСТРАНСТВЕННОГО РАЗМЕЩЕНИЯ ПРОПОЗИЦИОНАЛЬНЫХ ЗНАКОВ
Аннотация
В статье рассматриваются вопросы топологической семантики естественного языка, необходимость изучения которой обусловлена изменением качественных параметров среды обитания человека и изменением статуса языка. Язык в дигитализированном обществе сопоставляется с технологией. Базовой концепцией рассмотрения топологической семантики естественного языка признается философия Л. Витгенштейна о предложении как пропозициональном знаке, моделирующем и репрезентирующем мир фактов. Логические основания топологической семантики выводятся из эпистемической логики, в которой исходным понятием полагается понятие фрейма, мотивирующее появление топологического понятия 'место действия'. Анализируются концепции топологической семантики, разработанные различными авторами и основывающиеся на понимании языка как технологии. Своими истоками топологическая семантика возводится к пространственной семиотике, основателем которой является Ю.М. Лотман.
Ключевые слова: топология, философия языка, семантика, спациальная семантика, языковая среда, формальные языки, контекстное значение, мереология, пространственная семиотика
Khalina N.V.1, Valulina E.V.2, Anikin D.V.3
1ORCID: 0000-0003-2478-5669, Professor, PhD in Philology, 2ORCID: 0000-0002-5313-1114, Associate professor, PhD in Philology, 3ORCID: 0000-0001-9010-5815, PhD in Philology, Altai State University
TOPOLOGICAL SEMANTICS: FOUNDATIONS OF THE DESCRIPTION OF THE SPATIAL DISTRIBUTION
OF PROPOSITIONAL SIGNS
Abstract
The questions of the topological semantics of natural language are discussed in the article/ The need to study the topological semantics is due to the change of the quality of the human environment and change the status of the language. Language in digital society is matched with technology. The basic concept of the topological semantics of natural language is recognized, according to the L. Wittgenstein' philosophy on the sentence as a propositional sign, modeling and representing the world of facts. Logical basis of the topological semantics is derived from epistemic logic, in which the source concept relies on the notion of frame, motivating the emergence of the topological concept of 'the scene'. Analyzes the concept of topological semantics developed by different authors and based on an understanding of language as a technology. With its origins in topological semantics is being built to a spatial semiotics, founded by Y. M. Lotman.
Keywords: topology, philosophy of language, semantics, spatial semantics, language environment, formal languages, context value, mereology, spatial semiotics
Почта авторов / Author Email: [email protected]
Introduction
The representation by the sentence the material properties of the world is recognized by L. Wittgenshtein as the main linguistic product of society interaction with the environment which is based on the rules of use of language and comparable linguistic technology [8]. Actually, the language itself in recent decades is interpreted as a technology [13], [16], [23]. Technological status of languages due to the fact that symbolic systems must correspond to the new communicative needs of the person and to meet the requirement of accessibility in the use. The degree of language technological effectiveness is its suitability in the process of adjusting the language of personality and informational transformations of the life-context can be tested empirically by connective technologies [9].
The world, according to the concept of L. Wittgenshtein [1] is set of numerous facts, the totality of which is defined as everything that occurs and everything that don't has. The sentence is the sign which modeling and representing the world of facts, or actual world. "The sign through which we Express the thought I call the propositional sign (Satzzeichen). And the sentence is a propositional sign in its projective relation to the world" [1, P. 52]. The essence of a
propositional sign is that its elements, words, incorporate it in a certain way that allows us to recognize the propositional sign as a fact. Importantly, the idea in the sentence for L. Wittgenstein expressed sensually: the sensible signs are used as projections of the possible state of affairs. Projection method is defined as thinking of the sentence meaning, in the same sentence does not contain its sense, but only the possibility of its expression, the form of its meaning, but not its contents.
Method: The topological representation of facts and signs in logical and semantic spaces
The scale of reality is defined by representation of facts in logical space, in which the position of the sign is determined by the mark relative to its surroundings or to near stay signs. In this case the sign is a standalone form or part of the form and relative semantic continuum - the set of concepts with which the sign can be associated. It is "clot" of contents or the marker sequence of meanings.
As for the location of the sign in a logical, semantic spaces and space of forms, then for its interpretation it is advisable to involve topological ideas and related logical ideas. M. McMullen [20] as the most relevant topological perspective, first defines the transformation of the shape associated with a metric space and a specific distance
between the points. Important is the transformation of three-dimensional form in the plane form, that is also relevant to studies of the events shape transformations, events semantics and environment in a text-mode transmission, i.e., location in a particular system of propositional signs, which correlated with a specific conceptual set. Topological spaces form the broadest regime, in which matter the concept of 'continuous function'.
R. Parikh, L. S. Moss, K. Steinsvold [24] believe that a large part of topology can be considered as a modal logic, i.e. epistemic logic which combines the notion of knowledge and effort. The researchers examine the ratio of logic and space, or rather, they pay attention to how different goals will dictate the formulation/selection logic. But in a sense, the goal is to, based on a common mathematical model of space, to select logical methods to work with this space.
In his work R. Parikh, L. S. Moss, K. Steinsvold rely on the understanding of the topology suggested by Stephen Vickers: "topology is used to explain approximate states of information: the points include both approximate points and more refined points, and these relate to the topology by the property that if an open set contains an approximate point, then it must contain any refinement of it." [33, P. 3]. Finite observations become object of consideration therefore the main task of topology reconstruction in terms of logics of observations. The algebraization of a logic of finite observations is called a frame and the operation л (binary) and (infinitary). The concept of the frame determines the emergence of a more topological notion of 'a locale', which is based on the frame morphisms into a special two-element frame. The semantics begins with a frame, a set whose elements are called worlds or points together with a binary relation on it. This relation is sometimes called accessibility, and symbols like < or R have been used for it.
Discussion: The parthood semantics as the topological perspective on the logical relationship 'part' to'whole'
A O. Prosorov [26] proposes to consider as varieties of formal textual syntax systematic interpretation of logical notions in terms of topology and order, drawing attention to the fact that for the word curvxa^iC is derived from curv (together) and xar^i^ (order). In addition, the Prosorov O. A introduces the concept of semantic topology on texts, which is based on a topological interpretation of the core hermeneutic idea - the ratio of 'part' of text to 'whole' text [25], [26], [27]. The topological perspective on the relationship 'part' to'whole' allows you to enter the interpretations of the topological concepts, e.g., concepts of boundaries and interiors of objects. The topological perspective to consider cognitive important part of the whole, the lexical objectification parthood semantics declared by the opposition "single-multiplicity" [10], [12], [22], [21].
The study of the parthood semantics is part of mereology, which allows us to identify the deeper aspects of the ratio of 'part' to 'whole', but also to give new interpretations of concepts such as sum or fusion, and collection [17], [18], [31], [32], [11], [5], [2].
'Part' of the text, interpreted O. Prozorov as subsequence which graph is a subset of the whole sequence graph. The text is understood as a finite sequence of its constituent sentences and so it is formally identified with a graph of the function. Understanding the semantic content of the text related to the meaningful parts and the meanings of these parts determine the meaning of the whole. According to O. Prozorov, to understand a meaningful part U of the text is to understand contextually all its sentences x 6 U. While the context of a particular sentence x истолковывается как some
meaningful part lying in U. For the least meaningful part Ux containing x, we have that x 6U П V implies x 6Ux £U П V ; hence, U П V is meaningful as a union UxEUnV Ux of meaningful parts.
In accordance with the concept of topological semantics O. Prozorov, it is assumed that any text has a value as a whole, it only remains to determine formally its empty part (for example, as a singleton) in order to provide it with some topology in the mathematical sense, where the collection of О i-X")
open sets whose boundaries are set as the set of all
meaningful parts.
Results: Topological schema as the unit of calculation of the topological semantics and spatial values
E. V. Rahilina [6] finds that every object in the language picture of the world corresponds to a specific topological type - a functionally important class of shapes, which include surfaces, containers, etc. In addition, the researcher [7] suggested to call an image schema as topological schema. Image schema was introduced into science by M. Johnson "An image schema is a recurring, dynamic pattern of our perceptual interactions and motor programs that gives coherence and structure to our experience" [15].
V. Evans and M. Green [14, P. 190], synthesizing different points of view on images schemas and integrating generated by the authors of the lists that offer a list of topological models, which is as follows: SPACE: up-down, front-back, left-right, near-far, centre-periphery; CONTAINMENT: contact, straight, verticality, container, in-out, surface, full-empty, content; LOCOMOTION: momentum, source-path-goal; BALANCE: twin-pan balance, локальное, point balance, equilibrium; FORCE: compulsion, blockage, counterforce, diversion, removal of restraint, enablement, attraction, resistance; UNITY-MULTIPLICITY: merging, collection, splitting, iteration, part-whole, mass-count, link(age); IDENTITY: matching, superimposition; EXISTENCE: removal, bounded space, cycle, object, process.
N. Kuznetsov [3] in the context of spatial values of local cases of Komi language recognizes the most important topological schemas container, surface, source-path-goal, etc. The intra local cases in their basic spatial functions are an indication of internal localization, however, depending on the topological type of the landmark and its physical characteristics, they can also be used to specify other locations. Under the spatial functions of the cases is understood the designation of their physical position, action or motion of the trajector relative to a spatial reference point.
Situation use of the intra local cases in the basic values are similar, they denote the same location and involve the same types of topological landmarks. However, they differ in the designation of types of topological orientation: specify the location of the trajector, marking the final point of motion or action, the expression of the starting point.
Conclusion
A. Sharif, M. Egenhofer, D. Mark [30] notice that the spatial relations reflect the ways in which people perceive the spatial configuration and describe them in different languages. Analyzing the works devoted to spatial relations [29, 34], researchers have come to the conclusion that there are three basic types of spatial relations: 1) topological relationships based on the notion of neighborhood and invariant under consistent topological transformations, such as rotation, translation, scaling; 2) cardinal direction relations, which are based on the existence of a vector space and is subject to change under rotation, while they are
invariants under translation and scaling of the reference frame; 3) distance relations express spatial properties that reflect the concept of a metric and, therefore, changes in the calculation, but are invariant under translation and rotation.
D. Mark, M. Egenhofer [19] note that the semantics of spatial relations multidimensional that affects the choice of words users of the language. It is the values of the objects, shape of objects and their scale, relationships in space between objects. The level of culture affects the choice of words, education and the quality of the natural language of the individuals that use spatial terms.
The use of mathematical concepts in the analysis of the properties of the artistic space of the 80-ies of XX century in the context of spatial semiotics proposed Y. M. Lotman [4]. The space is understood as the totality of homogeneous objects (phenomena, conditions, facts, figures, values of variables, etc.) between which there are relationships similar to ordinary spatial relationships. Applied to artistic works mathematical concepts of space is a modeling language, which can be any values as long as they. have the character of structural relations [4, P. 4].
Список литературы / References
1. Витгенштейн Л. Логико-философский трактат / Л. Витгенштейн. - М.: Канон+, 2008. - 288 с.
2. Жилякова Л. Ю. Методы порождения знаний в динамической стратификационной модели [Электронный ресурс] / Л. Ю. Жилякова // Конференция «Интеллектуальный анализ информации». - Киев, 2007 - URL: http://www.iai.kpi.ua/_archive/2007 (дата обращения: 12.09.2017).
3. Кузнецов Н. В. Пространственная семантика местных падежей коми языка (когнитивный анализ) / Н. В. Кузнецов. - Тарту: University of Tartu Press, 2012. - 244 с.
4. Лотман Ю. М. От редакции. К проблеме пространственной семиотики / Ю. М. Лотман // Ученые записки Тартуского государственного университета. Выпуск 720. Семиотика пространства и пространство семиотики. Труды по знаковым системам XIX. - Тарту, 1986 - С. 3-6.
5. Москвицова Н. Г. Логические системы Лесневского / Н. Г. Москвицова // Логические исследования. - 2012. -№ 18. - С. 141-156.
6. Рахилина Е. В. Без конца и без края / Е. В. Рахилина // Исследования по семантике предлогов. Сборник статей. - М.: Русские словари, 2000. - С. 243-262.
7. Рахилина Е. В. Когнитивный анализ предметных имен: семантика и сочетаемость / Е. В. Рахилина. - М.: Русские словари, 2008 - 416 с.
8. Халина Н. В. Языкознание в условиях информационного общества / Н. В. Халина. - Барнаул: Изд-во Алт. госунивертета, 2014. - 192 с.
9. Халина Н. В. Коннективистика: руководство по применению языка / Н. В. Халина, Е. В. Валюлина, Н. Н. Пивкина, Т. В. Хребтова // Филологические науки. - 2017. - № 3. - С. 59-65. doi: 10.20339/PhS.3-17.059
10. Casati R. Parts and places: the structures of spatial representation / Roberto Casati, Achille C. Varzi. - Cambridge, MA: MIT Press, 1999 - 238 p.
11. Champollion L. Mereology [Электронный ресурс] / Lucas Champollion, Manfred Krifka // Cambridge Handbook of Formal Semantics. - Cambridge University Press, 2016. - P. 369-388. - URL: http://ling.auf.net/lingbuzz/002099 (дата обращения: 12.09.2017). doi: 10.1017/CB09781139236157.014
12. Champollion L. Parts of a whole: Distributivity as a bridge between aspect and measurement. PhD thesis / Lucas Champollion // Publicly accessible Penn dissertations.958 [Electronic resource]. - Philadelphia, PA: University of Pennsylvania. - 2010. - URL: http://repository.upenn.edu/edissertations/958/ (accessed: 12.09.2017).
13. Dascal M. Language as a cognitive technology / M. Dascal // International Journal of Cognition and Technology. -2002. - Vol. 1. - №. 1. - P. 35-61. - doi: 10.1075/ijct.1.1.04das
14. Evans V. Cognitive Linguistics: An Introduction / Vyvyan Evans, Melanie Green. - Edinburgh: Edinburgh University Press, 2006. - 864 p.
15. Johnson M. The Body in the Mind: The Bodily Basis of Meaning, Imagination, and Reason / Mark Johnson. -Chicago: The University of Chicago Press, - 1987. - 268 p.
16. Koster J. Ceaseless, unpredictable creativity: Language as technology /J. Koster //Biolinguistics. - 2009. - Vol. 3. -№. 1. - P. 061-092.
17. Lesniewski St. Collected Works / St. Lesniewski. - Vol. 1. - Dordrecht: PWN-Polish Scientific / Kluwer Academic Publishers, 1992. - 382 p.
18. Lesnievski St. Podstawy ogolnej teoryi mnogosci, I / St. Lesnievski. - M., 1916. - 96 s.
19. Mark D. M. Topology of Prototypical Spatial Relations Between Lines and Regions in English and Spanish [Electronic resource] / D. M. Mark, M. J. Egenhofer // Proceedings, Auto Carto 12. (Bethesda, MD: American Society for Photogrammetry and Remote Sensing and American Congress on Surveying and Mapping). - Charlotte, North Carolina, 1995.
- P. 245-254. - URL: http://mapcontext.com/autocarto/proceedings/auto-carto-12/pdf/topology-of-prototypical-spatial-relations-between-lines.pdf (accessed: 12.09.2017).
20. McMullen C. Topology. Course Notes [Electronic resource] / C. McMullen. - Harvard University, 2013. - 90 p. -URL: http://www.math.harvard.edu/~ctm/home/text/class/math131/html/home/course/course.pdf (accessed: 12.09.2017).
21. Moltmann F. Part structures in situations: The semantics of individualand whole / Friederike Moltmann // Linguistics and Philosophy. - 2005. - Vol. 28. - №. 5. - P. 599-641. - doi: 10.1007/s10988-005-2142-2
22. Moltmann F. Parts and wholes in semantics / Friederike Moltmann. - Oxford: Oxford University Press, 1997. - 272 p.
- doi: 10.1023/A:1014347214919
23. Mufwene S. S. Language as technology: Some questions that evolutionary linguistics should address / Salikoko S. Mufwene // In Search of Universal Grammar: From Norse to Zoque. - John Benjamins Publishing, 2013. - Vol. 202. - P. 327358. - doi: 10.1075/la.202.22muf
24. Parikh R. Topology and epistemic logic / Rohit Parikh, Lawrence S. Moss, Chris Steinsvold // Handbook of spatial logics. - Dordrecht: Springer Netherlands, 2007. - P. 299-341. - doi: 10.1007/978-1-4020-5587-4_6
25. Prosorov O. Herméneutique formelle et principe de Frege généralisé [Formal hermeneutics and Frege's principle generalized] [Ressources électroniques] / Oleg Prosorov // Téléchargé le. - 2002. - Vol. 31. - №. 01. - P. 1-54. - URL: http://www.revue-texto.net/1996-2007/Inedits/Prosorov_Principe.pdf (date de la demande: 12.09.2017).
26. Prosorov O. Sheaf-theoretic formal semantics / Oleg Prosorov // TRAMES: A Journal of the Humanities and Social Sciences. - 2006. - Vol. 10. - №. 1. - P. 57-80.
27. Prosorov O. Topologies et faisceaux en sémantique des textes. Pour une herméneutique formelle: diss [Ressources électroniques]. - Paris: École Polytechnique, 2008. - 208 p. - URL: https://bdr.u-paris10.fr/theses/internet/2008PA100145.pdf (date de la demande: 12.09.2017).
28. Prosorov O. Topologies and sheaves in linguistics / Oleg Prosorov // Abstracts of the International Congress of Mathematicians ICM'2010. - Hyderabad, India: Hindustan Book Agency, 2010. - P. 623-624.
29. Pullar D. Toward formal definitions of topological relations among spatial objects / D. Pullar, M. Egenhofer // Third International Symposium on Spatial Data Handling. - Sydney, Australia, 1988. - P. 225-241.
30. Shariff A. R. B. M. Natural-language spatial relations between linear and areal objects: the topology and metric of English-language terms / A. R. B. M. Shariff, M. J. Egenhofer, D. M. Mark // International journal of geographical information science. - 1998. - Vol. 12. - №. 3. - P. 215-245.
31. Smith B. Mereotopology: a theory of parts and boundaries / Barry Smith // Data & Knowledge Engineering. - 1996. -Vol. 20. - №. 3. - P. 287-303. doi: 10.1016/S0169-023X(96)00015-8
32. Varzi A. C. Mereology [Electronic resource] / Achille Varzi // Stanford Encyclopedia of Philosophy. 2016. - URL: https://plato.stanford.edu/entries/mereology/ (accessed: 12.09.2017).
33. Vickers S. Topology Via Logic. Cambridge Tracts in Theoretical Computer Science, vol. 5 / S. Vickers. - Cambridge: Cambridge University Press, 1989. - 200 p.
34. Worboys M. F. A generic model for planar geographical objects / M. F. Worboys // International Journal of Geographical Information Systems. - 1992. - Vol. 6. - №. 5. - P. 353-372. - doi: 10.1080/02693799208901920
Список литературы на английском / References in English
1. Wittgenstein L. Logiko-filosofskij traktat [Tractatus Logico-Philosophicus] / L. Wittgenstein. - M.: Kanon+, 2008. -288 p. [in Russian]
2. Zhiljakova L. Ju. Metody porozhdenija znanij v dinamicheskoj stratifikacionnoj modeli [Methods for generating knowledge in a dynamic stratification model] [Electronic resource] / L. Ju. Zhiljakova // Konferencija "Intellektual'nyj anal iz informacii" [Conference "Intelligent Information Analysis"]. - Kiev, 2007 - URL: http://www.iai.kpi.ua/_archive/2007 (accessed: 12.09.2017). [in Russian]
3. Kuznecov N. V. Prostranstvennaja semantika mestnyh padezhej komi jazyka (kognitivnyj analiz) [Spatial semantics of local cases of Komi language (cognitive analysis)] / N. V. Kuznecov. - Tartu: University of Tartu Press, 2012. - 244 p. [in Russian]
4. Lotman Ju. M. Ot redakcii. K probleme prostranstvennoj semiotiki [From the editor. To the problem of spatial semiotics] / Ju. M. Lotman // Uchenye zapiski Tartuskogo gosudarstvennogo universiteta. Vypusk 720. Semiotika prostranstva i prostranstvo semiotiki. Trudy po znakovym sistemam XIX [Scientific notes of the Tartu State University. Issue 720. Semiotics of space and the space of semiotics. Proceedings on Sign Systems XIX]. - Tartu, 1986 - P. 3-6. [in Russian]
5. Moskvicova N. G. Logicheskie sistemy Lesnevskogo [Lesniewski's logical systems] / N. G. Moskvicova // Logicheskie issledovanija [Logical research]. - 2012. - № 18. - P. 141-156. [in Russian]
6. Rahilina E. V. Bez konca i bez kraja [Without end and without edge] / E. V. Rahilina // Issledovanija po semantike predlogov. Sbornik statej [Studies on the semantics of prepositions. A collection of articles]. - M.: Russkie slovari, 2000. - P. 243-262. [in Russian]
7. Rahilina E. V. Kognitivnyj analiz predmetnyh imen: semantika i sochetaemost' [Cognitive analysis of subject names: semantics and compatibility] / E. V. Rahilina. - M.: Russkie slovari, 2008 - 416 p. [in Russian]
8. Khalina N. V. Jazykoznanie v uslovijah informacionnogo obshhestva [Linguistics in the Information Society] / N. V. Khalina. - Barnaul: Publishing house of Altai State University, 2014. - 192 p. [in Russian]
9. Khalina N. V. Konnektivistika: rukovodstvo po primeneniju jazyka [Connectivity: a guide to the use of a language] / N. V. Khalina, E. V. Valjulina, N. N. Pivkina, T. V. Hrebtova // Filologicheskie nauki [Philological Sciences]. - 2017. - № 3. - P. 59-65. - doi: 10.20339/PhS.3-17.059 [in Russian]
10. Casati R. Parts and places: the structures of spatial representation / Roberto Casati, Achille C. Varzi. - Cambridge, MA: MIT Press, 1999 - 238 p.
11. Champollion L. Mereology [Электронный ресурс] / Lucas Champollion, Manfred Krifka // Cambridge Handbook of Formal Semantics. - Cambridge University Press, 2016. - P. 369-388. - URL: http://ling.auf.net/lingbuzz/002099 (дата обращения: 12.09.2017). doi: 10.1017/CBO9781139236157.014
12. Champollion L. Parts of a whole: Distributivity as a bridge between aspect and measurement. PhD thesis / Lucas Champollion // Publicly accessible Penn dissertations.958 [Electronic resource]. - Philadelphia, PA: University of Pennsylvania. - 2010. - URL: http://repository.upenn.edu/edissertations/958/ (accessed: 12.09.2017).
13. Dascal M. Language as a cognitive technology / M. Dascal // International Journal of Cognition and Technology. -2002. - Vol. 1. - №. 1. - P. 35-61. - doi: 10.1075/ijct.1.1.04das
14. Evans V. Cognitive Linguistics: An Introduction / Vyvyan Evans, Melanie Green. - Edinburgh: Edinburgh University Press, 2006. - 864 p.
15. Johnson M. The Body in the Mind: The Bodily Basis of Meaning, Imagination, and Reason / Mark Johnson. -Chicago: The University of Chicago Press, - 1987. - 268 p.
16. Koster J. Ceaseless, unpredictable creativity: Language as technology /J. Koster //Biolinguistics. - 2009. - Vol. 3. -№. 1. - P. 061-092.
17. Lesniewski St. Collected Works / St. Lesniewski. - Vol. 1. - Dordrecht: PWN-Polish Scientific / Kluwer Academic Publishers, 1992. - 382 p.
18. Lesnievski St. Podstawy ogolnej teoryi mnogosci, I [Fundamentals of General Set Theory, I] / St. Lesnievski. - M., 1916. - 96 p. [in Polish]
19. Mark D. M. Topology of Prototypical Spatial Relations Between Lines and Regions in English and Spanish [Electronic resource] / D. M. Mark, M. J. Egenhofer // Proceedings, Auto Carto 12. (Bethesda, MD: American Society for Photogrammetry and Remote Sensing and American Congress on Surveying and Mapping). - Charlotte, North Carolina, 1995.
- P. 245-254. - URL: http://mapcontext.com/autocarto/proceedings/auto-carto-12/pdf/topology-of-prototypical-spatial-relations-between-lines.pdf (accessed: 12.09.2017).
20. McMullen C. Topology. Course Notes [Electronic resource] / C. McMullen. - Harvard University, 2013. - 90 p. -URL: http://www.math.harvard.edu/~ctm/home/text/class/math131/html/home/course/course.pdf (accessed: 12.09.2017).
21. Moltmann F. Part structures in situations: The semantics of individualand whole / Friederike Moltmann // Linguistics and Philosophy. - 2005. - Vol. 28. - №. 5. - P. 599-641. - doi: 10.1007/s10988-005-2142-2
22. Moltmann F. Parts and wholes in semantics / Friederike Moltmann. - Oxford: Oxford University Press, 1997. - 272 p.
- doi: 10.1023/A:1014347214919
23. Mufwene S. S. Language as technology: Some questions that evolutionary linguistics should address / Salikoko S. Mufwene // In Search of Universal Grammar: From Norse to Zoque. - John Benjamins Publishing, 2013. - Vol. 202. - P. 327358. - doi: 10.1075/la.202.22muf
24. Parikh R. Topology and epistemic logic / Rohit Parikh, Lawrence S. Moss, Chris Steinsvold // Handbook of spatial logics. - Dordrecht: Springer Netherlands, 2007. - P. 299-341. - doi: 10.1007/978-1-4020-5587-4_6
25. Prosorov O. Herméneutique formelle et principe de Frege généralisé [Formal hermeneutics and Frege's principle generalized] [Electronic resource] / Oleg Prosorov // Téléchargé le. - 2002. - Vol. 31. - №. 01. - P. 1-54. - URL: http://www.revue-texto.net/1996-2007/Inedits/Prosorov_Principe.pdf (accessed: 12.09.2017). [in French]
26. Prosorov O. Sheaf-theoretic formal semantics / Oleg Prosorov // TRAMES: A Journal of the Humanities and Social Sciences. - 2006. - Vol. 10. - №. 1. - P. 57-80.
27. Prosorov O. Topologies et faisceaux en sémantique des textes. Pour une herméneutique formelle [Topologies and clusters in semantics of texts. For a formal hermeneutics]: diss [Electronic resource]. - Paris: École Polytechnique, 2008. - 208 p. - URL: https://bdr.u-paris10.fr/theses/internet/2008PA100145.pdf (accessed: 12.09.2017). [in French]
28. Prosorov O. Topologies and sheaves in linguistics / Oleg Prosorov // Abstracts of the International Congress of Mathematicians ICM'2010. - Hyderabad, India: Hindustan Book Agency, 2010. - P. 623-624.
29. Pullar D. Toward formal definitions of topological relations among spatial objects / D. Pullar, M. Egenhofer // Third International Symposium on Spatial Data Handling. - Sydney, Australia, 1988. - P. 225-241.
30. Shariff A. R. B. M. Natural-language spatial relations between linear and areal objects: the topology and metric of English-language terms / A. R. B. M. Shariff, M. J. Egenhofer, D. M. Mark // International journal of geographical information science. - 1998. - Vol. 12. - №. 3. - P. 215-245.
31. Smith B. Mereotopology: a theory of parts and boundaries / Barry Smith // Data & Knowledge Engineering. - 1996. -Vol. 20. - №. 3. - P. 287-303. doi: 10.1016/S0169-023X(96)00015-8
32. Varzi A. C. Mereology [Electronic resource] / Achille Varzi // Stanford Encyclopedia of Philosophy. 2016. - URL: https://plato.stanford.edu/entries/mereology/ (accessed: 12.09.2017).
33. Vickers S. Topology Via Logic. Cambridge Tracts in Theoretical Computer Science, vol. 5 / S. Vickers. - Cambridge: Cambridge University Press, 1989. - 200 p.
34. Worboys M. F. A generic model for planar geographical objects / M. F. Worboys // International Journal of Geographical Information Systems. - 1992. - Vol. 6. - №. 5. - P. 353-372. - doi: 10.1080/02693799208901920
