جستجوي پيشرفته | کتابخانه مجازی الفبا
کتابخانه مجازی الفبا،تولید و بازنشر کتب، مقالات، پایان نامه ها و نشریات علمی و تخصصی با موضوع کلام و عقاید اسلامی
کتابخانه مجازی الفبا،تولید و بازنشر کتب، مقالات، پایان نامه ها و نشریات علمی و تخصصی با موضوع کلام و عقاید اسلامی
کانال ارتباطی از طریق پست الکترونیک :
support@alefbalib.com
نام :
*
*
نام خانوادگی :
*
*
پست الکترونیک :
*
*
*
تلفن :
دورنگار :
آدرس :
بخش :
مدیریت کتابخانه
روابط عمومی
پشتیبانی و فنی
نظرات و پیشنهادات /شکایات
پیغام :
*
*
حروف تصویر :
*
*
ارسال
انصراف
از :
{0}
پست الکترونیک :
{1}
تلفن :
{2}
دورنگار :
{3}
Aaddress :
{4}
متن :
{5}
فارسی |
العربیه |
English
ورود
ثبت نام
در تلگرام به ما بپیوندید
پایگاه جامع و تخصصی کلام و عقاید و اندیشه دینی
جستجو بر اساس ...
همه موارد
عنوان
موضوع
پدید آور
جستجو در متن
: جستجو در الفبا
در گوگل
...جستجوی هوشمند
صفحه اصلی کتابخانه
پورتال جامع الفبا
مرور منابع
مرور الفبایی منابع
مرور کل منابع
مرور نوع منبع
آثار پر استناد
متون مرجع
مرور موضوعی
مرور نمودار درختی موضوعات
فهرست گزیده موضوعات
کلام اسلامی
امامت
توحید
نبوت
اسماء الهی
انسان شناسی
علم کلام
جبر و اختیار
خداشناسی
عدل الهی
فرق کلامی
معاد
علم نفس
وحی
براهین خدا شناسی
حیات اخروی
صفات الهی
معجزات
مسائل جدید کلامی
عقل و دین
زبان دین
عقل و ایمان
برهان تجربه دینی
علم و دین
تعلیم آموزه های دینی
معرفت شناسی
کثرت گرایی دینی
شرور(مسأله شر)
سایر موضوعات
اخلاق اسلامی
اخلاق دینی
تاریخ اسلام
تعلیم و تربیت
تفسیر قرآن
حدیث
دفاعیه، ردیه و پاسخ به شبهات
سیره ائمه اطهار علیهم السلام
شیعه-شناسی
عرفان
فلسفه اسلامی
مرور اشخاص
مرور پدیدآورندگان
مرور اعلام
مرور آثار مرتبط با شخصیت ها
فهرست گزیده متکلمان،فیلسوفان و عالمان شیعی
مرور مجلات
مرور الفبایی مجلات
مرور کل مجلات
مرور وضعیت انتشار
مرور درجه علمی
مرور زبان اصلی
مرور محل نشر
مرور دوره انتشار
گالری
عکس
فیلم
صوت
متن
چندرسانه ای
جستجو
جستجوی هوشمند در الفبا
جستجو در سایر پایگاهها
جستجو در کتابخانه دیجیتالی تبیان
جستجو در کتابخانه دیجیتالی قائمیه
جستجو در کنسرسیوم محتوای ملی
کتابخانه مجازی ادبیات
کتابخانه مجازی حکمت عرفانی
کتابخانه تخصصی تاریخ اسلام و ایران
کتابخانه تخصصی ادبیات
کتابخانه الکترونیکی شیعه
علم نت
کتابخانه شخصی
مدیریت علاقه مندیها
ارسال اثر
دانشنامه
راهنما
راهنما
مرور
>
مرور کلید واژه ها
>
4. اصطلاحنامه سایر موضوعات
>
اصطلاحنامه منطق
>
منطق جدید
مرتب سازی بر اساس
عنوان
نویسنده
جنس منبع
محل
ناشر
تاریخ تغییر
و به صورت
صعودی
نزولی
وتعداد نمایش
5
10
15
20
30
40
50
فرارداده در صفحه باشد
جستجو
خروجی
چاپ نتایج
Mods
Dublin Core
Marc
MarcIran
Pdf
اکسل
انتخاب همه
7
8
9
10
11
12
13
14
15
16
تعداد رکورد ها : 186
عنوان :
زمینههای فلسفی نقد پوزیتیویستهای منطقی از متافیزیک
نویسنده:
ابوالفضل ابراهیمی
نوع منبع :
رساله تحصیلی
منابع دیجیتالی :
متن ناقص پایان نامه
وضعیت نشر :
تبریز: دانشگاه تبریز,
زبان :
فارسی
کلیدواژههای اصلی :
منطق گرایی
,
فلسفه تحلیل زبانی ( تحلیل زبان )
,
پوزیتیویسم منطقی
,
اصطلاحنامه فلسفه
,
پوزیتویسم منطقی(معرفت شناسی)
,
نقد متافیزیک
,
تجربهگرایی = آمپریزم (فلسفه)
,
منطق جدید
,
منطق کلاسیک
چکیده :
از جمله رویدادهای مهم فلسفی در فاصلهی بین دو جنگ جهانی تشکیل حلقهای فلسفی در وین بود که در آن بسیاری از حامیان علم درصدد برآمدند تا چالشهایی را که در آستانه قرن بیستم عارض اندیشهی پوزیتیویسم علمی شده بود، برطرف کنند. پوزیتیویسم منطقی حاصل و خروجی اندیشهای بود که در این حلقه پا گرفت و از جمله نمایندگان آن میتوان به کارناپ، آیر، شلیک و وایزمن اشاره کرد. پوزیتیویستهای منطقی دارای چند اصل عقیدتی عمده بودند: تمایز قاطع بین قضایای تحلیلی و ترکیبی که قدری از هیوم و قدری از ویتگنشتاین اخذ شده بود. اصل تحقیقپذیری که آن نیز گمان میرود از رسالهی ویتگنشتاین آمده باشد. و یک برنهاد فروکاهنده دربارهی نقش مشاهده در تعیین معناداری شناختی که خواستگاهاش را میتوان به تجربهگرایان کلاسیک از قبیل لاک و هیوم و تقلیلگرایی راسل رسانید. انکار متافیزیک، ماحصل اصلی به کارگیری اصول اساسی مذکور توسط پوزیتیویستهای منطقی میباشد. بنابراین، زمینههای فکری پوزیتیویستهای منطقی در نقد متافیزیک را هم میتوان در فلسفهی تحلیلی، مخصوصاً" نزد فیلسوفانی مثل ویتگنشتاین (در اصل تحقیقپذیری، اصل معناداری و اصل ضرورت این همانی است) و راسل وفرگه (در اصل منطقگرایی) و هم نزد فیلسوفان سنتی از قبیل هیوم و کانت (در نقد متافیزیک) ریشهیابی کرد. پوزیتیویستهای منطقی از میان همهی مکاتب فلسفی، متافیزیک را طرد و تخطئه میکردند، چرا که معتقد بودند احکام متافیزیکی بیمعنی بوده و هیچ طریقهی ممکنی برای آن که در تجربه به تحقیق برسند ندارند. همانطور که در مورد زمینههای فکری پوزیتیویستها در بالا اشاره کردیم، طرد و رد متافیزیک امری نو ظهورنبود، هیوم متافیزیک را سفسطه و مغلطه خوانده بود و ادعا کرده بود که از تعبیرات بی دلالت و بی مدلول استفاده میکند. کانت هم متافیزیک مشروع را از متافیزیک نامشروع فرق می نهاد. در حالی که منتقدان پیشین متافیزیک در صدد غیر علمی و بیفایده نشان دادن متافیزیک بودند، پوزیتیویستهای منطقی با استناد به رسالهی ویتگنشتاین، متافیزیک را فاقد معنی میشماردند و آن را به طور کلی انکار میکردند.
انتخاب :
مشخصات اثر
ثبت نظر
عنوان :
منطق پیوسته و محاسبات احتمالاتی
نویسنده:
داوود عبدی
نوع منبع :
رساله تحصیلی
وضعیت نشر :
تهران: دانشگاه تربیت مدرس,
زبان :
فارسی
کلیدواژههای اصلی :
منطق مرتبه اول
,
منطق جدید
,
منطق غیر کلاسیک (منطق های توسعه یافته)
,
منطق گزاره ها
,
منطق احتمالاتی Probabilistic logic
,
منطق پیوسته
,
منطق کلاسیک مرتبه اول
,
نظریه مدل محاسبه پذیر
,
محاسبه احتمالی
,
نظریه محاسبه
چکیده :
منطق مرتبه اول پیوسته برای پیوند آنالیز مدل تئوریک با ساختارهای تحلیلی ( فضاهای هیلبرت، فضاهای باناخ، فضاهای احتمال و ... ) به کار گرفته شده است. نظریه مدل محاسبه پذیر کلاسیک برای بررسی ساختار الگوریتمی آن دسته از اشیای ریاضی که می توان در منطق مرتبه اول کلاسیک توصیف کرد به کار می رود. در این پایان نامه نشان می دهیم که محاسبه ی احتمالی ( که پاهی از آن با نام محاسبه ی تصادفی یاد می شود ) و منطق پیوسته ارتباط نزدیک و مشابهی دارند. پیامد اصلی این پایان نامه این است که هر نظریه ی مرتبه اول پیوسته ی تصمیم پذیر یک مدل به طور احتمالی تصمیم پذیر دارد. همچنین نشان می دهیم که ساختارهای به طور احتمالی محاسبه پذیر، در یک زمینه ی مناسب، مدلی از ACA0 را ارائه می کنند.
انتخاب :
مشخصات اثر
ثبت نظر
عنوان :
ساختار نحوی و معنایی منطق پارشناسی و ملاحظات فلسفی آن
نویسنده:
محسن شعبانی صمغآبادی
نوع منبع :
رساله تحصیلی
منابع دیجیتالی :
متن ناقص پایان نامه
وضعیت نشر :
تهران: دانشگاه تربیت مدرس,
کلیدواژههای اصلی :
ساخت معنایی
,
ساخت نحوی
,
منطق ریاضی
,
ذاتباوری (دیدگاه فلسفی)
,
منطق جدید
,
منطق کلاسیک
,
نظریه جزء و کل
,
منطق پارشناسی
چکیده :
جزء و کل مفاهیم بسیار آشنایی در زندگی روزمره هستند که فرد از نخستین سال های زندگی قادر به شناسایی و کاربرد آنها است. متافیزیک دانان از دیرباز به بحث هایی چون انواع کل ها، رابطه جزء و کل و ... پرداخته اند. لیکن بحث نظام مند درباب جزء و کل در اواخر قرن نوزدهم در نوشته های فرانتس برنتانو پدیدار شد. تلاش های برنتانو توسط شاگردان وی اشتومپف ، تفاردوفسکی و هوسرل پی گرفته شد. رویکرد منطقی به مباحث جزء و کل که منجر به ایجاد نظریه پارشناسی امروزین گشت، حاصل تفکرات استانیسواف لشنیفسکی ریاضی دان و منطق دان لهستانی است. در نوشتار حاضر نخست به ساختار نحوی نظریه های امروزین پارشناسی می پردازیم. تقریری که در این نوشتار مد نظر بوده توسط آکیله ورزی ارائه شده است و نظریه ای است که در منطق محمولات مرتبه اول به علاوه این همانی صورت بندی شده است. زان پس به ساختار معنایی (نظریه مدل) نظریه های پارشناسی را مورد ملاحظه قرار داده ایم که عمدتا تاکید روی مشابهت های ساختاری نظریه های پارشناسی و نظریه مجموعه ها و جبر بولی است. برخی چالش ها و برخی ملاحظات فلسفی همچون مصداق مندی رابطه جزئیت و رابطه کل با اجزاء موضوعات فصل چهارم هستند. در فصل پنجم اجزاء در گذر زمان از دیدگاه نظریه های سه بعد گرایانه و چهار بهد گرایانه را مطالعه خواهد نمود و فصل ششم به تز ذات گرایی پارشناختی که درباره وضعیت ضروری بودن یا نبودن اجزاء یک کل است اختصاص دارد. فصل هفتم هم ارزیابی رویکرد متافیزیکی در بحث جزء و کل است و هم سعی دارد با به کار گیری حداقلی ابزارهای پارشناختی پاسخ های نظام مند تری به برخی چالش های مطرح شده در ادبیات بحث را فراهم کند.
انتخاب :
مشخصات اثر
ثبت نظر
عنوان :
سوژه و صورت منطقی در تراکتاتوس
نویسنده:
حامد زمانی پزوه
نوع منبع :
مقاله
منابع دیجیتالی :
نسخه PDF
وضعیت نشر :
تهران: منطق پژوهی,
زبان :
فارسی
کلیدواژههای اصلی :
سوژه
,
شی (منطق)
,
ویتگنشتاین متقدم
,
صورت منطقی
,
تراکتاتوس (فلسفه تحلیلی)
,
فلسفه تحلیل زبانی ( تحلیل زبان )
,
فلسفه تحلیلی
,
معنا ( Semantic )
,
منطق جدید
,
منطق کلاسیک
چکیده :
ویتگنشتاین متقدم، با گرهزدن زبان به ضرورت، معنا را از ایدههای ذهنی صرف جدا میکند. بهنظر او، زبان ساختاری منطقی دارد که روگرفتی از ضرورتهای موجود در عالم است. او برای تبیین ضرورتهای موجود در عالم تعریف خاصی از مفهوم شیء ارائه میدهد، بهازای هر شیء نشانهای را در زبانِ ممکن واجدِ معنا میداند، و روابط بین اشیا را حاصل بالفعلشدن امکانهای ترکیبیِ خاص هر شیء می انگارد. در نظر او، ساختار منطقی زبان برآمده از چهارچوبِ عالم است و زبان فقط درصورتی معنادار است که تصویرگر این عالم باشد. ویتگنشتاین، بدون آنکه از مفاهمه حرفی بهمیان بیاورد، خودِ چگونگیِ ممکنبودنِ زبان را بررسی میکند و در پاسخ، صورت منطقی را مطرح میکند. در طراحی او از زبان، سوژه جایگاه معنابخشی خود را از دست میدهد و اشیای عالم و امکانهای ترکیبی آنها عهدهدار معنا میشوند.
انتخاب :
صفحات :
از صفحه 29 تا 44
مشخصات اثر
ثبت نظر
عنوان :
فعل گفتاری نزد منطقدانان مسلمان
نویسنده:
احمد عبادی
نوع منبع :
مقاله
منابع دیجیتالی :
نسخه PDF
وضعیت نشر :
تهران: منطق پژوهی,
زبان :
فارسی
کلیدواژههای اصلی :
منطق تطبیقی
,
فعل گفتاری (منطق)
,
پارادوکس دروغگو (منطق)
,
جمله خبری (منطق)
,
فلسفه تحلیل زبانی ( تحلیل زبان )
,
اصطلاحنامه منطق
,
منطق اسلامی
,
منطق جدید
,
منطق قدیم
,
منطق کلاسیک
,
انشاء اخبارنُما
چکیده :
برخی از فیلسوفان زبان معتقدند که گاه عبارات زبانی با آنکه از ساختار خبری برخوردارند، اما صدق و کذب نمیپذیرند، زیرا قصد گوینده از بیان آنها نه توصیف، بلکه انجام یک فعل است. چنین جملاتی را افعال گفتاری میخوانند. پیش از این، منطقدانان مسلمان نیز به این مسئله توجه کردهاند. آنان این موضوع را با عنوان «انشای اخبارنُما» به بحث گذاشتهاند. انشای اخبارنُما در مواضع گوناگونی مطرح شده است. نقد ملاک صدق و کذبپذیری خبر و نیز حل پارادوکس دروغگو زمینة طرح این مسئله را فراهم آورده است. اگرچه مسئلة افعال گفتاری تطور و تحول شایانی در منطق دورة اسلامی نیافت، اما کشف این مسئله و تفطن به آن را باید از آنِِ منطقدانان مسلمان دانست. تأمل در تاریخچة دیدگاههای منطقدانان دورة اسلامی در این مسئله و نیز مطالعة تطبیقی آنها با آرای فیلسوفان زبان آموزندة نکات منطقی ـ معرفتی است.
انتخاب :
صفحات :
از صفحه 83 تا 99
مشخصات اثر
ثبت نظر
عنوان :
مفاهیم اولی، ضروری، بدیهی، یقینی در منطق کلاسیک (صوری)
نویسنده:
علیرضا آزادی
نوع منبع :
مقاله
منابع دیجیتالی :
نسخه PDF
وضعیت نشر :
دانشکده ادبیات و علوم انسانی دانشگاه تبریز,
زبان :
فارسی
کلیدواژههای اصلی :
تصور
,
تصدیق
,
مفاهیم بدیهی
,
عرضی
,
ضروری
,
استدلال مباشر
,
یقینی
,
منطق ریاضی
,
منطق جدید
,
منطق کلاسیک
فهرست گزیده متکلمان،فیلسوفان و عالمان شیعی :
ابن سینا: ابوعلی سینا
چکیده :
معانی مفاهیم (اولی، ضروری، بدیهی، یقینی) به ظاهر، روشن است. اما کاربرد آنها در مواضع و مباحث مختلف منطق متفاوت می باشد؛ به تبع این مواضع و مباحث مختلف، معانی آنها نیز تاحدی تغییر کرده و مختلف خواهد بود. در این مقاله سعی داریم این موانع و اختلاف معانی را روشن کنیم.کلید واژه: ابن سینا، استدلال مباشر، اولی، بدیهی، تصور، تصدیق، شیخ اشراق، عرضی، ضروری، ملاصدرا، یقینی.
انتخاب :
مشخصات اثر
ثبت نظر
عنوان :
پژوهشی نقادانه در باب تبیین گرایس از تابع ارزش بودن شرطیها در زبان طبیعی بر اساسِ مفهومِ اظهارپذیری
نویسنده:
سید علی کلانتری
نوع منبع :
مقاله
منابع دیجیتالی :
نسخه PDF
وضعیت نشر :
تهران: منطق پژوهی,
زبان :
فارسی
کلیدواژههای اصلی :
زبان طبیعی (منطق)
,
فلسفه تحلیل زبانی ( تحلیل زبان )
,
فلسفه منطق
,
فلسفه زبان
,
تابع ارزش
,
منطق جدید
,
منطق کلاسیک
,
منطق گزاره ها
,
شرطیها
,
اظهارپذیری
چکیده :
داتِ منطقی در منطقِ کلاسیکِ گزارهها بنا بر تعریف تابع ارزش (truth function)هستند. فیلسوفانِ منطق و زبانِ معاصر دو نظر عمده در بابِ تابعِ ارزش بودنِ اداتِ متناظر با اداتِ منطقی در زبانِ طبیعی (که عبارتند از "چنین نیست که"، "و"، "یا" و "اگر...آنگاه...") مطرح نمودهاند. برخی استدلال کردهاند که اداتِ متناظر با اداتِ منطقی در زبانِ طبیعی تابعِ ارزش نیستند و در مقابل برخی نیز استدلالهایی به نفع تابعِ ارزش بودنِ اداتِ مذکور ارائه نمودهاند. در این میان، دفاعیاتِ گرایس (1975) از تابعِ ارزش بودنِ شرطیها ("اگر...آنگاه...") در زبانِ طبیعی که بر اساسِ مفهومِ اظهارپذیری (assertibility) و معنای ضمنیِ (implicature) عبارات صورتبندی شده از ثقلِ مهمی در منابعِ فلسفیِ چند دهۀ اخیر برخودار بوده است. هدفِ اصلی این مقاله بررسی و سپس نقدِ دفاعیاتِ گرایس در خصوصِ تابعِ ارزش بودنِ شرطیها در زبانِ طبیعی است.
انتخاب :
صفحات :
از صفحه 123 تا 152
مشخصات اثر
ثبت نظر
عنوان :
واکاویِ ملاک های احتمالاتی در استنتاج بهترین تبیین
نویسنده:
سیدمحمدمهدی اعتمادالاسلامی بختیاری ؛ میرسعید موسوی کریمی
نوع منبع :
مقاله
منابع دیجیتالی :
نسخه PDF
وضعیت نشر :
تهران: منطق پژوهی,
زبان :
فارسی
کلیدواژههای اصلی :
تبیین (منطق)
,
احتمال (منطق)
,
تایید (منطق)
,
استنتاج از راه بهترین تبیین(اصطلاح وابسته)
,
منطق جدید
,
منطق کلاسیک
,
استنتاج بهترین تبیین
,
بیز
,
مزیتهای تبیینگر
چکیده :
طبق رویکرد رایج به استنتاج بهترین تبیین (IBE)، فرضیهای که بهترین تبیین را برای پدیدههای در دستِ بررسی ارائه میدهد، احتمالاً صادق است. یکی از مهمترین چالشهای پیش روی این نحوۀ استدلال” ایراد وُلتِر “ است. مطابق این اشکال، دلیلی نداریم که ملاکهای انتخاب بهترین تبیین، موسوم به مزیتهای تبیینگر، محتملترین تبیین- یعنی تبیینی که نسبت به دیگر تبیینهای رقیب از احتمال صدق بیشتری برخوردار است- را به دست دهند. هدف اصلیِ این نوشتار، واکاویِ ملاکهای احتمالاتیِ مرتبط با IBE در مواجهه با ایراد وُلتِراست. به بیان دقیقتر، در پی آنیم که چنانچه ضابطههای احتمالاتیِ ارائه شده برای ارزیابیِ فرضیههای تبیینگر، ملاک انتخاب بهترین تبیین قرار گیرند، آیا این اطمینان وجود خواهد داشت که محتملترین تبیین به دست آید؟ در این راستا، ملاکهای احتمالاتیِ مرتبط با IBE را در سه دستۀ ملاکهای معطوف به قضیۀ بیز، ملاکهای معطوف به نظریۀ تأیید و ملاکهای معطوف به مزیتهای تبیینگر بررسی میکنیم. این واکاوی نشان میدهد که هیچیک از ضابطههای ارائه شده از پس تحدید بهترین تبیین - به گونهای که محتملترین تبیین را به دست دهد- بر نمیآیند.
انتخاب :
صفحات :
از صفحه 25 تا 48
مشخصات اثر
ثبت نظر
عنوان :
تصور گزاره ای و توجیه باورهای وجهی
نویسنده:
مسعود ضیاء علی نسب پور
نوع منبع :
مقاله
منابع دیجیتالی :
نسخه PDF
وضعیت نشر :
تهران: منطق پژوهی,
زبان :
فارسی
کلیدواژههای اصلی :
امکان (منطق)
,
مسایل جدید معرفت شناسی
,
فلسفه تحلیل زبانی ( تحلیل زبان )
,
فلسفه تحلیلی
,
معرفت شناسی تحلیلی
,
منطق جدید
,
منطق کلاسیک
,
منطق گزاره ها
,
تصور گزاره ای
,
تخیل پذیری
,
معرفت شناسی وجهی
چکیده :
در این مقاله مدل توجیهی را که گیرسون در مقاله «تخیلپذیری و توجیهِ وجهیِ الغاءپذیر» (2005) برای توجیهِ باورهای وجهی ارائه میکند بررسی میکنم. مدل توجیه پیشنهادی گیرسون مبتنی بر تخیلپذیری است. گیرسون تخیلپذیری را بر اساسِ تصور تحلیل میکند. گیرسون با پذیرشِ شباهتهایِ برخی از مولفههای شرحاش با مدل یبلو (1993)، ادعا میکند که از چند جهت بحث را پیش برده است. یکی از این پیشرفتها از نظر گیرسون این است که او از تصور گزارهای در توجیه باور وجهی استفاده میکند. در این مقاله نشان میدهم که گیرسون کمک چندانی به پیشبرد بحث نکرده است. از جمله به این دلیل که تصور گزارهای به گونهای که گیرسون تعریف میکند، هیچ کمکی به توجیه باور وجهی نخواهد کرد. علاوه بر آن گیرسون به این سوال که «تصور کردنِ گزارهای دقیقاً یعنی چه؟» نمیتواند جوابی بدهد که مطابق آن آنچه را که قابل تصور گزارهای دانسته، مثل نقیض حدس گلدباخ، قابل تصور باشد ولی گزارههای غیرممکن متافیزیکی و حتی گزارههای غیرممکن منطقی قابل تصورِگزارهای نباشند.
انتخاب :
صفحات :
از صفحه 41 تا 61
مشخصات اثر
ثبت نظر
عنوان :
استدلال تقریبی معکوس و نقش عملگرهای استلزام
نویسنده:
خاطره آذرانداز
نوع منبع :
رساله تحصیلی
منابع دیجیتالی :
متن ناقص پایان نامه
وضعیت نشر :
کرمان: دانشگاه آزاد اسلامی واحد کرمان,
زبان :
فارسی
کلیدواژههای اصلی :
استلزام منطقی
,
مجموعه های فازی
,
علم ریاضی
,
منطق ریاضی
,
نظریه مجموعه های فازی
,
منطق جدید
,
منطق کلاسیک
,
منطق غیر کلاسیک (منطق های توسعه یافته)
,
منطق فازی
,
استدلال تقریبی معکوس
چکیده :
نظریه مجموعههای فازی در سال 1965 توسط پروفسور عسکرزاده دانشمند ایرانی تبار استاد دانشگاه برکلی آمریکا عرضه شد. این نظریه از زمان ارائه آن تاکنون، گسترش و تعمیق زیادی یافته و کاربردهای گوناگونی در زمینههای مختلف پیدا کرده است . مجموعههای فازی نظریهای است برای اقدام در شرایط عدم اطمینان. این نظریه قادر است بسیاری از مفاهیم و متغیرها و سیستمهایی را که نادقیق هستند، چنانچه در عالم واقع اکثرا چنین است ، صورتبندی ریاضی ببخشد و زمینه را برای استدلال، استنتاج، کنترل و تصمیمگیری در شرایط عدم اطمینان فراهم آورد. در این رساله که بر پایه مقاله تدوین شده است ما به نحوه استفاده از استدلال تقریبی معکوس میپردازیم بدین منظور که نتیجه (طرف دوم یک قاعده فازی) داده شده، مسئله مطرح شده انتخاب بهترین ورودی (طرف اول یک قاعده فازی) است که نتیجه مورد نظر را باعث شود که در اینجا ما از قاعده رفع تالی تعمیم یافته کمک خواهیم گرفت . در فصل اول به تعاریف اولیه مورد استفاده در رساله از جمله -t نرمها و -t همنرمها و عملگرهای مربوط به مجموعههای فازی میپردازیم و همچنین در این فصل مروری بر منطق فازی و کلاسیک خواهیم داشت و روابط بین آنها را در منطق دوارزشی و فازی و ارتباط آنها با یکدیگر را مطالعه مینماییم. در فصل دوم استدلال تقریبی و استدلال تقریبی معکوس بررسی شده است . در آنجا این سوال مطرح میشود که اگر قاعده R:A--->B با تابع استلزام I مدلسازی شود آیا قاعده R*:not(B)-->not(A) هم با همان تابع مدلسازی میشود؟ بدین معنی که آیا رابطه I(a,b) I(1-b,1-a) (خاصیت تقارن عکس نقیض) برقرار است ؟ بنابراین چون استلزامهایی که دارای تقارن عکس نقیض هستند در استدلال تقریبی معکوس نقش مهمی را بازی میکنند در فصل سوم مفصلا به آنها میپردازیم. در این فصل -S استلزامها، -R استلزامها، -QLاستلزامها و ... معرفی میشوند و استلزامهایی که خاصیت تقارن عکس نقیض را دارا بوده و یا با داشتن شرایطی این خاصیت را بدست میآورند بررسی شدهاند.
انتخاب :
مشخصات اثر
ثبت نظر
7
8
9
10
11
12
13
14
15
16
تعداد رکورد ها : 186
×
درخواست مدرک
کاربر گرامی : برای در خواست مدرک ابتدا باید وارد سایت شوید
چنانچه قبلا عضو سایت شدهاید
ورود به سایت
در غیر اینصورت
عضویت در سایت
را انتخاب نمایید
ورود به سایت
عضویت در سایت
×
ارسال نظر
نوع
توضیحات
آدرس پست الکترونیکی
کد امنیتی
*
*
با موفقیت به ثبت رسید