دانشگاه قم پژوهش‌های فلسفی -کلامی 1735-9791 9 3 2008 05 21 Validity in Possible Worlds اعتبار در جهان‌های ممکن 69 88 259 10.22091/pfk.2008.259 FA اسداله فلاحی استادیار دانشگاه زنجان لطف‌اله نبوی دانشیار دانشگاه تربیت مدرس Journal Article 2015 08 16  Modal Logic’s theorems and rules are valid in possible worlds but Relevant Logic’s theorems and rules are valid, respectively, in logical worlds and situations. Robert Meyer in 1974 removed this asymmetry between the theorems and the rules of Relevant Logic by establishing a logical system, whose theorems and rules are valid in all situations. Introducing a new kind of truth and falsity operators, the authors in this article sketch a logical system defined on the basis of Relevant Logic. Such a system can not only preserve symmetry, but also remove some inconsistency between Modern Classical Logic and Relevant Logic, because the latter, like the former, puts possible worlds as a criterion for validity. <br />  قضایا و قواعد منطق موجهات، در جهان‌های ممکن، معتبرند اما قضایای منطق ربط، در جهان‌های منطقی، و قواعد آن، در وضعیت‌ها اعتبار دارند. روبرت مایر، در سال 1974، به کمک ادات‌های صدق و کذبِ ویلهم آکرمان، نظامی در منطق ربط طراحی کرد که قضایا و قواعد آن، هر دو، در وضعیت‌ها معتبر بودند و به این وسیله، عدم تقارن موجود در منطق ربط میان قضایا و قواعد را از میان برد. در این مقاله، با معرفی نوع جدیدی از ادات‌های صدق و کذب، نظامی منطقی بر پایه منطق ربط طراحی کرده‌ایم که قضایا و قواعد آن در جهان‌های ممکن معتبرند. چنین نظامی، علاوه بر حفظ تقارن، به رفع ناسازگاری موجود میان منطق جدید و منطق ربط می‌انجامد زیرا مانند منطق جدید، جهان‌های ممکن را معیار اعتبار قرار می‌دهد.<br />کلید واژه‌ها:<br />  http://pfk.qom.ac.ir/article_259_913dee2d7c89323fd42f235d21ac8eaf.pdf