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

نظریه مجموعه‌های فازی در سال 1965 توسط پروفسور عسکرزاده دانشمند ایرانی تبار استاد دانشگاه برکلی آمریکا عرضه شد. این نظریه از زمان ارائه آن تاکنون، گسترش و تعمیق زیادی یافته و کاربردهای گوناگونی در زمینه‌های مختلف پیدا کرده است . مجموعه‌های فازی نظریه‌ای است برای اقدام در شرایط عدم اطمینان. این نظریه قادر است بسیاری از مفاهیم و متغیرها و سیستمهایی را که نادقیق هستند، چنانچه در عالم واقع اکثرا چنین است ، صورتبندی ریاضی ببخشد و زمینه را برای استدلال، استنتاج، کنترل و تصمیم‌گیری در شرایط عدم اطمینان فراهم آورد. در این رساله که بر پایه مقاله تدوین شده است ما به نحوه استفاده از استدلال تقریبی معکوس می‌پردازیم بدین منظور که نتیجه (طرف دوم یک قاعده فازی) داده شده، مسئله مطرح شده انتخاب بهترین ورودی (طرف اول یک قاعده فازی) است که نتیجه مورد نظر را باعث شود که در اینجا ما از قاعده رفع تالی تعمیم یافته کمک خواهیم گرفت . در فصل اول به تعاریف اولیه مورد استفاده در رساله از جمله -t نرمها و -t هم‌نرمها و عملگرهای مربوط به مجموعه‌های فازی می‌پردازیم و همچنین در این فصل مروری بر منطق فازی و کلاسیک خواهیم داشت و روابط بین آنها را در منطق دوارزشی و فازی و ارتباط آنها با یکدیگر را مطالعه می‌نماییم. در فصل دوم استدلال تقریبی و استدلال تقریبی معکوس بررسی شده است . در آنجا این سوال مطرح می‌شود که اگر قاعده R:A--->B با تابع استلزام I مدلسازی شود آیا قاعده R*:not(B)-->not(A) هم با همان تابع مدلسازی می‌شود؟ بدین معنی که آیا رابطه I(a,b) I(1-b,1-a) (خاصیت تقارن عکس نقیض) برقرار است ؟ بنابراین چون استلزامهایی که دارای تقارن عکس نقیض هستند در استدلال تقریبی معکوس نقش مهمی را بازی می‌کنند در فصل سوم مفصلا به آنها می‌پردازیم. در این فصل -S استلزامها، -R استلزامها، -QLاستلزامها و ... معرفی می‌شوند و استلزامهایی که خاصیت تقارن عکس نقیض را دارا بوده و یا با داشتن شرایطی این خاصیت را بدست می‌آورند بررسی شده‌اند.

مفاد براهین وجودی، از تقریر آنسلم گرفته تا تقاریر متأخر آن در فلسفه اسلامی، نوعاً عبارت از استیفاء حقیقت وجود بالفعل واجب الوجود از نفس مفهوم آن است. موضوع این مقاله بررسی و نقد این براهین نیست بلکه مسئله اصلی آن است که چگونه می توان از مفهوم وجود، وجود واجب الوجود را اثبات کرد. نهایتاً به دست می­ آید که هر گونه تلاش برای دفاع از این براهین ناموفق بوده و ناچار باید از فرض یک موجود بالفعل، وجود واجب الوجود را اثبات کرد که این ویژگی تنها در برهان وجوب و امکان ابن سینا موجود است و براهین وجودی بدون ابتناء به آن راهی برای خروج از مفهوم وجود و اثبات وجود عینی ندارند، چه رسد به اثبات وجود واجب تعالی.برهان وجوب و امکان ابن سینا با فرض یک موجودٌ ما و استعانت از نفی سفسطه، دور و تسلسل، وجود بالفعل واجب الوجود را اثبات می نماید و در عین حال خاستگاه براهین وجودی است بدون آن که از قبیل آن ها به شمار آید. نهایتاً با تحلیل فلسفی کیفیت درک مفهوم وجود و ابتناء اخذ آن بر ادراک حسی، می توان ادراک آن را نشانه ای بر تحقق موجود محسوس بالفعل دانست و از این نقطه با انضمام برهان وجوب و امکان ابن سینا به آن، وجود بالفعل واجب الوجود را استیفاء کرد.