RESTRICTIVENESS RELATIVE TO NOTIONS OF INTERPRETATION
RESTRICTIVENESS RELATIVE TO NOTIONS OF INTERPRETATION
复制标题
与解释概念相关的限制性
DOI：
10.1017/s1755020316000058
复制
发表时间：
2016
期刊：
影响因子：
--
通讯作者：
B. Löwe
中科院分区：
文献类型：
--
作者：
Luca Incurvati;B. Löwe
摘要Maddy通过定义一个基于一类解释的形式概念，并解释如何处理假阳性和假阴性，对限制性给出了半形式化的解释。最近，Hamkins指出了Maddy定义的一些结构性问题。我们从一个抽象的解释关系的角度来看待麦蒂的正式定义。我们考虑了各种候选人的解释关系，包括一个接近麦蒂的原始概念，但修复了哈姆金斯提出的问题。我们的工作揭示了我们也讨论的其他结构性问题。
Abstract Maddy gave a semi-formal account of restrictiveness by defining a formal notion based on a class of interpretations and explaining how to handle false positives and false negatives. Recently, Hamkins pointed out some structural issues with Maddy’s definition. We look at Maddy’s formal definitions from the point of view of an abstract interpretation relation. We consider various candidates for this interpretation relation, including one that is close to Maddy’s original notion, but fixes the issues raised by Hamkins. Our work brings to light additional structural issues that we also discuss.