Альтернативы семантике Крипке для эпистемической логики

Logical Investigations Pub Date : 2024-07-07 DOI:10.21146/2074-1472-2024-30-1-62-85

Виталий Владимирович Долгоруков

{"title":"Альтернативы семантике Крипке для эпистемической логики","authors":"Виталий Владимирович Долгоруков","doi":"10.21146/2074-1472-2024-30-1-62-85","DOIUrl":null,"url":null,"abstract":"В статье обсуждаются затруднения, которые вызывает использование стандартной семантики Крипке для анализа эпистемических сценариев: присутствие в модели возможных миров, неразличимых никакой формулой; комбинаторный взрыв (экспоненциальный рост множества возможных миров при линейном усложнении сценария); гиперспецификация предлагаемой моделью первоначального эпистемического сценария. Рассматриваются альтернативные варианты построения эпистемической логики, которые стремятся преодолеть данные затруднения: семантика структур знания и синтаксическая эпистемическая логика, также предлагается подход к построению диаграмматической эпистемической логики.","PeriodicalId":155189,"journal":{"name":"Logical Investigations","volume":" 7","pages":""},"PeriodicalIF":0.0000,"publicationDate":"2024-07-07","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":"0","resultStr":null,"platform":"Semanticscholar","paperid":null,"PeriodicalName":"Logical Investigations","FirstCategoryId":"1085","ListUrlMain":"https://doi.org/10.21146/2074-1472-2024-30-1-62-85","RegionNum":0,"RegionCategory":null,"ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":null,"EPubDate":"","PubModel":"","JCR":"","JCRName":"","Score":null,"Total":0}

引用次数: 0

Abstract

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

查看原文本刊更多论文

克里普克认识论逻辑语义学的替代方案

本文讨论了使用标准克里普克语义分析认识论情景所造成的困难：模型中存在任何公式都无法区分的可能世界；组合爆炸（随着情景的线性复杂化，可能世界集呈指数增长）；拟议模型对原始认识论情景的超规范化。我们考虑了试图克服这些困难的认识论逻辑构建的其他变体：知识结构语义学和句法认识论逻辑；我们还提出了一种构建图解认识论逻辑的方法。

本文章由计算机程序翻译，如有差异，请以英文原文为准。

求助全文

约1分钟内获得全文求助全文

来源期刊

Logical Investigations

CiteScore

0.40

自引率

0.00%

发文量