属性对象的渐进经典逻辑--在重表示中的扩展
Gradual Classical Logic for Attributed Objects - Extended in Re-Presentation
摘要：
我们对事物的理解是概念性的。通过陈述我们对对象进行推理，事实上我们操纵的不是对象，而是涉及它们的概念。现在，只要我们承认一个对象所从属的无限延伸的概念，如空间、时间、大小、颜色等，简言之，任何合理的性质，就不可能在涉及对象的概念中肯定原子性。然而，形式/符号逻辑通常假定其他表达式建立在其上的原子实体。我们能把我们对概念的直觉反映到形式/符号逻辑上吗？我保证我们可以，但是关于原子性的通常观点需要检查。在这项工作中，我提出了渐进的逻辑，具体化的观察，我们不能区分是否被视为原子实体是原子或只是原子足以不被认为是非原子。其动机是捕捉自然发生在具有属性的概念周围的某些现象，包括预设和反义词。我提出的逻辑细节的逻辑，然后映射到形式语义。两个语言学上有趣的语义将被考虑。可决定性已经显现。
英文摘要：
Our understanding about things is conceptual. By stating that we reason about objects, it is in fact not the objects but concepts referring to them that we manipulate. Now, so long just as we acknowledge infinitely extending notions such as space, time, size, colour, etc, - in short, any reasonable quality - into which an object is subjected, it becomes infeasible to affirm atomicity in the concept referring to the object. However, formal/symbolic logics typically presume atomic entities upon which other expressions are built. Can we reflect our intuition about the concept onto formal/symbolic logics at all? I assure that we can, but the usual perspective about the atomicity needs inspected. In this work, I present gradual logic which materialises the observation that we cannot tell apart whether a so-regarded atomic entity is atomic or is just atomic enough not to be considered non-atomic. The motivation is to capture certain phenomena that naturally occur around concepts with attributes, including presupposition and contraries. I present logical particulars of the logic, which is then mapped onto formal semantics. Two linguistically interesting semantics will be considered. Decidability is shown.
机构、总结、中文摘要均由AI分析而来，可能存在错误，请以论文正文为准。
