درخت حوزه‌های تخصصی

ارسطو را می توان از پیشگامان منطق ترجیح قلمداد نمود. در عصر جدید محققان برجسته ای چون سورن هالدن جورج فون رایت رودریک چیزم نیکلاس رشر و ریچارد جفری در احیاء و گسترش این بخش از دانشهای منطقی کوشش قابل ملاحظه ای از خود نشان داده اند از جمله روابط منطقی که نقش پایه و اساسی در منطق ترجیح ایفا می کنند رابطه S , P است P به معنای P بر q ترجیح دارد یا p بهتر است از q و s به معنای p در ارزش برابر است با q است. در این مقاله سعی شده ضمن ارائه سیر تاریخی مختصر از توسعه منطق ترجیح بعضی از اصول موضوعه آن – که توسط هالدن پیشنهاد گردیده است – مورد بررسی نقد و ترمیم قرار گیرد. در تصحیح اصول مزبور – از مفهوم ضرورت و نظام S5 در منطق موجهات بهره جسته ایم تا رابطه های S , P از مقبولیت منطقی بیشتری برخوردار شوند.

منطق ریاضی را در دو لایه می توان مورد بررسی قرار داد : لایه روئین یا نگرش تابع ارزشی و لایه زیرین یا نگرش اصل موضوعی . در این مقاله نگرش تابع ارزشی مورد ارزیابی قرار می گیرد. حساب گزاره ها تابع ارزشی است یعنی ارزش صدق گزاره های مرکب تابع ارزش مولفه های آن گزاره هاست و از آنجا که هر استدلال گزاره ای متناظر با یک گزاره شرطی است از این رو اعتبار و عدم اعتبار استدلالها نیز به وسیله صدق و کذب (جدول ارزش) مولفه های استدلال تعیین می گردد. این امر موجب پیدایش پارادوکس های استلزام مادی گشته است. رایج ترین پارادوکس استلزام مادی. استنتاج هر گزاره ای از تناقض است که ساده ترین تقریر آن را لوئیس اقامه کرده است. ضمن نقد برهان لوئیس و پیامدهای آن به نقل و نقد دفاعیات حامیان استلزام مادی می پردازیم اصل تناقض – برهان خلف – گزاره های شرطی – کل گرایی کواین و شرطی های خلاف واقع نیز تحلیل می شود.

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

معانی مفاهیم (اولی، ضروری، بدیهی، یقینی) به ظاهر، روشن است. اما کاربرد آنها در مواضع و مباحث مختلف منطق متفاوت می باشد؛ به تبع این مواضع و مباحث مختلف، معانی آنها نیز تاحدی تغییر کرده و مختلف خواهد بود. در این مقاله سعی داریم این موانع و اختلاف معانی را روشن کنیم.کلید واژه: ابن سینا، استدلال مباشر، اولی، بدیهی، تصور، تصدیق، شیخ اشراق، عرضی، ضروری، ملاصدرا، یقینی.

نوشته حاضر به معرفى پدیده «از پیش‏انگارى» و طبقه بندى گونه‏هاى آن اختصاص یافته است. این ویژگى زبانى همواره توجه زبان شناسان را به خود معطوف داشته، ولى صرفا در محدوده پژوهشهاى زبان شناسان باقى نمانده و با بسط منطق محمولات مرتبه اول و معرفى منطق محمولات مرتبه دوم از سوى منطقدانان، به یکى از مسائلى مبدل شده که علاوه بر زبان شناسان، منطقدانان را نیز مشغول خود ساخته است. در این مختصر کوشش خواهد شد، پس از معرفى «از پیش‏انگارى» به بحث و بررسى این پدیده از دو منظر زبان شناختى و منطقى پرداخته شود و ماهیت آن مورد بازبینى قرار گیرد.