Graham Leach-Krouse, Shay Allen Logan, Blane Worley
{"title":"深入浅出的逻辑","authors":"Graham Leach-Krouse, Shay Allen Logan, Blane Worley","doi":"10.1093/analys/anad060","DOIUrl":null,"url":null,"abstract":"Weak enough relevant logics are often closed under depth substitutions. To determine the breadth of logics with this feature, we show there is a largest sublogic of R closed under depth substitutions and that this logic can be recursively axiomatized.","PeriodicalId":47773,"journal":{"name":"ANALYSIS","volume":"35 3","pages":""},"PeriodicalIF":1.1000,"publicationDate":"2024-01-08","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":"0","resultStr":"{\"title\":\"Logic in the deep end\",\"authors\":\"Graham Leach-Krouse, Shay Allen Logan, Blane Worley\",\"doi\":\"10.1093/analys/anad060\",\"DOIUrl\":null,\"url\":null,\"abstract\":\"Weak enough relevant logics are often closed under depth substitutions. To determine the breadth of logics with this feature, we show there is a largest sublogic of R closed under depth substitutions and that this logic can be recursively axiomatized.\",\"PeriodicalId\":47773,\"journal\":{\"name\":\"ANALYSIS\",\"volume\":\"35 3\",\"pages\":\"\"},\"PeriodicalIF\":1.1000,\"publicationDate\":\"2024-01-08\",\"publicationTypes\":\"Journal Article\",\"fieldsOfStudy\":null,\"isOpenAccess\":false,\"openAccessPdf\":\"\",\"citationCount\":\"0\",\"resultStr\":null,\"platform\":\"Semanticscholar\",\"paperid\":null,\"PeriodicalName\":\"ANALYSIS\",\"FirstCategoryId\":\"1085\",\"ListUrlMain\":\"https://doi.org/10.1093/analys/anad060\",\"RegionNum\":1,\"RegionCategory\":\"哲学\",\"ArticlePicture\":[],\"TitleCN\":null,\"AbstractTextCN\":null,\"PMCID\":null,\"EPubDate\":\"\",\"PubModel\":\"\",\"JCR\":\"0\",\"JCRName\":\"PHILOSOPHY\",\"Score\":null,\"Total\":0}","platform":"Semanticscholar","paperid":null,"PeriodicalName":"ANALYSIS","FirstCategoryId":"1085","ListUrlMain":"https://doi.org/10.1093/analys/anad060","RegionNum":1,"RegionCategory":"哲学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":null,"EPubDate":"","PubModel":"","JCR":"0","JCRName":"PHILOSOPHY","Score":null,"Total":0}
引用次数: 0
摘要
足够弱的相关逻辑通常在深度替换下是封闭的。为了确定具有这一特征的逻辑的广度，我们证明存在一个在深度置换下封闭的 R 的最大子逻辑，并且这一逻辑可以被递归公理化。
Weak enough relevant logics are often closed under depth substitutions. To determine the breadth of logics with this feature, we show there is a largest sublogic of R closed under depth substitutions and that this logic can be recursively axiomatized.
期刊介绍：
Analysis is the most established and esteemed forum in which to publish short discussions of topics in philosophy. Articles published in Analysis lend themselves to the presentation of cogent but brief arguments for substantive conclusions, and often give rise to discussions which continue over several interchanges. A wide range of topics are covered including: philosophical logic and philosophy of language, metaphysics, epistemology, philosophy of mind, and moral philosophy.
京公网安备 11010802042870号
京ICP备2023020795号-1
分享
求助内容：
应助结果提醒方式：
扫码关注我们
