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

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

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

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

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

public

کتابخانه مجازی الفبا
کتابخانه مجازی الفبا
header
headers
پایگاه جامع و تخصصی کلام و عقاید و اندیشه دینی
جستجو بر اساس ... همه موارد عنوان موضوع پدید آور جستجو در متن
: جستجو در الفبا در گوگل
مرتب سازی بر اساس و به صورت وتعداد نمایش فرارداده در صفحه باشد جستجو
  • تعداد رکورد ها : 4
گزاره‏ هاى کلى و وجودى در منطق ریاضى و کلاسیک - 1
نویسنده:
علیرضا قائمی نیا
نوع منبع :
مقاله , کتابخانه عمومی
منابع دیجیتالی :
وضعیت نشر :
قم: موسسه آموزشی و پژوهشی امام خمينی قدس‌سره,
چکیده :
در منطق كلاسيك، از گزاره‌ها و تقسيمات آن، به عنوان مقدمه‌ای بر مباحث حجت (تصديق معلوم موصل) بحث می شود و نخست، در يك تقسيم‌بندی، قضايا به حملی و شرطی، تقسيم شده و سپس قضايای حملی نيز، به محصورات چهارگانه (موجبه كليه، موجبه جزئيه، سالبه كليه و سالبه جزئيه) تقسيم می شوند. بنابراين، قضايای حملی و شرطی، در عرض يكديگر بوده و از نظر ماهيت، كاملا جدا هستند؛ يعنی در حقيقت، هر چهار نوع، حملی اند؛ اما نظر منطق رياضی، هماهنگ با منطق كلاسيك نيست و در نتيجه، مدافعين هر يك از دو منطق، دلايلی را براي اثبات نظر خود و رد نظر مقابل اقامه كرده‌اند كه ما، نظری اجمالی به اين مباحث خواهيم افكند.
مکعب تقابل: روابط میان قضایای معدوله
نویسنده:
اسدالله فلاحی
نوع منبع :
مقاله , کتابخانه عمومی
منابع دیجیتالی :
وضعیت نشر :
تهران: دانشگاه تهران,
فهرست گزیده متکلمان،فیلسوفان و عالمان شیعی :
چکیده :
برخی از منطق دانان معاصر روشی نو و ساده برای استنتاج های منطقی ابداع کرده و همه استدلال های مباشر را به دو قاعده عکس مستوی و نقض محمول فرو کاسته اند. یکی از ایشان، رضا اکبری، محصورات چهارگانه مشهور را به 32 محصوره گسترش داده است: 4 گزاره محصله الطرفین مشهور، 4 گزاره معدوله الطرفین، 4 گزاره معدوله الموضوع، 4 گزاره معدوله المحمول، و همین 16 گزاره با جا به جا کردن «الف» و «ب» در همه آن ها. اکبری، همچنین، برخی از روابط میان این 32 محصوره را بیان کرده است، مانند مربع تقابل، عکس مستوی، عکس نقیض، انواع نقض (نقض موضوع، نقض محمول، نقض طرفین) و دو رابطه جدید به نام های «عکس نقیض موضوع» و «نامعلوم». در این مقاله نشان می دهیم که این محصورات 32 گانه، چهار به چهار، با هم هم ارز هستند و بنابراین، می توان این 32 محصوره را به 8 محصوره (یا به 8 دسته چهارتایی) فرو کاست و روابط را به شش دسته ساده زیر تقلیل داد: تلازم، لزوم، منع جمع، منع خلو، انفصال حقیقی و هیچ کدام. با این کار، پیچیدگی های نظریه را کاهش می دهیم و روابط میان 8 دسته را به سادگی و زیبایی در مکعبی شبیه «مربع تقابل» که آن را «مکعب تقابل» می نامیم به نمایش می گذاریم و اثبات می کنیم.
صفحات :
از صفحه 123 تا 143
سورهای محمول در گزاره های منحرفه (احکام قضایا و قواعد قیاس)
نویسنده:
اسداله فلاحی
نوع منبع :
مقاله
منابع دیجیتالی :
چکیده :
ارسطو نخستین منطق دانی است که «سور در ناحیه محمول» را معرفی و صدق و کذب گزاره های با سور در ناحیه محمول را بررسی کرده است. ابن سینا این گزاره ها را «گزاره های منحرفه» نامیده و احکام تناقض میان آن ها را بیان کرده است؛ اما از دیگر قواعد حاکم بر گزاره های منحرفه سخن نگفته است. گزاره های منحرفه به دو دسته تقسیم می شوند: آن ها که هم ارز یکی از محصوره های چهارگانه ارسطویی هستند و آن ها که چنین نیستند. این دو دسته با هم هشت محصوره را شکل می دهند که روابط آن ها را می توان در یک «مکعب تقابل» نشان داد. با صورت بندی این هشت محصوره در منطق جدید، به آسانی می توان نشان داد که همه این محصوره ها عکس مستوی دارند. در پایان، نشان می دهیم که قواعد اشکال اربعه برای این محصوره ها همان «قواعد انبساط قیاس» است و به قواعد ویژه برای هر شکل نیازی نیست؛ هرچند برای هر شکل نیز می توان قواعد مربوطه را بیان کرد.
صفحات :
از صفحه 107 تا 138
نقدی بر مقاله «روشی جدید در استنتاج صوری با کمترین قاعده»
نویسنده:
فلاحی اسداله
نوع منبع :
مقاله , نقد دیدگاه و آثار(دفاعیه، ردیه و پاسخ به شبهات) , کتابخانه عمومی
منابع دیجیتالی :
چکیده :
عسکری سلیمانی امیری روشی جدید در استنتاج صوری یافته است که با کمترین تعداد قواعد به کار می رود: نقض محمول و عکس مستوی. او به کمک روش خود قواعد تازه ای را نیز کشف کرده است که در منطق ارسطویی سابقه نداشته است. او همچنین به پاره ای از گزاره های منحرفه که در ناحیه محمول آنها سور وجود دارد، پرداخته است، از جمله: «هیچ الف برخی ب نیست» و «برخی الف برخی ب نیست». افزون بر این، قواعد عکس مستوی و قیاس را برای این دو گزاره منحرفه بیان کرده است. در این نوآوری جسورانه و تحسین برانگیز، کاستی ها و ناراستی هایی هست که این مقاله به جبران کاستی ها و زدودن ناراستی های آن می پردازد.
صفحات :
از صفحه 169 تا 183
  • تعداد رکورد ها : 4