historyВЕСТНИК РГГУ. Серия «Литературоведение. Языкознание. Культурология»RSUH/RGGU Bulletin: “Literary Teory. Linguistics. Cultural Studies”, Series2073-6355RSUH10.28995/2686-7249-2018-12-122-144history-625Research ArticleЛИНГВИСТИКА В КРУГУ НАУКLINGUISTICS AMONG THE OTHER SCIENCESФормальный язык геометрии как знаковая система II. Расширенный синтаксисThe formal language of Geometry as a semiotic system. Part II. Advanced syntaxКрейдлинГ. Е.KreydlinG. E.

Григорий Е. Крейдлин, доктор филологических наук, профессор

125993, Москва, Миусская пл., д. 6

Grigorii E. Kreydlin, Dr. in Philology, professor

bld. 6, Miusskaya sq., Moscow, 125993

gekr@iitp.ruШабатГ. Б.ShabatG. B.

Георгий Б. Шабат, доктор физико-математических наук, профессор

125993, Москва, Миусская пл., д. 6

Georgii B. Shabat, Dr. in Physics and Mathematics, professor

bld. 6, Miusskaya sq., Moscow, 125993

george.shabat@gmail.comРоссийский государственный гуманитарный университетРоссияRussian State University for the HumanitiesRussian Federation201801052019012122144Copyright © Крейдлин Г.Е., Шабат Г.Б., 20192019Крейдлин Г.Е., Шабат Г.Б.Kreydlin G.E., Shabat G.B.Данная работа распространяется под лицензией Creative Commons Attribution 4.0.This work is licensed under a Creative Commons Attribution 4.0 License.https://history.rsuh.ru/jour/article/view/625

В статье излагается вторая часть синтаксического компонента формального языка геометрии (первая часть опубликована в 2017 г.). Среди единиц расширенного синтаксиса выделяются, во-первых, единицы элементарного синтаксиса, а во-вторых, единицы, полученные из элементарных с помощью ряда специальных операций. Эти операции получили название редукций. Их цель – укоротить синтаксически правильные формулы и тем самым облегчить их восприятие. Выделены два типа редукций: осуществляемые на основе универсальных логических законов и вводимые в язык специальные новые знаки. В конце статьи обсуждаются выразительные возможности синтаксиса формального языка геометрии и строится фрагмент расширенного синтаксиса, относящийся к теории треугольников и четырехугольников.

The paper constitutes the second part of the article of 2017, and is devoted to the advanced syntax of the formal language of Geometry. The units of the advanced syntax are divided in two groups: the elementary syntactic units and the units that are built on the elementary ones by special operations called reductions. Those operations are assigned to reduce regular-formed expressions and thus to facilitate their perception. The author specifes two types of reductions being made on the basis of the universal laws of formal logic and being introduced into the language of special new items. At the end of the article the expressive power of the advanced syntax are discussed. The exemplifed fragment of the advanced syntax related to the theory of triangles and quadrilaterals is presented.

геометриярасширенный синтаксислогическая редукциянелогическая редукциязнактермпредикатформулавыразительные возможноститреугольникчетырехугольникgeometryadvanced syntaxlogical reductionnon-logical reductionsigntermpredicateformulaexpressive powertrianglequadrilateralReferencesКрейдлин Г.Е., Шабат Г.Б. Формальный язык геометрии как знаковая система. I. Элементарный синтаксис // Вестник РГГУ. Серия «История. Филология. Культурология. Востоковедение». 2017. № 11 (32). С. 69–87. (Московский лингвистический журнал. Том 19).Kreydlin G., Shabat G. The formal language of geometry as a semiotic system. I. Elementary syntax. RGGU Bulletin. “History. Philology. Cultural Studies. Oriental Studies”. Series. 2017;11:69-87. (In Russ.)Крипке С. Тождество и необходимость // Новое в зарубежной лингвистике. Вып. 13: Логика и лингвистика (проблемы референции). М., 1982.Kripke S. Identity and necessity. V: New in foreign linguistics. Vol. 13: Logic and linguistics (reference issues). Moscow, 1982. (In Russ.)Шабат Г.Б. О множественности миров в науке и искусстве ХХ века // Гуманитарные чтения РГГУ 2014. М., 2015. С. 575–590.Shabat G. On the plurality of worlds in the science and art of 20th century. V: RSUH Conference on the Humanities. 2014. Moscow, 2015. p. 575-90. (In Russ.)Крейдлин Г.Е., Шабат Г.Б. Естественный язык и язык геометрических чертежей: точки соприкосновения // Znaki czy nie znaki?/ Red naukowa J. Piatkowska, G. Zeldowicz. Warszawa, 2016. S. 197–221.Kreydlin G., Shabat G. The natural language and the language of geometric sketches. Points of contact // Znaki czy nie znaki?/ Red naukowa J. Piatkowska, G. Zeldowicz. Warszawa, 2016. s. 197-21. (In Russ.)Бочаров В.А., Маркин В.И. Введение в логику. М., 2011. 296 c.Bocharov VA., Markin VI. Introduction to logic. Moscow, 2011. 296 p. (In Russ.)Крейдлин Г.Е., Шабат Г.Б. Естественный язык и языки науки: конкуренция или взаимодействие? // Конкуренция в языке и коммуникации. Сб. науч. работ / отв. ред. Л.Л. Федорова. М., 2017. С. 40–56.Kreydlin G., Shabat G. The natural language and languages of science: concurrence or interaction? V: Fedorova LL., ed. Competition in language and communication. Sat scientifc works. Moscow, 2017. p. 40-56. (In Russ.)Корельская Т.Д., Падучева Е.В. Обратная теорема (алгоритмические и эвристические процессы мышления). М., 1978. 64 c.Korel’skaya TD., Paducheva EV. Inverse theorem (algorithmic and heuristic processes of thought). Moscow, 1978. 64 p. (In Russ.)Крейдлин Г.Е., Шабат Г.Б. Семантика формального языка геометрии (в печати).Kreydlin G., Shabat G. Semantics of formal language of geometry. In print. (In Russ.)Крейдлин Г.Е., Шабат Г.Б. Естественные языки и языки науки: проблемы порождения и понимания текстов (в печати).Kreydlin G., Shabat G. The natural languages and languages of science: the problems of generation and comprehension of texts. In print. (In Russ.)Крейдлин Г.Е., Шабат Г.Б. Пространство в естественных языках и языках геометрии // Вестник РГГУ. Серия «История. Филология. Культурология. Востоковедение». 2015. № 1. С. 116–130. (Московский лингвистический журнал. Том 17 (1)).Kreydlin G., Shabat G. The space in natural languages and in the languages of geometry. RGGU Bulletin. “History. Philology. Cultural Studies. Oriental Studies”. Se ries. 2015;1:116-30. (In Russ.)Вежбицкая А. Язык. Культура. Познание. М., 1996. 416 c.Vezhbitskaya A. Language. Culture. Cognition. Moscow, 1996. 416 p. (In Russ.)Шабат Г.Б. О симметрии в формулировках теорем // Лингвистика для всех: летние лингвистические школы 2005 и 2006. М., 2008. C. 203–218.Shabat G. On the symmetry in the formulation of theorems. V: Linguistics for everybody. Summer linguistic schools 2005 and 2006. Moscow, 2008. p. 203-18. (In Russ.)Падучева Е.В. О семантике синтаксиса. Материалы к трансформационной грамматике русского языка. М., 1974. 292 c.Paducheva EV. On the semantic of syntax. Materials for the transformational grammar of the Russian language. Moscow, 1974. 292 p. (In Russ.)

The authors declare that there are no conflicts of interest present.