A STEP BACKWARDS IN CROSS-WORLD PREDICATION
В реплике выдвигается два возражения против синтактико-семантической архитектуры логики межмировой предикации Е. В. Борисова. Одно состоит в том, что в языке Борисова невозможно адекватно формализовать контингентные пропозиции с нульместными предикатами (типа ‘Светает’), поскольку число аргументов-миров у предиката привязано к числу аргументов-индивидов. Второе основано на избыточности вводимой Борисовым VP-функции, сопоставляющей индивидам возможные миры, для интерпретации термов даже с учётом межмировой предикации. The note contains two objections to the syntactic and semantic architecture of Borisov’s logic for cross-world predication. First, I point out that Borisov’s language is unable adequately to formalise contingent propositions with zero-place predicate (e.g. ‘It is raining’) due to the inflexible connection between the number of world arguments of a predicate and the number of its individual arguments. Second, I argue that Borisov’s VP-functions, whose job is to map individuals to possible worlds where they are to be considered, are redundant even if our goal is to handle cross-world predication.