Skip to main content
فهرست مقالات

بررسی و تحلیل برهان خلف در دو نظام منطقی قدیم و جدید

نویسنده: ؛

کلیدواژه ها : استلزام منطقی ،برهان ،خلف ،اصل طرد شق ثالث ،دستگاه صوری چند ارزشی

کلید واژه های ماشینی : اصل طرد شق ثالث ،برهان خلف ،طرد شق ثالث ،منطق قدیم ،نقیض ،اصل طرد شق ،استلزام منطقی ،کاربرد برهان خلف ،قدیم ،منطق جدید ،شق ثالث ،شق ،نقیض نتیجه ،استنتاج نتیجه از مقدمات ،برهان غیر‌مستقیم ،طرد شق ،دستگاه‌های صوری ،استلزام فیما ،صوری ،قیاس اقترانی شرطی ،ثالث ،منطقی ،نتیجه از مقدمات درست ،تالی ،کذب ،محال ،فرض نقیض نتیجه ،شق ثالث استوار ،نقیض نتیجه و تناقض ،کاربرد برهان

در منطق جدید استلزام منطقی فیما بین مقدمات و نتیجه در هر برهان، همچنین استلزام فیما بین نقیض نتیجه و تناقص حاصل از آن در برهان‌های غیر مستقیم از نوع استلزام مادی است، اما در منطق قدیم از نوع لزومی است، علاوه بر این در برهان‌های غیر مستقیم، پس از فرض این رابطه لزومی، چنین فرض می‌شود که خود نتیجه به نحو اتفاقی به نقیص خود مشروط می‌شود و رابطه اخیر پایه و اساس برهان خلف نیست، بلکه اولا زاید است و نیازی به فرض آن نیست، ثانیا دلیل آن مخدوش است.همچنین نشان خواهیم داد دامنه کاربرد برهان خلف در منطق قدیم فراخ‌تر از حد مجاز فرض شده است.علاوه بر این اولا کاربرد آن در دستگاه‌های صوری مختلف تابع اثبات سازگاری و تمامیت آن دستگاه است.ثانیا از آنجا که این برهان بر پایه اصل ترد شق ثالث استوار است در دستگاه‌های صوری چند ارزشی، کاربردی نخواهد داشت.

  • دانلود HTML
  • دانلود PDF

برای مشاهده محتوای مقاله لازم است وارد پایگاه شوید. در صورتی که عضو نیستید از قسمت عضویت اقدام فرمایید.