@article {
author = {Fallahi , Asadollah},
title = {آزمون اعتبار براى منطق ربط KR},
journal = {معرفت فلسفی 33، پاییز 1390},
volume = {9},
number = {1},
pages = {39-71},
year  = {2011},
publisher = {Imam Khomeini Educational and Research Institute},
issn = {1735-4545},
eissn = {2980-8294},
doi = {},
abstract = {The most important type of conditionals, in Ibn Sina’s logic, is “concomitant hypothetical propositions”. The nearest conditional element of the modern logic to this type of conditionals is “relevant concomitance”. That part of modern logic that deals with such concomitance is called, “relevance logic”. There is a debate among relevance logicians on whether accepting a contradiction implies any arbitrary proposition. In other words, is a contradictory proposition related to any arbitrary proposition? A positive answer leads to a logic called “KR”, which benefits from a simpler and more intuitive semantic, compared to other relevance logics which reject concluding arbitrary propositions from contradiction.
Determining the validity of arguments in various systems and semantics of relevance logic is a difficult task, which is rarely dealt with in the literature of relevance logic. Inspired by Hughes’ and Cresswell’s valuation method in modal logic, called “relevance testing”, the author in this article suggests a relevance testing for KR logic, and shows its use through some examples.
},
keywords = {Relevance Testing, Relevance Logic, KR Logic, R Logic, Concomitant Hypothetical Propositions, Relevant Concomitance., },
title_fa = {آزمون اعتبار براى منطق ربط KR},
abstract_fa ={در منطق سینوى، «شرطى متّصل لزومى» مهم‏ترین قسم از اقسام شرطى به شمار مى‏آید. نزدیک‏ترین ادات شرطى به شرطى لزومى، در منطق جدید، «استلزام ربطى» است. بخشى از منطق جدید که به «استلزام ربطى» مى‏پردازد، «منطق ربط» نام دارد. میان منطق‏دانان ربط، نزاعى هست که آیا پذیرش یک تناقض، مستلزم هر گزاره دلخواهى است؟ به دیگر سخن، آیا یک گزاره متناقض با هر گزاره دلخواهى مرتبط است؟ پاسخ مثبت به این سؤال، به منطقى به نام KR و پاسخ منفى به آن به منطقى به نام R مى‏انجامد. منطق KR، نسبت به منطق R، سمانتیک ساده‏تر و شهودى‏ترى دارد. با این حال، تعیین اعتبار و عدم اعتبار استدلال‏ها در نظام‏ها و سمانتیک‏هاى گوناگون منطق ربط (حتى در KR) کارى دشوار است که در ادبیات منطق ربط، کمتر به آن پرداخته شده است. در این مقاله، با الهام از یک روش ارزش‏دهى به نام «آزمون اعتبار» که هیوز و کرسول در منطق موجّهات معرفى کرده‏اند، یک «آزمون اعتبار» براى منطق KRطرّاحى کرده و کاربرد آن را در چند مثال نشان داده‏ایم.
},
keywords_fa = {شرطى لزومى ,منطق ربط ,آزمون اعتبار ,},
url = {https://marefatfalsafi.nashriyat.ir/node/2268},
eprint = {https://marefatfalsafi.nashriyat.ir/sites/marefatfalsafi.nashriyat.ir/files/article-files/2_3.pdf}
}