逻辑与表征理论
摘要：关于逻辑推理的理论，语言分析是其主要任务。这样的任务可以理解为依赖于一个关于表征的一般理论，从“表征”能够表现一些内容的观点出发进行。我们概述了一个能够解释表征系统能够访问超越当前存在的世界的能力的表征理论。我们定义了任何合适的表征系统应具备的三个逻辑性质：完备性，忠实性和连贯性。我们证明了逻辑法则是表征的法则。最后，逻辑可以被视为抽象的表征理论。
作者：Arnaud Plagnol (LPPC)
论文ID：2307.10629
分类：Logic in Computer Science
分类简称：cs.LO
提交时间：2023-07-21