Rejecting structural principles, like the reflexivity or transitivity of the entailment relation, provides an attractive solution to the semantic paradoxes, allowing us to give a uniform analysis and solution to the paradoxes of self-reference without having to engage in piecemeal rejection of inferential principles governing the sentential connectives. To date all of the proposed nonreflexive and nontransitive logics have been substructural companions of classical logic. In this paper we correct this by investigating the substructural companions of intuitionistic logic, and their relation to their classical counterparts.

错误:搜索内容不能为空,请输入英文关键词
错误:关键词超出字数限制,请精简
高级检索

Invitation to Constructive Nonreflexive and Nontransitive Logics

  • Rohan French

摘要

Rejecting structural principles, like the reflexivity or transitivity of the entailment relation, provides an attractive solution to the semantic paradoxes, allowing us to give a uniform analysis and solution to the paradoxes of self-reference without having to engage in piecemeal rejection of inferential principles governing the sentential connectives. To date all of the proposed nonreflexive and nontransitive logics have been substructural companions of classical logic. In this paper we correct this by investigating the substructural companions of intuitionistic logic, and their relation to their classical counterparts.