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

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


Аннотация

В статье излагается вторая часть синтаксического компонента формального языка геометрии (первая часть опубликована в 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.

For citation: Kreydlin G.E., Shabat G.B. The formal language of Geometry as a semiotic system. Part II. Advanced syntax. RSUH/RGGU BULLETIN. Series: History. Philology. Cultural Studies. Oriental Studies. 2018;(12):122-144. (In Russ.)

Просмотров: 8

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

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


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


ISSN 2073-6355 (Print)