Познаваемость в гибридной эпистемической логике
Формализация понятия познаваемости в эпистемической логике остается открытой проблемой. Проиетти предложил формализацию этого понятия в гибридной бимодальной логике первого порядка. Цель данной статьи имеет критический характер: я показываю, что понятие познаваемости, предложенное Проиетти, применим...
| Published in: | Вестник Томского государственного университета. Философия. Социология. Политология № 76. С. 11-17 |
|---|---|
| Main Author: | |
| Format: | Article |
| Language: | Russian |
| Subjects: | |
| Online Access: | http://vital.lib.tsu.ru/vital/access/manager/Repository/koha:001131822 |
| Summary: | Формализация понятия познаваемости в эпистемической логике остается открытой проблемой. Проиетти предложил формализацию этого понятия в гибридной бимодальной логике первого порядка. Цель данной статьи имеет критический характер: я показываю, что понятие познаваемости, предложенное Проиетти, применимо только к немодальным пропозициям, поскольку в применении к модальным пропозициям оно дает контринтуитивные результаты. |
|---|---|
| Bibliography: | Библиогр.: 8 назв. |
| ISSN: | 1998-863x |