论文标题
推论和模态词汇
Inferences and Modal Vocabulary
论文作者
论文摘要
推论是推论的主要形式之一，通常用于形式逻辑。这种推论具有单调性的特征，这可能是有问题的。有不同类型的推论不是单调的，例如绑架推断。倡导者与绑架批评者之间的辩论可以沿着问题重建，这是如何将绑架的推论令挑选出一个假设作为最好的假设的辩论。但是，如何评估推论的善良呢？材料推断根据物质不相容的原理表达了良好的推论。物质推论基于模态词汇，该词汇丰富了推论关系的逻辑表达性。这也导致了在机器学习中标记应用的某些限制。我提出了一种对表达概念关系的影响的模态解释。
Deduction is the one of the major forms of inferences and commonly used in formal logic. This kind of inference has the feature of monotonicity, which can be problematic. There are different types of inferences that are not monotonic, e.g. abductive inferences. The debate between advocates and critics of abduction as a useful instrument can be reconstructed along the issue, how an abductive inference warrants to pick out one hypothesis as the best one. But how can the goodness of an inference be assessed? Material inferences express good inferences based on the principle of material incompatibility. Material inferences are based on modal vocabulary, which enriches the logical expressivity of the inferential relations. This leads also to certain limits in the application of labeling in machine learning. I propose a modal interpretation of implications to express conceptual relations.
