Поляков Олег Маратович – кандидат технических наук (1982), доцент кафедры информационных технологий предпринимательства. Автор более 35 научных публикаций. Сфера научных интересов: лингвистика, искусственных интеллект, математика, теория проектирования баз данных, философия.
ул. Большая Морская, д. 67, лит. А, Санкт-Петербург, 190000.
Polyakov Oleg Maratovich – Can. Sci. (Engineering) (1982), Associate Professor at the Department of Information Technology of Entrepreneurship. The author of 35 scientific publications. Areas of expertise: linguistics, artificial intelligence, mathematics, database design theory, philosophy.
67 lit. A Bol'shaya Morskaya str., St Petersburg 190000.
Введение. Статья продолжает серию публикаций по лингвистике отношений (далее R–лингвистика) и посвящена введение в логику естественного языка применительно к рассматриваемому в рамках серии подходу. Проблема логики естественного языка до настоящего времени сохраняет свою актуальность, поскольку эта логика существенно отличается от традиционной математической логики. Более того, с появлением систем искусственного интеллекта важность этой проблемы только возрастает. В статье анализируются логические проблемы, препятствующие применению методов классической логики к естественным языкам. Это оказывается возможным, поскольку R–лингвистика формирует семантику языка в виде структур модели мира, в которые интерпретируются предложения языка.
Методология и источники. В качестве инструментов исследования используются результаты, полученные в предыдущих частях серии. Для разработки необходимых математических представлений в области логики и семантики использовано сформулированное понятие оператора интерпретации.
Результаты и обсуждение. Проанализированы проблемы, которые возникают при изучении логики естественного языка в рамках R–лингвистики. Эти проблемы обсуждаются в трех аспектах: собственно логическом аспекте; языковом аспекте; аспекте соотнесения с действительностью. Рассмотрен весьма общий подход к семантике языка и сформулированы семантические аксиомы языка. Показаны проблемы языка и его логики, связанные с самым общим взглядом на семантику.
Заключение. Показано, что применение математической логики вне зависимости от ее разновидности к изучению логики естественного языка сталкивается с существенными проблемами. Это является следствием несогласованности существующих подходов с моделью мира. Но именно согласование с моделью мира позволяет выстраивать новый логический подход. Согласование с моделью означает семантический подход к логике. Уже самый общий взгляд на семантику позволяет сформулировать важные результаты о свойствах языков, в которых отсутствует смысл. Самые простые примеры семантической интерпретации традиционной логики демонстрируют ее семантические проблемы (прежде всего связанные с отрицанием).
Introduction. The article continues the series of publications on the linguistics of relations (hereinafter R–linguistics) and is devoted to an introduction to the logic of natural language in relation to the approach considered in the series. The problem of natural language logic still remains relevant, since this logic differs significantly from traditional mathematical logic. Moreover, with the appearance of artificial intelligence systems, the importance of this problem only increases. The article analyzes logical problems that prevent the application of classical logic methods to natural languages. This is possible because R-linguistics forms the semantics of a language in the form of world model structures in which language sentences are interpreted.
Methodology and sources. The results obtained in the previous parts of the series are used as research tools. To develop the necessary mathematical representations in the field of logic and semantics, the formulated concept of the interpretation operator is used.
Results and discussion. The problems that arise when studying the logic of natural language in the framework of R–linguistics are analyzed. These issues are discussed in three aspects: the logical aspect itself; the linguistic aspect; the aspect of correlation with reality. A very General approach to language semantics is considered and semantic axioms of the language are formulated. The problems of the language and its logic related to the most General view of semantics are shown.
Conclusion. It is shown that the application of mathematical logic, regardless of its type, to the study of natural language logic faces significant problems. This is a consequence of the inconsistency of existing approaches with the world model. But it is the coherence with the world model that allows us to build a new logical approach. Matching with the model means a semantic approach to logic. Even the most General view of semantics allows to formulate important results about the properties of languages that lack meaning. The simplest examples of semantic interpretation of traditional logic demonstrate its semantic problems (primarily related to negation).
The authors declare that there are no conflicts of interest present.