جستجوي پيشرفته | کتابخانه مجازی الفبا
کتابخانه مجازی الفبا،تولید و بازنشر کتب، مقالات، پایان نامه ها و نشریات علمی و تخصصی با موضوع کلام و عقاید اسلامی
کتابخانه مجازی الفبا،تولید و بازنشر کتب، مقالات، پایان نامه ها و نشریات علمی و تخصصی با موضوع کلام و عقاید اسلامی
کانال ارتباطی از طریق پست الکترونیک :
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
اکسل
انتخاب همه
1
2
تعداد رکورد ها : 16
عنوان :
مباحثی در منطق های وجهی گودل استاندارد
نویسنده:
نسیم یاری
نوع منبع :
رساله تحصیلی
وضعیت نشر :
تهران: دانشگاه تربیت مدرس,
زبان :
فارسی
کلیدواژههای اصلی :
منطق وجهی
,
قضیه تمامیت
,
منطق جدید
,
منطق کلاسیک
,
منطق غیر کلاسیک (منطق های توسعه یافته)
,
منطق فازی
,
منطق های وجهی-چند ارزشی
,
منطق دامت-گودل
,
معناشناسی کریپکی فازی
,
تمامیت قوی
چکیده :
در این پایاننامه تمامیت قوی از نوع □ و◊ را در منطق وجهی گودل که روی مدلهای کریپکی پایهگذاری شده است اثبات میکنیم که در آن گزارهها در هر جهان و رابطهی دسترسپذیری بین جهانها به طور نامتناهی در جبر گودل استاندارد [۱‚۰] ارزش دهی شده اند و به بررسی بعضی از عدم تقارنهایی که بین منطقهای □ و◊ وجود دارد میپردازیم: در منطق نخست (□) مفهوم درستی به قابهایی که رابطهی دسترسپذیری آنها دو مقداری است، فرو میکاهد و این منطق ویژگی مدل متناهی را ندارد. مفهوم درستی در منطق دومی (◊) نیازمند قابهایی است که رابطهی دسترسپذیری آنها حقیقتاً فازی باشد و این منطق ویژگی مدل متناهی را دارد. متناظرهای سیستمهای وجهی کلاسیک D، T، S۴ وS۵ را نیز در نظر میگیریم. همچنین قضیههای تمامیت به زبانهایی که به یک مجموعهی خوشترتیب گسسته از ارزشهای درستی نیز مجهز باشد گسترش داده خواهند شد. بازبرد اصلی این پایاننامه [۶] میباشد.
انتخاب :
مشخصات اثر
ثبت نظر
عنوان :
بررسی معناشناسی کریپکی برای منطق های فازی
نویسنده:
پروین صفری
نوع منبع :
رساله تحصیلی
منابع دیجیتالی :
متن ناقص پایان نامه
وضعیت نشر :
تبریز: دانشگاه تبریز,
زبان :
فارسی
کلیدواژههای اصلی :
معناشناسی (منطق)
,
منطق جدید
,
منطق کلاسیک
,
منطق غیر کلاسیک (منطق های توسعه یافته)
,
منطق فازی
,
منطق گودل
,
قاب های کریپکی
چکیده :
قاب ها (مدل های) کریپکی، معناشناسی مناسبی برای منطق های زیرکلاسیک فراهم می کنند، به عنوان مثال منطق شهودی (براور و هیتینگ) قاب های کریپکی تراگذری و بازتابی را و منطق پایه (ویسر) قاب های کریپکی تراگذری را اصل بندی می کنند. در این رساله قاب ها یا مدل های کریپکی را به عنوان یک معناشناسی برای منطق های فازی بررسی می کنیم. برای هر اصل موضوع منطق فازی پایه، شرط های لازم و کافی برای قاب ها یا مدل های کریپکی که آن را برآورده می سازد، آورده شده است. معلوم گردید که تنها منطق های فازی که نسبت به یک کلاس از قاب ها یا مدل ها درست و کامل هستند توسیع های منطق گودل هستند. به علاوه این منطق نسبت به قاب های کریپکی بازتابی، تراگذری و خطی، قویاً کامل می باشد. بدین وسیله یک مشخصه سازی معنایی برای منطق گودل در بین منطق های (گزاره ای) فازی تعیین می شود.
انتخاب :
مشخصات اثر
ثبت نظر
عنوان :
منطق فازی در قرآن: خلط مستنبط و منصوص
نویسنده:
محمود زراعت پیشه
نوع منبع :
مقاله
منابع دیجیتالی :
نسخه PDF
وضعیت نشر :
تهران: منطق پژوهی,
زبان :
فارسی
کلیدواژههای اصلی :
اصطلاحنامه علوم قرآنی
,
منطق قرآن
,
منطق فلسفی
,
منطق جدید
,
منطق غیر کلاسیک (منطق های توسعه یافته)
,
منطق فازی
,
خلط مستنبط و منصوص
چکیده :
علی وحیدیان کامیاد در مقاله ای با عنوان «روش شناسی کاربرد منطق فازی در بینش اسلامی» مدعی است که منطق فازی بخشی از منطق والای قرآن است. این ادعا از سوی برخی از محققان نیز مورد تأیید قرار گرفته است. این در حالی است که به نظر می رسد شواهد ارائه شده در باب این ادعا، شواهدی ناقص اند و لازم می نماید تا اصل ادعا مجدداً مورد کنکاش قرار گیرد. در تحقیق حاضر پاره ای از نقدها نسبت به اصل ادعای منطق فازی در قرآن با توجه به شواهد قرآنی ارائه شده از سوی مدعیان آن است. علاوه بر نقدهای جزئی که به عدم انطباق مثال های قرآنی ذیل الگوی فازی ارائه شده از سوی مدعیان بر می گردد، این نیز نشان داده خواهد شد که اساساً طرح ادعای وجود منطق فازی در قرآن، با خلط آنچه صراحتاً به عنوان استدلال در متن آمده است (استدلال منصوص) و آنچه از سوی مخاطب ممکن است به متن نسبت داده شود (استدلال مستنبط) همراه است.
انتخاب :
صفحات :
از صفحه 15 تا 38
مشخصات اثر
ثبت نظر
عنوان :
منطق فازی ربطی: رویکردی گزارهای
نویسنده:
سیداحمد میرصانعی
نوع منبع :
رساله تحصیلی
منابع دیجیتالی :
متن ناقص پایان نامه
وضعیت نشر :
تهران: دانشگاه تربیت مدرس,
زبان :
فارسی
کلیدواژههای اصلی :
منطق ربط
,
فراسازگاری (منطق)
,
منطق ریاضی
,
منطق نمادی
,
منطق جدید
,
منطق کلاسیک
,
منطق غیر کلاسیک (منطق های توسعه یافته)
,
منطق گزاره ها
,
منطق فازی
,
قوانین دمورگان
چکیده :
در استدلالهای علمی و حتی در استدلالهای روزمره ما، مقدمات استدلال و نتيجه بايد به هم ربط داشته باشند. از جهتی ما با بسياری از استدلالهايي سر و کار داريم که تقريبیاند و تا يک درجه خاصی درست هستند. در اين پاياننامه با توجه به دو مقوله مهم در زبان طبيعی و منطق، يعنی «ربط» و «ابهام»، با رويکردی صوری، گزارهای و غيرکلاسيک منطقهايي ساخته میشوند که استدلال آنها هم فازی است و هم ربطی، و منطقهای فازی ربطی نام دارند. منطقهای فازی ربطی FB، NB را با راهکار فازیسازی و RB، RDB را با راهکار بازتعبيری ساختيم. اين 4 منطق فازی ربطی، منطقهای پايه هستند. منطقهاي فازی ربطی قویتر، گسترش اين منطقها هستند.
انتخاب :
مشخصات اثر
ثبت نظر
عنوان :
واژهنامهی توصیفی منطق: انگلیسی به فارسی
نویسنده:
ضیا، موحد
نوع منبع :
کتابشناسی(نمایه کتاب)
وضعیت نشر :
تهران: پژوهشگاه علوم انسانی و مطالعات فرهنگی,
زبان :
انگلیسی , فارسی
کلیدواژههای اصلی :
منطق جدید
,
منطق قدیم
,
منطق کلاسیک
,
منطق غیر کلاسیک (منطق های توسعه یافته)
,
منطق گزاره ها
,
منطق محمولها
,
منطق مرتبه دوم
,
منطق این همانی
,
منطق موجهات
,
منطق شناختی
,
منطق تکلیف Deontic Logic (منطق بررسی مفاهیم هنجاری )
,
منطق غیر صوری informal logic
,
منطق فراگیر inclusive logic
,
منطق شهودگرا Intuitionistic Logic
,
منطق های ساختاری
,
منطق های فراسازگار
,
منطق فازی
,
منطق احتمالاتی Probabilistic logic
,
منطق آزاد
,
منطق های نایکنواخت Nonmonotonic logic
,
منطق ابهام
,
منطق پیشفرض
انتخاب :
مشخصات اثر
ثبت نظر
عنوان :
فرهنگ نامه منطق
نویسنده:
نرگس نیمروزی
نوع منبع :
کتابشناسی(نمایه کتاب)
وضعیت نشر :
قم: بوستان کتاب قم ,
زبان :
فارسی
کلیدواژههای اصلی :
فرهنگ نامه منطق
,
منطق ریاضی
,
منطق جدید
,
منطق قدیم
,
منطق کلاسیک
,
منطق غیر کلاسیک (منطق های توسعه یافته)
,
منطق گزاره ها
,
منطق محمولها
,
منطق مرتبه دوم
,
منطق این همانی
,
منطق موجهات
,
منطق تکلیف Deontic Logic (منطق بررسی مفاهیم هنجاری )
,
منطق غیر صوری informal logic
,
منطق فراگیر inclusive logic
,
منطق شهودگرا Intuitionistic Logic
,
منطق های ساختاری
,
منطق های فراسازگار
,
منطق فازی
,
منطق احتمالاتی Probabilistic logic
,
منطق آزاد
,
منطق های نایکنواخت Nonmonotonic logic
,
منطق ابهام
,
منطق پیشفرض
,
اصطلاح نامه توصیفی
چکیده :
این کتاب اصطلاح نامهای توصیفی و دو زبانه (فارسی - انگلیسی) است که بیش از سه هزار اصطلاح ضروری و پرکاربرد علم منطق درآن گردآوری شده است. دامنه اصطلاحات این فرهنگ نامه، منطق قدیم و جدید و برخی شاخههای آن را دربردارد. مولف با استفاده از منابع فارسی، عربی، انگلیسی و پایگاههای متعدد اینترنتی معتبر فلسفی و منطقی این اصطلاحاترا تدوین نموده است. نکات قابل توجه این فرهنگ نامه عبارتند از: نثر روان، طراحی جدولهای متفاوت و ابتکاری، مستندسازی اصطلاحات، تنوع حوزههای اصطلاحات، بهرهگیری از منابع معتبر کهن و معاصر عربی و انگلیسی، همچنین جامعیت و مدخلهای توصیفی این اثر میباشد
انتخاب :
مشخصات اثر
ثبت نظر
1
2
تعداد رکورد ها : 16
×
درخواست مدرک
کاربر گرامی : برای در خواست مدرک ابتدا باید وارد سایت شوید
چنانچه قبلا عضو سایت شدهاید
ورود به سایت
در غیر اینصورت
عضویت در سایت
را انتخاب نمایید
ورود به سایت
عضویت در سایت
×
ارسال نظر
نوع
توضیحات
آدرس پست الکترونیکی
کد امنیتی
*
*
با موفقیت به ثبت رسید