جستجوي پيشرفته | کتابخانه مجازی الفبا

جستجوي پيشرفته | کتابخانه مجازی الفبا

کتابخانه مجازی الفبا،تولید و بازنشر کتب، مقالات، پایان نامه ها و نشریات علمی و تخصصی با موضوع کلام و عقاید اسلامی کتابخانه مجازی الفبا،تولید و بازنشر کتب، مقالات، پایان نامه ها و نشریات علمی و تخصصی با موضوع کلام و عقاید اسلامی

فارسی  |   العربیه  |   English  
telegram

در تلگرام به ما بپیوندید

public

کتابخانه مجازی الفبا
کتابخانه مجازی الفبا
header
headers
پایگاه جامع و تخصصی کلام و عقاید و اندیشه دینی
جستجو بر اساس ... همه موارد عنوان موضوع پدید آور جستجو در متن
: جستجو در الفبا در گوگل
...جستجوی هوشمند
مرتب سازی بر اساس و به صورت وتعداد نمایش فرارداده در صفحه باشد جستجو
  • 1
  • تعداد رکورد ها : 2
احکام قضایا
نویسنده:
رضا اکبری
نوع منبع :
مقاله , کتابخانه عمومی
منابع دیجیتالی :
نسخه PDF
وضعیت نشر :
تهران: دانشگاه امام صادق (ع),
چکیده :
در روشی که در این مقاله برای احکام قضایا ارائه شده است، پس از آشنایی با احکام برآمده از مربع تباینات، رابطة عکس مستوی از طریق مثال و نمودار ون بررسی شده و سپس، رابطۀ نقض محمول با تکیه بر اصل بدیهی محال بودن اجتماع و ارتفاع دو نقیض و نمودار ون بررسی شده است. رابطۀ نقض محمول، رابطه‌ای بی‌نیاز از استدلال است؛ زیرا مبنای آن، اصل محال بودن اجتماع و ارتفاع نقیضان است. با داشتن یک قضیه و إعمال تناوبی دو رابطۀ عکس مستوی و نقض محمول بر آن، دیگر روابط میان قضایا اثبات می‌شود. محسنات این روش، سادگی در مقام آموزش، استقصای تمام روابط میان قضایا و احتراز از روش دوری است؛ به همین دلیل، این روش بر روش مرحوم مظفر که در کتاب «المنطق» برگزیده ‌است (کتابی که به عنوان متن درسی در بسیاری از حوزه‌های علمیه و دانشگاهها تدریس می‌شود)، ارجحیت دارد؛ زیرا روش مرحوم مظفر، روشی پیچیده، ناقص و نیز دوری است.
صفحات :
از صفحه 75 تا 93
مشخصات اثر
مکعب تقابل: روابط میان قضایای معدوله
نویسنده:
اسدالله فلاحی
نوع منبع :
مقاله , کتابخانه عمومی
منابع دیجیتالی :
نسخه PDF
وضعیت نشر :
تهران: دانشگاه تهران,
فهرست گزیده متکلمان،فیلسوفان و عالمان شیعی :
خواجه نصیرالدین طوسی , علامه حلی , ابن سینا: ابوعلی سینا
چکیده :
برخی از منطق دانان معاصر روشی نو و ساده برای استنتاج های منطقی ابداع کرده و همه استدلال های مباشر را به دو قاعده عکس مستوی و نقض محمول فرو کاسته اند. یکی از ایشان، رضا اکبری، محصورات چهارگانه مشهور را به 32 محصوره گسترش داده است: 4 گزاره محصله الطرفین مشهور، 4 گزاره معدوله الطرفین، 4 گزاره معدوله الموضوع، 4 گزاره معدوله المحمول، و همین 16 گزاره با جا به جا کردن «الف» و «ب» در همه آن ها. اکبری، همچنین، برخی از روابط میان این 32 محصوره را بیان کرده است، مانند مربع تقابل، عکس مستوی، عکس نقیض، انواع نقض (نقض موضوع، نقض محمول، نقض طرفین) و دو رابطه جدید به نام های «عکس نقیض موضوع» و «نامعلوم». در این مقاله نشان می دهیم که این محصورات 32 گانه، چهار به چهار، با هم هم ارز هستند و بنابراین، می توان این 32 محصوره را به 8 محصوره (یا به 8 دسته چهارتایی) فرو کاست و روابط را به شش دسته ساده زیر تقلیل داد: تلازم، لزوم، منع جمع، منع خلو، انفصال حقیقی و هیچ کدام. با این کار، پیچیدگی های نظریه را کاهش می دهیم و روابط میان 8 دسته را به سادگی و زیبایی در مکعبی شبیه «مربع تقابل» که آن را «مکعب تقابل» می نامیم به نمایش می گذاریم و اثبات می کنیم.
صفحات :
از صفحه 123 تا 143
مشخصات اثر
  • 1
  • تعداد رکورد ها : 2