historyВЕСТНИК РГГУ. Серия «Литературоведение. Языкознание. Культурология»RSUH/RGGU Bulletin: “Literary Teory. Linguistics. Cultural Studies”, Series2073-6355RSUH10.28995/2686-7249-2017-11-69-87history-405Research ArticleЛИНГВИСТИКА В КРУГУ НАУКLINGUISTICS AMONG THE OTHER SCIENCESФормальный язык геометрии как знаковая система. I. Элементарный синтаксисThe formal language of geometry as a semiotic system. I. Elementary syntaxКрейдлинГригорий ЕфимовичKreydlinGrigorijgekr@iitp.ruШабатГеоргий БорисовичShabatGeorgijshabat@mccme.ruРоссийский государственный гуманитарный университетРоссияRussian State University for the HumanitiesRussian Federation2017251120180116987Copyright © Крейдлин Г.Е., Шабат Г.Б., 20182018Крейдлин Г.Е., Шабат Г.Б.Kreydlin G., Shabat G.Данная работа распространяется под лицензией Creative Commons Attribution 4.0.This work is licensed under a Creative Commons Attribution 4.0 License.https://history.rsuh.ru/jour/article/view/405

Статья продолжает серию работ, написанных совместно двумя авторами - лингвистом и математиком. Центральное место в ней занимает обсуждение природы и механизмов понимания научных текстов в их соотношении с бытовыми текстами. В предыдущих работах мы охарактеризовали основные способы контроля понимания научных текстов и описали важнейшие когнитивные операции над отдельными их видами. В этих работах были описаны с разной степенью подробности несколько языков геометрии: естественно-подобный язык, язык чертежей, координатный язык и язык геометрических преобразований. Основное внимание в этих описаниях было уделено лингвистическим особенностям рассматриваемых языков, прежде всего, их лексике, грамматике и прагматике. В настоящей статье речь идёт ещё об одном научном языке - о формальном языке геометрии. А именно, представлен один из его уровней, который мы назвали элементарный синтаксис.

The paper continues the series of scientific works written jointly by two authors - the linguist and the mathematician. The core of the paper is the discussion of the nature and conceptual mechanism that provide the comprehension of scientific texts in their relationship with everyday texts. Our previous papers in this domain were devoted to the main methods of control over the understanding scientific texts and to significant cognitive operations applied to some kinds of these texts.Their we have described several geometric languages with different degrees of detalization: the so called natural-like language, the language of geometric sketches, the coordinate language and the language of geometric transformations. The main accent in these papers has been put on the linguistic peculiarities of the languages regarded, first of all on their lexical, grammatical and pragmatical features. The present paper deals with one more scientific language, namely the formal language of geometry. The first syntactic level of the language is considered - the level of elementary syntax.

знакформальный языкгеометрияпониманиекогнитивный подходэлементарный синтаксисрасширенный синтаксистермпредикатформуласочетаемость знаковупорядоченность знаковsignformal languagegeometrycomprehensioncognitionelementary syntaxadvanced syntaxtermpredicateformulacombination of signsorder of signsReferencesКрейдлин Г.Е., Шабат Г.Б. Теорема как вид текста I. Понятность // Вестник РГГУ. 2007. № 8 (7). Серия «Языкознание. Филологические науки». С. 102-112 (Московский лингвистический журнал. Т. 9 (2)).Крейдлин Г.Е., Шабат Г.Б. Теорема как вид текста I. Понятность // Вестник РГГУ. 2007. № 8 (7). Серия «Языкознание. Филологические науки». С. 102-112 (Московский лингвистический журнал. Т. 9 (2)).Крейдлин Г.Е., Шабат Г.Б. Теорема как вид текста II. Когнитивные операции над формулировками теорем // Вестник РГГУ. 2011. № 11 (73). Серия «Языкознание. Филологические науки». С. 241-270 (Московский лингвистический журнал. Т. 13).Крейдлин Г.Е., Шабат Г.Б. Теорема как вид текста II. Когнитивные операции над формулировками теорем // Вестник РГГУ. 2011. № 11 (73). Серия «Языкознание. Филологические науки». С. 241-270 (Московский лингвистический журнал. Т. 13).Крейдлин Г.Е., Шабат Г.Б. Пространство в естественных языках и языках геометрии // Вестник РГГУ. 2015. № 1. Серия «История. Филология. Культурология. Востоковедение». С. 116-130. (Московский лингвистический журнал. Т. 17 (1)).Крейдлин Г.Е., Шабат Г.Б. Пространство в естественных языках и языках геометрии // Вестник РГГУ. 2015. № 1. Серия «История. Филология. Культурология. Востоковедение». С. 116-130. (Московский лингвистический журнал. Т. 17 (1)).Крейдлин Г.Е., Шабат Г.Б. Естественный язык и язык геометрических чертежей: точки соприкоснове ния // Znaki czy nie znaki? / J. Piatkowska, G. Zeldowicz (red.). Warszawa, 2016. S. 197-221.Крейдлин Г.Е., Шабат Г.Б. Естественный язык и язык геометрических чертежей: точки соприкоснове ния // Znaki czy nie znaki? / J. Piatkowska, G. Zeldowicz (red.). Warszawa, 2016. S. 197-221.Гладкий А.В., Крейдлин Г.Е. Математика в гуманитарной школе // Математика в школе. 1991. № 6. С. 6-9.Гладкий А.В., Крейдлин Г.Е. Математика в гуманитарной школе // Математика в школе. 1991. № 6. С. 6-9.Звонкин А.К. Абстракции с языковой поддержкой // Язык и структура знания. М., 1990. С. 86-95.Звонкин А.К. Абстракции с языковой поддержкой // Язык и структура знания. М., 1990. С. 86-95.Корельская Т.Д., Падучева Е.В. Обратная теорема (алгоритмические и эвристические процессы мышления). М., 1978.Корельская Т.Д., Падучева Е.В. Обратная теорема (алгоритмические и эвристические процессы мышления). М., 1978.Крейдлин Г.Е., Шмелев А.Д. Языковая деятельность и решение задач // Математика в школе. 1989. № 3. C. 39-45.Крейдлин Г.Е., Шмелев А.Д. Языковая деятельность и решение задач // Математика в школе. 1989. № 3. C. 39-45.Крейдлин Г.Е., Шмелев А.Д. Математика помогает лингвистике. М.: Просвещение, 1994.Крейдлин Г.Е., Шмелев А.Д. Математика помогает лингвистике. М.: Просвещение, 1994.Манин Ю.И. Математика как метафора. М., 2008.Манин Ю.И. Математика как метафора. М., 2008.Гильберт Д. Основания геометрии. М.; Л., 1948.Гильберт Д. Основания геометрии. М.; Л., 1948.Tarski A. What is elementary geometry? // The axiomatic method. With special reference to geometry and physics: Proceedings of an International Symposium / L. Henkin, P Suppes., A. Tarski (eds.). Amsterdam, 1959. P. 16-29 (Studies in Logic and the Foundations of Mathematics, 27).Tarski A. What is elementary geometry? // The axiomatic method. With special reference to geometry and physics: Proceedings of an International Symposium / L. Henkin, P Suppes., A. Tarski (eds.). Amsterdam, 1959. P. 16-29 (Studies in Logic and the Foundations of Mathematics, 27).Падучева Е.В. О семантике синтаксиса. Материалы к трансформационной грамматике русского языка. М., 1974.Падучева Е.В. О семантике синтаксиса. Материалы к трансформационной грамматике русского языка. М., 1974.Крупский В.Н., Плиско В.Е. Математическая логика и теория алгоритмов. М., 2013.Крупский В.Н., Плиско В.Е. Математическая логика и теория алгоритмов. М., 2013.Тестелец Я.Г. Введение в общий синтаксис. М., 2001.Тестелец Я.Г. Введение в общий синтаксис. М., 2001.Katz J.J., Fodor J.A. The structure of a semantic theory // Language. 1963. № 39 (2). P. 170-210.Katz J.J., Fodor J.A. The structure of a semantic theory // Language. 1963. № 39 (2). P. 170-210.Лакофф Дж. Когнитивная семантика // Язык и интеллект. М., 1996.Лакофф Дж. Когнитивная семантика // Язык и интеллект. М., 1996.Вежбицкая А. Язык. Культура. Познание. М., 1996.Вежбицкая А. Язык. Культура. Познание. М., 1996.

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