直觉模态逻辑的Truthmaker语义。

IF 1.3 2区哲学 0 PHILOSOPHY

TOPOI-AN INTERNATIONAL REVIEW OF PHILOSOPHY Pub Date : 2025-01-01 Epub Date: 2024-11-29 DOI:10.1007/s11245-024-10094-z

Jon Erling Litland

{"title":"直觉模态逻辑的Truthmaker语义。","authors":"Jon Erling Litland","doi":"10.1007/s11245-024-10094-z","DOIUrl":null,"url":null,"abstract":"A truthmaker for a proposition P is exact if it contains nothing irrelevant to P. What are the exact truthmakers for necessitated propositions? This paper makes progress on this issue by showing how to extend Fine's truthmaker semantics for intuitionistic logic to an exact truthmaker semantics for intuitionistic modal logic. The project is of interest also to the classical logician: while all distinctively classical theorems may be true, they differ from the intuitionistic ones in how they are made true. This sheds new light on the status of the T and B axioms.","PeriodicalId":47039,"journal":{"name":"TOPOI-AN INTERNATIONAL REVIEW OF PHILOSOPHY","volume":"44 2","pages":"325-343"},"PeriodicalIF":1.3000,"publicationDate":"2025-01-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"https://www.ncbi.nlm.nih.gov/pmc/articles/PMC12064629/pdf/","citationCount":"0","resultStr":"{\"title\":\"Truthmaker Semantics for Intuitionistic Modal Logic.\",\"authors\":\"Jon Erling Litland\",\"doi\":\"10.1007/s11245-024-10094-z\",\"DOIUrl\":null,\"url\":null,\"abstract\":\"A truthmaker for a proposition P is exact if it contains nothing irrelevant to P. What are the exact truthmakers for necessitated propositions? This paper makes progress on this issue by showing how to extend Fine's truthmaker semantics for intuitionistic logic to an exact truthmaker semantics for intuitionistic modal logic. The project is of interest also to the classical logician: while all distinctively classical theorems may be true, they differ from the intuitionistic ones in how they are made true. This sheds new light on the status of the T and B axioms.\",\"PeriodicalId\":47039,\"journal\":{\"name\":\"TOPOI-AN INTERNATIONAL REVIEW OF PHILOSOPHY\",\"volume\":\"44 2\",\"pages\":\"325-343\"},\"PeriodicalIF\":1.3000,\"publicationDate\":\"2025-01-01\",\"publicationTypes\":\"Journal Article\",\"fieldsOfStudy\":null,\"isOpenAccess\":false,\"openAccessPdf\":\"https://www.ncbi.nlm.nih.gov/pmc/articles/PMC12064629/pdf/\",\"citationCount\":\"0\",\"resultStr\":null,\"platform\":\"Semanticscholar\",\"paperid\":null,\"PeriodicalName\":\"TOPOI-AN INTERNATIONAL REVIEW OF PHILOSOPHY\",\"FirstCategoryId\":\"1085\",\"ListUrlMain\":\"https://doi.org/10.1007/s11245-024-10094-z\",\"RegionNum\":2,\"RegionCategory\":\"哲学\",\"ArticlePicture\":[],\"TitleCN\":null,\"AbstractTextCN\":null,\"PMCID\":null,\"EPubDate\":\"2024/11/29 0:00:00\",\"PubModel\":\"Epub\",\"JCR\":\"0\",\"JCRName\":\"PHILOSOPHY\",\"Score\":null,\"Total\":0}","platform":"Semanticscholar","paperid":null,"PeriodicalName":"TOPOI-AN INTERNATIONAL REVIEW OF PHILOSOPHY","FirstCategoryId":"1085","ListUrlMain":"https://doi.org/10.1007/s11245-024-10094-z","RegionNum":2,"RegionCategory":"哲学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":null,"EPubDate":"2024/11/29 0:00:00","PubModel":"Epub","JCR":"0","JCRName":"PHILOSOPHY","Score":null,"Total":0}

引用次数: 0

摘要

命题P的真命题是准确的如果它不包含与P无关的东西，那么必然命题的真命题是什么？本文在这一问题上取得了进展，展示了如何将Fine的直觉逻辑的真造者语义推广到直觉模态逻辑的精确真造者语义。古典逻辑学家也对这个项目感兴趣：虽然所有明显的经典定理都可能是真的，但它们与直觉主义定理的不同之处在于如何使它们成为真的。这为T和B公理的地位提供了新的线索。

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

查看原文本刊更多论文

Truthmaker Semantics for Intuitionistic Modal Logic.

A truthmaker for a proposition P is exact if it contains nothing irrelevant to P. What are the exact truthmakers for necessitated propositions? This paper makes progress on this issue by showing how to extend Fine's truthmaker semantics for intuitionistic logic to an exact truthmaker semantics for intuitionistic modal logic. The project is of interest also to the classical logician: while all distinctively classical theorems may be true, they differ from the intuitionistic ones in how they are made true. This sheds new light on the status of the T and B axioms.

求助全文

通过发布文献求助，成功后即可免费获取论文全文。去求助

来源期刊

TOPOI-AN INTERNATIONAL REVIEW OF PHILOSOPHY PHILOSOPHY-

CiteScore

3.10

自引率

7.10%

发文量

期刊介绍： Topoi''s main assumption is that philosophy is a lively, provocative, delightful activity, which constantly challenges our received views, relentlessly questions our inherited habits, painstakingly elaborates on how things could be different, in other stories, in counterfactual situations, in alternative possible worlds. Whatever its ideology, whether with the intent of uncovering a truer structure of reality or of soothing our anxiety, of exposing myths or of following them through, the outcome of philosophical activity is always the destabilizing, unsettling generation of doubts, of objections, of criticisms. It follows that this activity is intrinsically a ''dialogue'', that philosophy is first and foremost philosophical discussion, that it requires bringing out conflicting points of view, paying careful, sympathetic attention to their structure, and using this dialectic to articulate one''s approach, to make it richer, more thoughtful, more open to variation and play. And it follows that the spirit which one brings to this activity must be one of tolerance, of always suspecting one''s own blindness and consequently looking with unbiased eye in every corner, without fearing to pass a (fallible) judgment on what is there but also without failing to show interest and respect. Topoi''s structure is a direct expression of this view. To maximize discussion, we devote most or all of this issue to a single topic. And, since discussion is only interesting when it is conducted seriously and responsibly, we usually request the collaboration of a guest-editor, an expert who will identify contributors and interact with them in a constructive way. Because we do not feel tied to any definite philosophical theme (or set of them), we choose the topic with absolute freedom, looking for what is blossoming and thriving, occasionally betting on what might - partly through our attention - ''begin'' to blossom and thrive. And because we do not want our structur e to become our own straightjacket, we are open to contributions not fitting the ''topos'', and do not rule out in principle the possibility of topic-less issues.