مؤسسه آموزشی و پژوهشی امام خمینی(ره) معرفت فلسفی 1735-4545 9 1 2011 10 22 آزمون اعتبار براى منطق ربط KR 39 71 2268 FA اسدالله فلاحی استاد - مؤسسه پژوهشی حکمت و فلسفه ایران 0000-0002-1878-8866 Journal Article 2011 04 18 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. <p>در منطق سینوى، «شرطى متّصل لزومى» مهم‏ترین قسم از اقسام شرطى به شمار مى‏آید. نزدیک‏ترین ادات شرطى به شرطى لزومى، در منطق جدید، «استلزام ربطى» است. بخشى از منطق جدید که به «استلزام ربطى» مى‏پردازد، «منطق ربط» نام دارد. میان منطق‏دانان ربط، نزاعى هست که آیا پذیرش یک تناقض، مستلزم هر گزاره دلخواهى است؟ به دیگر سخن، آیا یک گزاره متناقض با هر گزاره دلخواهى مرتبط است؟ پاسخ مثبت به این سؤال، به منطقى به نام KR و پاسخ منفى به آن به منطقى به نام R مى‏انجامد. منطق KR، نسبت به منطق R، سمانتیک ساده‏تر و شهودى‏ترى دارد. با این حال، تعیین اعتبار و عدم اعتبار استدلال‏ها در نظام‏ها و سمانتیک‏هاى گوناگون منطق ربط (حتى در KR) کارى دشوار است که در ادبیات منطق ربط، کمتر به آن پرداخته شده است. در این مقاله، با الهام از یک روش ارزش‏دهى به نام «آزمون اعتبار» که هیوز و کرسول در منطق موجّهات معرفى کرده‏اند، یک «آزمون اعتبار» براى منطق KRطرّاحى کرده و کاربرد آن را در چند مثال نشان داده‏ایم.</p> https://marefatfalsafi.nashriyat.ir/sites/marefatfalsafi.nashriyat.ir/files/article-files/2_3.pdf