К вопросу об особенностях CPL
Стандартной семантикой для первопорядковых модальных логик является семантика возможных миров. Последняя обычно формулируется таким образом, что не позволяет адекватно анализировать выражения, содержащие сравнения объектов, ассоциированных с разными возможными мирами. В статье обсуждаются один из...
| Published in: | Вестник Томского государственного университета. Философия. Социология. Политология № 74. С. 17-24 |
|---|---|
| Main Author: | |
| Format: | Article |
| Language: | Russian |
| Subjects: | |
| Online Access: | http://vital.lib.tsu.ru/vital/access/manager/Repository/koha:001006871 Перейти в каталог НБ ТГУ |
| Summary: | Стандартной семантикой для первопорядковых модальных логик является семантика возможных миров. Последняя обычно формулируется таким образом, что не позволяет адекватно анализировать выражения, содержащие сравнения объектов, ассоциированных с разными возможными мирами. В статье обсуждаются один из вариантов расширения стандартной семантики возможных миров и соответствующая ему логика кроссмировой предикации (CPL), предложенные Е.В. Борисовым. Рассматриваются особенности CPL в случае одномировой и кроссмировой предикации, а также выявляются факторы, оказывающие влияние на истинность формул. Учет этих факторов в дальнейшем позволит построить подходящие исчисления: натуральное, секвенциальное и аксиоматическое. |
|---|---|
| ISSN: | 1998-863x |