解罗斯悖论之谜——规范逻辑的一个新公理系统RA简述

摘要

悖论具有挖掘背景知识中错误预设的方法论功效,罗斯悖论则暴露了早期规范逻辑系统中某些关于析取的公理与规则的非有效性。本文以较短的篇幅展示了为规范逻辑奠基的纯形式系统RA的基本轮廓,并刻画了它的主要特征。RA一举消解了悬而未决的罗斯悖论。