آزمون اعتبار براى منطق ربط KR
چکیده و کلیدواژه فارسی (Persian)
در منطق سینوى، «شرطى متّصل لزومى» مهمترین قسم از اقسام شرطى به شمار مىآید. نزدیکترین ادات شرطى به شرطى لزومى، در منطق جدید، «استلزام ربطى» است. بخشى از منطق جدید که به «استلزام ربطى» مىپردازد، «منطق ربط» نام دارد. میان منطقدانان ربط، نزاعى هست که آیا پذیرش یک تناقض، مستلزم هر گزاره دلخواهى است؟ به دیگر سخن، آیا یک گزاره متناقض با هر گزاره دلخواهى مرتبط است؟ پاسخ مثبت به این سؤال، به منطقى به نام KR و پاسخ منفى به آن به منطقى به نام R مىانجامد. منطق KR، نسبت به منطق R، سمانتیک سادهتر و شهودىترى دارد. با این حال، تعیین اعتبار و عدم اعتبار استدلالها در نظامها و سمانتیکهاى گوناگون منطق ربط (حتى در KR) کارى دشوار است که در ادبیات منطق ربط، کمتر به آن پرداخته شده است. در این مقاله، با الهام از یک روش ارزشدهى به نام «آزمون اعتبار» که هیوز و کرسول در منطق موجّهات معرفى کردهاند، یک «آزمون اعتبار» براى منطق KRطرّاحى کرده و کاربرد آن را در چند مثال نشان دادهایم.
