جستجوي پيشرفته | کتابخانه مجازی الفبا
کتابخانه مجازی الفبا،تولید و بازنشر کتب، مقالات، پایان نامه ها و نشریات علمی و تخصصی با موضوع کلام و عقاید اسلامی
کتابخانه مجازی الفبا،تولید و بازنشر کتب، مقالات، پایان نامه ها و نشریات علمی و تخصصی با موضوع کلام و عقاید اسلامی
کانال ارتباطی از طریق پست الکترونیک :
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
3
4
تعداد رکورد ها : 38
عنوان :
استدلال تقریبی معکوس و نقش عملگرهای استلزام
نویسنده:
خاطره آذرانداز
نوع منبع :
رساله تحصیلی
منابع دیجیتالی :
متن ناقص پایان نامه
وضعیت نشر :
کرمان: دانشگاه آزاد اسلامی واحد کرمان,
زبان :
فارسی
کلیدواژههای اصلی :
استلزام منطقی
,
مجموعه های فازی
,
علم ریاضی
,
منطق ریاضی
,
نظریه مجموعه های فازی
,
منطق جدید
,
منطق کلاسیک
,
منطق غیر کلاسیک (منطق های توسعه یافته)
,
منطق فازی
,
استدلال تقریبی معکوس
چکیده :
نظریه مجموعههای فازی در سال 1965 توسط پروفسور عسکرزاده دانشمند ایرانی تبار استاد دانشگاه برکلی آمریکا عرضه شد. این نظریه از زمان ارائه آن تاکنون، گسترش و تعمیق زیادی یافته و کاربردهای گوناگونی در زمینههای مختلف پیدا کرده است . مجموعههای فازی نظریهای است برای اقدام در شرایط عدم اطمینان. این نظریه قادر است بسیاری از مفاهیم و متغیرها و سیستمهایی را که نادقیق هستند، چنانچه در عالم واقع اکثرا چنین است ، صورتبندی ریاضی ببخشد و زمینه را برای استدلال، استنتاج، کنترل و تصمیمگیری در شرایط عدم اطمینان فراهم آورد. در این رساله که بر پایه مقاله تدوین شده است ما به نحوه استفاده از استدلال تقریبی معکوس میپردازیم بدین منظور که نتیجه (طرف دوم یک قاعده فازی) داده شده، مسئله مطرح شده انتخاب بهترین ورودی (طرف اول یک قاعده فازی) است که نتیجه مورد نظر را باعث شود که در اینجا ما از قاعده رفع تالی تعمیم یافته کمک خواهیم گرفت . در فصل اول به تعاریف اولیه مورد استفاده در رساله از جمله -t نرمها و -t همنرمها و عملگرهای مربوط به مجموعههای فازی میپردازیم و همچنین در این فصل مروری بر منطق فازی و کلاسیک خواهیم داشت و روابط بین آنها را در منطق دوارزشی و فازی و ارتباط آنها با یکدیگر را مطالعه مینماییم. در فصل دوم استدلال تقریبی و استدلال تقریبی معکوس بررسی شده است . در آنجا این سوال مطرح میشود که اگر قاعده R:A--->B با تابع استلزام I مدلسازی شود آیا قاعده R*:not(B)-->not(A) هم با همان تابع مدلسازی میشود؟ بدین معنی که آیا رابطه I(a,b) I(1-b,1-a) (خاصیت تقارن عکس نقیض) برقرار است ؟ بنابراین چون استلزامهایی که دارای تقارن عکس نقیض هستند در استدلال تقریبی معکوس نقش مهمی را بازی میکنند در فصل سوم مفصلا به آنها میپردازیم. در این فصل -S استلزامها، -R استلزامها، -QLاستلزامها و ... معرفی میشوند و استلزامهایی که خاصیت تقارن عکس نقیض را دارا بوده و یا با داشتن شرایطی این خاصیت را بدست میآورند بررسی شدهاند.
انتخاب :
مشخصات اثر
ثبت نظر
عنوان :
منطق فازی در قرآن: خلط مستنبط و منصوص
نویسنده:
محمود زراعت پیشه
نوع منبع :
مقاله
منابع دیجیتالی :
نسخه PDF
وضعیت نشر :
تهران: منطق پژوهی,
زبان :
فارسی
کلیدواژههای اصلی :
اصطلاحنامه علوم قرآنی
,
منطق قرآن
,
منطق فلسفی
,
منطق جدید
,
منطق غیر کلاسیک (منطق های توسعه یافته)
,
منطق فازی
,
خلط مستنبط و منصوص
چکیده :
علی وحیدیان کامیاد در مقاله ای با عنوان «روش شناسی کاربرد منطق فازی در بینش اسلامی» مدعی است که منطق فازی بخشی از منطق والای قرآن است. این ادعا از سوی برخی از محققان نیز مورد تأیید قرار گرفته است. این در حالی است که به نظر می رسد شواهد ارائه شده در باب این ادعا، شواهدی ناقص اند و لازم می نماید تا اصل ادعا مجدداً مورد کنکاش قرار گیرد. در تحقیق حاضر پاره ای از نقدها نسبت به اصل ادعای منطق فازی در قرآن با توجه به شواهد قرآنی ارائه شده از سوی مدعیان آن است. علاوه بر نقدهای جزئی که به عدم انطباق مثال های قرآنی ذیل الگوی فازی ارائه شده از سوی مدعیان بر می گردد، این نیز نشان داده خواهد شد که اساساً طرح ادعای وجود منطق فازی در قرآن، با خلط آنچه صراحتاً به عنوان استدلال در متن آمده است (استدلال منصوص) و آنچه از سوی مخاطب ممکن است به متن نسبت داده شود (استدلال مستنبط) همراه است.
انتخاب :
صفحات :
از صفحه 15 تا 38
مشخصات اثر
ثبت نظر
عنوان :
قواعد پذیرفتنی در منطق گبی-دیانگ
نویسنده:
آمنه پیرمرادی
نوع منبع :
رساله تحصیلی
منابع دیجیتالی :
متن ناقص پایان نامه
وضعیت نشر :
اصفهان: دانشگاه صعنتی اصفهان,
زبان :
فارسی
کلیدواژههای اصلی :
منطق ریاضی
,
منطق جدید
,
منطق کلاسیک
,
منطق غیر کلاسیک (منطق های توسعه یافته)
,
منطق شهودگرا Intuitionistic Logic
,
منطق میانی
,
خاصیت تفکیک پذیری
,
قوانین پذیرفتنی
,
منطق گبی-دیانگ
چکیده :
در این پایاننامه قواعد پذیرفتنی منطقهای میانی را مطالعه کرده و نتایج کلی برای توسیعهای مدلها و مجموعهی فرمولها را ارائه میکنیم. این نتایج کلی برای بدست آوردن پایهای برای قواعد پذیرفتنی منطقهای گبی-دیانگ و نشان دادن اینکه این منطقها تایپ یکسانسازی متناهی دارند بکار برده میشود آنگاه یک الگوریتم براساس تفکیک و تابلوها ارائه میکنیم که قادر است تصویری بودن یک فرمول در منطق شهودی گزارهای را بررسی نماید
انتخاب :
مشخصات اثر
ثبت نظر
عنوان :
منطق دیالوگ
نویسنده:
احسان ارضرومچیلر
نوع منبع :
رساله تحصیلی
وضعیت نشر :
تهران: دانشگاه علامه طباطبایی,
زبان :
فارسی
کلیدواژههای اصلی :
بازی
,
شهود گرایی
,
منطق گفتگو
,
معناشناسی (منطق)
,
منطق جدید
,
منطق کلاسیک
,
منطق غیر کلاسیک (منطق های توسعه یافته)
,
منطق شهودگرا Intuitionistic Logic
چکیده :
پذیرش یا انکار یک سمانتیک برای منطقی خاص وابسته است به پیش فرض ها و مبانی فلسفی و فرامنطقی پذیرفته شده توسط یک منطقدان. آن چه در این رساله به آن پرداخنه می شود ارائه ی منطق دیالوگ است به همراه بیان برخی از این ملاحظات فلسفی. در این رساله ابتدا منطق گزاره ای دیالوگ، منطق محمولات دیالوگ و منطق موجهات دیالوگ ارائه خواهد شد. و پس از آن بحث های فلسفی مرتبط با آن، مانند شهودگرایی و نظریه معنا از نگاه شهودگرایانه - با تکیه بر آراء مایکل دامت - آورده خواهد شد و سپس برخی از نقدها و پاسخ هایی که به منطق دیالوگ وارد شده است ارائه و در انتهای فصل نیز به نتیجه گیری کلی در این باب پرداخته خواهد شد.
انتخاب :
مشخصات اثر
ثبت نظر
عنوان :
بررسی معناشناسی کریپکی برای منطق های فازی
نویسنده:
پروین صفری
نوع منبع :
رساله تحصیلی
منابع دیجیتالی :
متن ناقص پایان نامه
وضعیت نشر :
تبریز: دانشگاه تبریز,
زبان :
فارسی
کلیدواژههای اصلی :
معناشناسی (منطق)
,
منطق جدید
,
منطق کلاسیک
,
منطق غیر کلاسیک (منطق های توسعه یافته)
,
منطق فازی
,
منطق گودل
,
قاب های کریپکی
چکیده :
قاب ها (مدل های) کریپکی، معناشناسی مناسبی برای منطق های زیرکلاسیک فراهم می کنند، به عنوان مثال منطق شهودی (براور و هیتینگ) قاب های کریپکی تراگذری و بازتابی را و منطق پایه (ویسر) قاب های کریپکی تراگذری را اصل بندی می کنند. در این رساله قاب ها یا مدل های کریپکی را به عنوان یک معناشناسی برای منطق های فازی بررسی می کنیم. برای هر اصل موضوع منطق فازی پایه، شرط های لازم و کافی برای قاب ها یا مدل های کریپکی که آن را برآورده می سازد، آورده شده است. معلوم گردید که تنها منطق های فازی که نسبت به یک کلاس از قاب ها یا مدل ها درست و کامل هستند توسیع های منطق گودل هستند. به علاوه این منطق نسبت به قاب های کریپکی بازتابی، تراگذری و خطی، قویاً کامل می باشد. بدین وسیله یک مشخصه سازی معنایی برای منطق گودل در بین منطق های (گزاره ای) فازی تعیین می شود.
انتخاب :
مشخصات اثر
ثبت نظر
عنوان :
فلسفه ریاضی : کلاسیک، مدرن، پستمدرن
نویسنده:
محمد صالمصلحیان
نوع منبع :
کتابشناسی(نمایه کتاب)
وضعیت نشر :
مشهد: واژگان خرد,
زبان :
فارسی
کلیدواژههای اصلی :
فلسفه ریاضی
,
علم ریاضی
,
منطق ریاضی
,
منطق جدید
,
منطق کلاسیک
,
منطق غیر کلاسیک (منطق های توسعه یافته)
,
فلسفه ریاضی مدرن
,
فلسفه ریاضی پست مدرن
,
فلسفه ریاضی کلاسیک
انتخاب :
مشخصات اثر
ثبت نظر
عنوان :
منطق اثباتها
نویسنده:
مهدیه گل رنگی
نوع منبع :
رساله تحصیلی
منابع دیجیتالی :
متن ناقص پایان نامه
وضعیت نشر :
اصفهان: دانشگاه صعنتی اصفهان,
زبان :
فارسی
کلیدواژههای اصلی :
شهود
,
منطق شهودی
,
منطق ریاضی
,
فضای هیلبرت
,
منطق جدید
,
منطق کلاسیک
,
منطق غیر کلاسیک (منطق های توسعه یافته)
,
منطق گزاره ها
,
منطق شهودگرا Intuitionistic Logic
,
منطق اثبات ها
چکیده :
هدف ما در این پایان نامه مطالعه ی منطق اثبات ها و برخی گسترش های آن است. منطق اثبات ها (CP) ابتدا توسط آرتموف در سال 1994 مطرح گردید. یکی از انگیزه های شکل گیری منطق اثبات هاارایه ی یک معنا شناسی اثبات پذیری دقیق برای S4 و صوری کردن تعبیر BHK برای منطق شهودی بود. CP گسترشی از منطق گزاره ای کلاسیک است که زبان آن علاوه بر نمادهای منطق گزاره ای شامل عملگرهای اثبات می باشد. در این پایان نامه ضمن بیان زمینه های تاریخی صوری سازی اثبات ها دستگاه CP را معرفی کرده و قضیه تمامیت حسابی آن را ثابت می کنیم. همچنین نشان می دهیم که Cp قابلیت تحقیق منطق موجه S4 را در خود دارد. یکی از گسترش های Cp منطق اثبات ها و اثبات پذیری CPP است این دستگاه از ترکیب هم زمان وجه اثبات پذری و احکام شامل ترم های اثبات به دست می آید. پس از معرفی مدلهای کریپکی، تمامیت حسابی CPP ثابت می شود. در خاتمه منطق اثبات ها برای HA مطرح می گردد . قواعد پذیرفتنی در HA که در واقع همان قواعد پذیرفتنی در IPC می باشد در اصل بندی کامل این دستگاه نقش مهمی دارا هستند.
انتخاب :
مشخصات اثر
ثبت نظر
عنوان :
مباحثی در منطق های وجهی گودل استاندارد
نویسنده:
نسیم یاری
نوع منبع :
رساله تحصیلی
وضعیت نشر :
تهران: دانشگاه تربیت مدرس,
زبان :
فارسی
کلیدواژههای اصلی :
منطق وجهی
,
قضیه تمامیت
,
منطق جدید
,
منطق کلاسیک
,
منطق غیر کلاسیک (منطق های توسعه یافته)
,
منطق فازی
,
منطق های وجهی-چند ارزشی
,
منطق دامت-گودل
,
معناشناسی کریپکی فازی
,
تمامیت قوی
چکیده :
در این پایاننامه تمامیت قوی از نوع □ و◊ را در منطق وجهی گودل که روی مدلهای کریپکی پایهگذاری شده است اثبات میکنیم که در آن گزارهها در هر جهان و رابطهی دسترسپذیری بین جهانها به طور نامتناهی در جبر گودل استاندارد [۱‚۰] ارزش دهی شده اند و به بررسی بعضی از عدم تقارنهایی که بین منطقهای □ و◊ وجود دارد میپردازیم: در منطق نخست (□) مفهوم درستی به قابهایی که رابطهی دسترسپذیری آنها دو مقداری است، فرو میکاهد و این منطق ویژگی مدل متناهی را ندارد. مفهوم درستی در منطق دومی (◊) نیازمند قابهایی است که رابطهی دسترسپذیری آنها حقیقتاً فازی باشد و این منطق ویژگی مدل متناهی را دارد. متناظرهای سیستمهای وجهی کلاسیک D، T، S۴ وS۵ را نیز در نظر میگیریم. همچنین قضیههای تمامیت به زبانهایی که به یک مجموعهی خوشترتیب گسسته از ارزشهای درستی نیز مجهز باشد گسترش داده خواهند شد. بازبرد اصلی این پایاننامه [۶] میباشد.
انتخاب :
مشخصات اثر
ثبت نظر
عنوان :
معرفی منطق های آزاد
نویسنده:
نصیبا تبریزیان
نوع منبع :
رساله تحصیلی
وضعیت نشر :
کرمان: دانشگاه شهید باهنر کرمان,
زبان :
فارسی
کلیدواژههای اصلی :
منطق ریاضی
,
منطق جدید
,
منطق غیر کلاسیک (منطق های توسعه یافته)
,
منطق آزاد
,
منطق کلاسیک مرتبه اول
چکیده :
منطق آزاد به منطق غیر کلاسیکی اطلاق می شود که از برخی فرض های وجودی منطق کلاسیک صرف نظر می کند. منطق آزاد به سه دسته ی مثبت، منفی و خنثی تقسیم می شود. در فصل اول این پایان نامه، منطق کلاسیک مرتبه اول و ویژگی های آن را بررسی می کنیم. در فصل دوم منطق آزاد را معرفی نموده و کاربردی از آن ارائه می دهیم. در فصل آخر برخی لم ها و قضایای مهم درمنطق مانند لم موضعی ، لم نمایش و قضایای صحت و تامیت را در منطق آزاد اثبات نموده و منطق آزاد و کلاسیک را مقایسه می نماییم.
انتخاب :
مشخصات اثر
ثبت نظر
عنوان :
منطق جهتمند و معرفتشناسی گزارههای آن
نویسنده:
مجتبی امیرخانلو
نوع منبع :
رساله تحصیلی
وضعیت نشر :
تهران: دانشگاه تربیت مدرس,
زبان :
فارسی
کلیدواژههای اصلی :
منطق صوری
,
متافیزیک
,
شناخت شناسی
,
مسایل جدید معرفت شناسی
,
اصطلاحنامه فلسفه
,
اصطلاحنامه منطق
,
منطق ریاضی
,
فراسازی
,
منطق جدید
,
منطق کلاسیک
,
منطق غیر کلاسیک (منطق های توسعه یافته)
,
منطق موجهات
,
منطق شهودگرا Intuitionistic Logic
چکیده :
برای آنکه نگرهای تازه درباب گزاره یا وضعیت ارایه کنیم یا حتی یک نگرهی موجود را ارزیابی نماییم نخست باید انتظار خود را از یک چنین نگرهای مشخص کنیم. ما در این رساله، پس از تعیین حداقل انتظارهای خود از یک نگرهی گزاره و یک نگرهی وضعیت، به سراغ چند نگرهی موجود درباب گزاره و وضعیت رفته، براساس انتظار تعریف شده حداقلی خود، آنها را ارزیابی کردیم. سپس براساس آرای جان پالک به بازسازی یک نگرهی گزاره و یک نگرهی وضعیت پرداخته، نگرهی مختار خود را ارایه کردیم. در این نگرهی بازسازیشده، گزارهها و وضعیتها، هویتهای ضروری مستقل از ذهنی هستند که معنای عملگرهایمنطقی، معنای مفهومها و معنای دلالتگرها میتوانند اجزای آنها باشند. میان گزاره و وضعیت تفاوت هستشناختیای وجود ندارد و تنها تفاوت آنها درشکل منطقی آنهاست. سپس، توانایی نگرهی خود را در برآوردن حداقلهای لازم برای یک نگرهی گزاره یا وضعیت سنجیدیم. در ادامه دو مفهوم فراساختنیبودگی و انگارپذیربودگی را واکاوی کردیم. پس از ارایه گزارشی از چهار تعریف از تعریفهای عمده فراسازی، یعنی تعریفهای شامل فهمیدن، تعریفهای شامل باور، تعریفهای شامل انگارش یک موقعیت و تعریفهای شامل احراز در جهانهای ممکن سازگار و منسجم، آنها را به نقد نشستیم. آنگاه نگرهی خودمان از مفهومهای فراساختنیبودگی و انگارپذیربودگی را مطرح کردیم و معیاری برای فراساختنی بودن یا انگارپذیر بودن یک وضعیت مفروض ارایه نمودیم. تبیین امکانمعرفتی و امکانمتافیزیکی ذیل دو رویکرد اصلی عامگرایی جهتمند و خاصگرایی جهتمند بخش دیگری از رساله را تشکیل میدهد. ما از طریق نقد قرایت عامگرایی و برخی از قرایتهای خاصگرایی، قرایت جدیدی از خاصگرایی ارایه کردیم و با استفاده از مفهوم فراسازی، نحوه تبیین این دو نوع امکان را در این رویکرد جدید از خاصگرایی، بیان نمودیم. در انتهای رساله، سعی کردیم منبعهای اصلی معرفت جهتمند یعنی فراسازی، واقعیبودگی و شهود را شناسایی کنیم و نشان دهیم که فراسازی و واقعیبودگی، در مقایسه با شهود، میتواند بهعنوان یک منبع مطمئن برای تامین سند و شاهد برای معرفت جهتمند بهکار روند.
انتخاب :
مشخصات اثر
ثبت نظر
1
2
3
4
تعداد رکورد ها : 38
×
درخواست مدرک
کاربر گرامی : برای در خواست مدرک ابتدا باید وارد سایت شوید
چنانچه قبلا عضو سایت شدهاید
ورود به سایت
در غیر اینصورت
عضویت در سایت
را انتخاب نمایید
ورود به سایت
عضویت در سایت
×
ارسال نظر
نوع
توضیحات
آدرس پست الکترونیکی
کد امنیتی
*
*
با موفقیت به ثبت رسید