Формальный язык геометрии как знаковая система II. Расширенный синтаксис
https://doi.org/10.28995/2686-7249-2018-12-122-144
Аннотация
В статье излагается вторая часть синтаксического компонента формального языка геометрии (первая часть опубликована в 2017 г.). Среди единиц расширенного синтаксиса выделяются, во-первых, единицы элементарного синтаксиса, а во-вторых, единицы, полученные из элементарных с помощью ряда специальных операций. Эти операции получили название редукций. Их цель – укоротить синтаксически правильные формулы и тем самым облегчить их восприятие. Выделены два типа редукций: осуществляемые на основе универсальных логических законов и вводимые в язык специальные новые знаки. В конце статьи обсуждаются выразительные возможности синтаксиса формального языка геометрии и строится фрагмент расширенного синтаксиса, относящийся к теории треугольников и четырехугольников.
Об авторах
Г. Е. КрейдлинРоссия
Григорий Е. Крейдлин, доктор филологических наук, профессор
125993, Москва, Миусская пл., д. 6
Г. Б. Шабат
Россия
Георгий Б. Шабат, доктор физико-математических наук, профессор
125993, Москва, Миусская пл., д. 6
Список литературы
1. Крейдлин Г.Е., Шабат Г.Б. Формальный язык геометрии как знаковая система. I. Элементарный синтаксис // Вестник РГГУ. Серия «История. Филология. Культурология. Востоковедение». 2017. № 11 (32). С. 69–87. (Московский лингвистический журнал. Том 19).
2. Крипке С. Тождество и необходимость // Новое в зарубежной лингвистике. Вып. 13: Логика и лингвистика (проблемы референции). М., 1982.
3. Шабат Г.Б. О множественности миров в науке и искусстве ХХ века // Гуманитарные чтения РГГУ 2014. М., 2015. С. 575–590.
4. Крейдлин Г.Е., Шабат Г.Б. Естественный язык и язык геометрических чертежей: точки соприкосновения // Znaki czy nie znaki?/ Red naukowa J. Piatkowska, G. Zeldowicz. Warszawa, 2016. S. 197–221.
5. Бочаров В.А., Маркин В.И. Введение в логику. М., 2011. 296 c.
6. Крейдлин Г.Е., Шабат Г.Б. Естественный язык и языки науки: конкуренция или взаимодействие? // Конкуренция в языке и коммуникации. Сб. науч. работ / отв. ред. Л.Л. Федорова. М., 2017. С. 40–56.
7. Корельская Т.Д., Падучева Е.В. Обратная теорема (алгоритмические и эвристические процессы мышления). М., 1978. 64 c.
8. Крейдлин Г.Е., Шабат Г.Б. Семантика формального языка геометрии (в печати).
9. Крейдлин Г.Е., Шабат Г.Б. Естественные языки и языки науки: проблемы порождения и понимания текстов (в печати).
10. Крейдлин Г.Е., Шабат Г.Б. Пространство в естественных языках и языках геометрии // Вестник РГГУ. Серия «История. Филология. Культурология. Востоковедение». 2015. № 1. С. 116–130. (Московский лингвистический журнал. Том 17 (1)).
11. Вежбицкая А. Язык. Культура. Познание. М., 1996. 416 c.
12. Шабат Г.Б. О симметрии в формулировках теорем // Лингвистика для всех: летние лингвистические школы 2005 и 2006. М., 2008. C. 203–218.
13. Падучева Е.В. О семантике синтаксиса. Материалы к трансформационной грамматике русского языка. М., 1974. 292 c.
Дополнительные файлы
Для цитирования: Крейдлин Г.Е., Шабат Г.Б. Формальный язык геометрии как знаковая система II. Расширенный синтаксис. ВЕСТНИК РГГУ. Серия «Литературоведение. Языкознание. Культурология». 2018;(12):122-144. https://doi.org/10.28995/2686-7249-2018-12-122-144
For citation: Kreydlin G.E., Shabat G.B. The formal language of Geometry as a semiotic system. Part II. Advanced syntax. RSUH/RGGU Bulletin: “Literary Teory. Linguistics. Cultural Studies”, Series. 2018;(12):122-144. (In Russ.) https://doi.org/10.28995/2686-7249-2018-12-122-144
Обратные ссылки
- Обратные ссылки не определены.