The formal language of geometry as a semiotic system. I. Elementary syntax

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.

знак, формальный язык, геометрия, понимание, когнитивный подход, элементарный синтаксис, расширенный синтаксис, терм, предикат, формула, сочетаемость знаков, упорядоченность знаков, sign, formal language, geometry, comprehension, cognition, elementary syntax, advanced syntax, term, predicate, formula, combination of signs, order of signs

1. Крейдлин Г.Е., Шабат Г.Б. Теорема как вид текста I. Понятность // Вестник РГГУ. 2007. № 8 (7). Серия «Языкознание. Филологические науки». С. 102-112 (Московский лингвистический журнал. Т. 9 (2)).

2. Крейдлин Г.Е., Шабат Г.Б. Теорема как вид текста II. Когнитивные операции над формулировками теорем // Вестник РГГУ. 2011. № 11 (73). Серия «Языкознание. Филологические науки». С. 241-270 (Московский лингвистический журнал. Т. 13).

3. Крейдлин Г.Е., Шабат Г.Б. Пространство в естественных языках и языках геометрии // Вестник РГГУ. 2015. № 1. Серия «История. Филология. Культурология. Востоковедение». С. 116-130. (Московский лингвистический журнал. Т. 17 (1)).

4. Крейдлин Г.Е., Шабат Г.Б. Естественный язык и язык геометрических чертежей: точки соприкоснове ния // Znaki czy nie znaki? / J. Piatkowska, G. Zeldowicz (red.). Warszawa, 2016. S. 197-221.

5. Гладкий А.В., Крейдлин Г.Е. Математика в гуманитарной школе // Математика в школе. 1991. № 6. С. 6-9.

6. Звонкин А.К. Абстракции с языковой поддержкой // Язык и структура знания. М., 1990. С. 86-95.

7. Корельская Т.Д., Падучева Е.В. Обратная теорема (алгоритмические и эвристические процессы мышления). М., 1978.

8. Крейдлин Г.Е., Шмелев А.Д. Языковая деятельность и решение задач // Математика в школе. 1989. № 3. C. 39-45.

9. Крейдлин Г.Е., Шмелев А.Д. Математика помогает лингвистике. М.: Просвещение, 1994.

10. Манин Ю.И. Математика как метафора. М., 2008.

11. Гильберт Д. Основания геометрии. М.; Л., 1948.

12. 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).

13. Падучева Е.В. О семантике синтаксиса. Материалы к трансформационной грамматике русского языка. М., 1974.

14. Крупский В.Н., Плиско В.Е. Математическая логика и теория алгоритмов. М., 2013.

15. Тестелец Я.Г. Введение в общий синтаксис. М., 2001.

16. Katz J.J., Fodor J.A. The structure of a semantic theory // Language. 1963. № 39 (2). P. 170-210.

17. Лакофф Дж. Когнитивная семантика // Язык и интеллект. М., 1996.

18. Вежбицкая А. Язык. Культура. Познание. М., 1996.