当前位置: X-MOL 学术Rev. Symb. Log. › 论文详情
Our official English website, www.x-mol.net, welcomes your feedback! (Note: you will need to create a separate account there.)
SUBSTITUTION IN RELEVANT LOGICS
The Review of Symbolic Logic ( IF 0.6 ) Pub Date : 2019-09-17 , DOI: 10.1017/s1755020319000467
TORE FJETLAND ØGAARD

This essay discusses rules and semantic clauses relating to Substitution—Leibniz’s law in the conjunctive-implicational form $s\dot{ = }t \wedge A\left( s \right) \to A\left( t \right)$—as these are put forward in Priest’s books In Contradiction and An Introduction to Non-Classical Logic: From If to Is. The stated rules and clauses are shown to be too weak in some cases and too strong in others. New ones are presented and shown to be correct. Justification for the various rules is probed and it is argued that Substitution ought to fail.

中文翻译:

相关逻辑的替代

本文讨论了与替代相关的规则和语义条款——莱布尼茨定律的合取-蕴涵形式$s\dot{ = }t \wedge A\left( s \right) \to A\left( t \right)$——正如牧师的书中提出的那样矛盾的非经典逻辑简介:从如果到是. 所陈述的规则和条款在某些情况下被证明太弱,而在其他情况下又太强。新的被提出并证明是正确的。对各种规则的正当性进行了探讨,并认为替代应该失败。
更新日期:2019-09-17
down
wechat
bug