TY  - JOUR
ID  - 2268
TI  - آزمون اعتبار براى منطق ربط KR
JO  - مؤسسه آموزشی و پژوهشی امام خمینی(ره)
JA  - 4
LA  - fa
SN  - 1735-4545
AU  - Asadollah, 
AD  - استاد - مؤسسه پژوهشی حکمت و فلسفه ایران
Y1  - 2011
PY  - 2011
VL  - 9
IS  - 1
SP  - 39EP  - شرطى لزومى ,منطق ربط ,آزمون اعتبار ,DO  - 
AB  - در منطق سینوى، «شرطى متّصل لزومى» مهم‏ترین قسم از اقسام شرطى به شمار مى‏آید. نزدیک‏ترین ادات شرطى به شرطى لزومى، در منطق جدید، «استلزام ربطى» است. بخشى از منطق جدید که به «استلزام ربطى» مى‏پردازد، «منطق ربط» نام دارد. میان منطق‏دانان ربط، نزاعى هست که آیا پذیرش یک تناقض، مستلزم هر گزاره دلخواهى است؟ به دیگر سخن، آیا یک گزاره متناقض با هر گزاره دلخواهى مرتبط است؟ پاسخ مثبت به این سؤال، به منطقى به نام  KR و پاسخ منفى به آن به منطقى به نام R مى‏انجامد. منطق KR، نسبت به منطق R، سمانتیک ساده‏تر و شهودى‏ترى دارد. با این حال، تعیین اعتبار و عدم اعتبار استدلال‏ها در نظام‏ها و سمانتیک‏هاى گوناگون منطق ربط (حتى در KR) کارى دشوار است که در ادبیات منطق ربط، کمتر به آن پرداخته شده است. در این مقاله، با الهام از یک روش ارزش‏دهى به نام «آزمون اعتبار» که هیوز و کرسول در منطق موجّهات معرفى کرده‏اند، یک «آزمون اعتبار» براى منطق KRطرّاحى کرده و کاربرد آن را در چند مثال نشان داده‏ایم.
UR  - https://marefatfalsafi.nashriyat.ir/node/2268
L1  - https://marefatfalsafi.nashriyat.ir/sites/marefatfalsafi.nashriyat.ir/files/article-files/2_3.pdf
ER  -