К новым онтологическим предпосылкам логики действия: анализ языка L0

Abstract

The article states that the traditional system of ontological presuppositions employed in the logical analysis of actions is inadequate, and sets forth a principle for constructing a new system, hopefully more adequate and natural. Then a simple logic of action modeled in the spirit of this new principle is defined and investigated. The degree of its conformity to the new ontological principles is discussed in the concluding paragraphs of the article.

В статье констатируется неадекватность традиционной системы онтологических предпосылок логики действия и выдвигается общий принцип конструкции новой, в перспективе более адекватной и естественной, системы. Рассматривается вариант простейшей логики действия, сконструированной в духе выдвинутых принципов. Исследуются основные свойства этой логики, после чего определяются степень и характер ее соответствия установкам, декларируемым в начале статьи.