Референция к действиям как основание для референции к объектам

Abstract

Статья посвящена формализации ранее предложенного автором решения для задачи Крипке о веровании. Формализация проводится на основе ранее сформулированной автором теории действий Δ, а точнее на основе расширения Δ(N) этой теории, которое определяется в настоящей статье. Автор показывает, что помимо решения для задачи Крипке Δ(N) может послужить средством для анализа актуальных понятий философской прагмасемантики, например для дистинкции между различными видами истинностных условий акта высказывания.

The paper deals with the formalization of the solution to the Kripke’s puzzle about belief that was earlier proposed by the author. The formalization is based on the author’s own theory of actions D, or, more precisely, in a specific extension D(N) of this theory, which is defined in this paper. The author shows that, apart from the formalization of Kripke’s puzzle, D(N) may serve as a tool for the analysis of important concepts in philosophical pragma-semantics, e.g. the distinction between different kinds of truth conditions of an utterance act.