داوود حسینی

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

تعریف سنتی مفهوم معرفت عبارت است از «باور صادق موجه». مفهوم «تصدیق یقینی» که در عبارات ابن سینا معادل علم تصدیقی دانسته شده است، مؤلفه های تقریباً مشابهی با مفهوم معرفت گزاره ای دارد. از نظر ابن سینا تصدیق یقینی یا همان علم تصدیقی عبارت است از تصدیق یک قضیه به سبب علم به علت موجبه صدق آن قضیه. علت صدق قضایای یقینی بدیهی درون این قضایا، و علت صدق قضایای یقینی نظری بیرون از این قضایا است. همچنین در این تعریف ابن سینا تقریر ویژه ای از شرط توجیه دارد. توجیه در تحلیل او نوعی از خطاناپذیری است؛ به گونه ای که باورهای موجّه کاذب امکان ورود به مصداق های علم تصدیقی را ندارند.

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

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

در این نوشتار نخست توصیفی از سیستم استاندارد فازی به عنوان نظریه ای دربارة ابهام طرح می شود؛ بدین قرار که ابتدا پشتوانه های شهودی این نظریه را مطابق ادعای حامیان آن مطرح می کنیم سپس بیانی نسبتاً صوری از سیستم استاندارد منطق فازی ارائه می کنیم. درادامه راه حل های مبتنی بر این سیستم برای پارادوکس خرمن معرفی می شوند، پس از آن این سیستم در دو موضع نقد می شود؛ نقد نخست این است که پاسخ های معمول حامیان فازی به مسئلة مقادیر دقیق ارزش یا کافی نیست یا مرتبط نیست. بر اساس نقد دوم، این سیستم راه حل یک نواختی برای پارادوکس خرمن، خصوصاً در بخش روان شناختی، ندارد.

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

در این نوشتار به معرفی مسئلة ابهام و پارادوکس خرمن خواهیم پرداخت. ابتدا بیان شهودی مطلب و سپس صورت بندی منطقی آن خواهد آمد. پس از آن، نظری به مسائل فلسفی مربوط به نظریه پردازی ابهام و مسائل فلسفی مرتبط با ابهام خواهیم افکند. در پایان نیز نظریه های موجود دربارة ابهام را بر اساس ملاک های مختلف دسته بندی کرده، توصیفی اجمالی از هر یک ارائه خواهیم کرد.