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

Григорий Ефимович Крейдлин; Георгий Борисович Шабат

doi:10.28995/2686-7249-2017-11-69-87

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

Григорий Ефимович Крейдлин, Георгий Борисович Шабат

https://doi.org/10.28995/2686-7249-2017-11-69-87

Полный текст:

Аннотация

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

Ключ. слова

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

Дополнительные файлы

Для цитирования: Крейдлин Г.Е., Шабат Г.Б. Формальный язык геометрии как знаковая система. I. Элементарный синтаксис. ВЕСТНИК РГГУ. Серия «Литературоведение. Языкознание. Культурология». 2017;(11):69-87. https://doi.org/10.28995/2686-7249-2017-11-69-87

For citation: Kreydlin G., Shabat G. The formal language of geometry as a semiotic system. I. Elementary syntax. RSUH/RGGU Bulletin: “Literary Teory. Linguistics. Cultural Studies”, Series. 2017;(11):69-87. (In Russ.) https://doi.org/10.28995/2686-7249-2017-11-69-87

Обратные ссылки

Обратные ссылки не определены.

Контент доступен под лицензией Creative Commons Attribution 4.0 License.

ISSN 2073-6355 (Print)

Логин
Пароль