Формальный язык геометрии как знаковая система. I. Элементарный синтаксис

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

знак, формальный язык, геометрия, понимание, когнитивный подход, элементарный синтаксис, расширенный синтаксис, терм, предикат, формула, сочетаемость знаков, упорядоченность знаков, 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.