К вопросу о языке логики утверждения событий

Abstract

С целью построения неэкстенсиональных семантик в современных логических исследованиях конструируются и обсуждаются комбинированные исчисления предложений и событий. В данной статье ставится вопрос о семантических категориях языков с оператором утверждения событий. Рассматривается проблема семантического статуса самого оператора утверждения событий: представляет ли он категорию образования предложений из имен событий? Семантический статус событийных термов (имен событий) определяется как процедура образования имени из предложения.

The combined calculi of sentences and events are designed and discussed with the aim of building non-extensional semantics in modern logical studies. The article is devoted to the issue of semantic categories of languages with the operator of assertion of events. The author considers the problem of semantic status of the operator of assertion of events itself: whether it is the category of building sentences out of the names of events? The semantic status of the event-related terms (names of events) is defined as a procedure of building name out of sentence.