جستجوي پيشرفته | کتابخانه مجازی الفبا
کتابخانه مجازی الفبا،تولید و بازنشر کتب، مقالات، پایان نامه ها و نشریات علمی و تخصصی با موضوع کلام و عقاید اسلامی
کتابخانه مجازی الفبا،تولید و بازنشر کتب، مقالات، پایان نامه ها و نشریات علمی و تخصصی با موضوع کلام و عقاید اسلامی
کانال ارتباطی از طریق پست الکترونیک :
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
عنوان :
منطق جهتمند و معرفتشناسی گزارههای آن
نویسنده:
مجتبی امیرخانلو
نوع منبع :
رساله تحصیلی
وضعیت نشر :
تهران: دانشگاه تربیت مدرس,
زبان :
فارسی
کلیدواژههای اصلی :
منطق صوری
,
متافیزیک
,
شناخت شناسی
,
مسایل جدید معرفت شناسی
,
اصطلاحنامه فلسفه
,
اصطلاحنامه منطق
,
منطق ریاضی
,
فراسازی
,
منطق جدید
,
منطق کلاسیک
,
منطق غیر کلاسیک (منطق های توسعه یافته)
,
منطق موجهات
,
منطق شهودگرا Intuitionistic Logic
چکیده :
برای آنکه نگرهای تازه درباب گزاره یا وضعیت ارایه کنیم یا حتی یک نگرهی موجود را ارزیابی نماییم نخست باید انتظار خود را از یک چنین نگرهای مشخص کنیم. ما در این رساله، پس از تعیین حداقل انتظارهای خود از یک نگرهی گزاره و یک نگرهی وضعیت، به سراغ چند نگرهی موجود درباب گزاره و وضعیت رفته، براساس انتظار تعریف شده حداقلی خود، آنها را ارزیابی کردیم. سپس براساس آرای جان پالک به بازسازی یک نگرهی گزاره و یک نگرهی وضعیت پرداخته، نگرهی مختار خود را ارایه کردیم. در این نگرهی بازسازیشده، گزارهها و وضعیتها، هویتهای ضروری مستقل از ذهنی هستند که معنای عملگرهایمنطقی، معنای مفهومها و معنای دلالتگرها میتوانند اجزای آنها باشند. میان گزاره و وضعیت تفاوت هستشناختیای وجود ندارد و تنها تفاوت آنها درشکل منطقی آنهاست. سپس، توانایی نگرهی خود را در برآوردن حداقلهای لازم برای یک نگرهی گزاره یا وضعیت سنجیدیم. در ادامه دو مفهوم فراساختنیبودگی و انگارپذیربودگی را واکاوی کردیم. پس از ارایه گزارشی از چهار تعریف از تعریفهای عمده فراسازی، یعنی تعریفهای شامل فهمیدن، تعریفهای شامل باور، تعریفهای شامل انگارش یک موقعیت و تعریفهای شامل احراز در جهانهای ممکن سازگار و منسجم، آنها را به نقد نشستیم. آنگاه نگرهی خودمان از مفهومهای فراساختنیبودگی و انگارپذیربودگی را مطرح کردیم و معیاری برای فراساختنی بودن یا انگارپذیر بودن یک وضعیت مفروض ارایه نمودیم. تبیین امکانمعرفتی و امکانمتافیزیکی ذیل دو رویکرد اصلی عامگرایی جهتمند و خاصگرایی جهتمند بخش دیگری از رساله را تشکیل میدهد. ما از طریق نقد قرایت عامگرایی و برخی از قرایتهای خاصگرایی، قرایت جدیدی از خاصگرایی ارایه کردیم و با استفاده از مفهوم فراسازی، نحوه تبیین این دو نوع امکان را در این رویکرد جدید از خاصگرایی، بیان نمودیم. در انتهای رساله، سعی کردیم منبعهای اصلی معرفت جهتمند یعنی فراسازی، واقعیبودگی و شهود را شناسایی کنیم و نشان دهیم که فراسازی و واقعیبودگی، در مقایسه با شهود، میتواند بهعنوان یک منبع مطمئن برای تامین سند و شاهد برای معرفت جهتمند بهکار روند.
انتخاب :
مشخصات اثر
ثبت نظر
عنوان :
نظریههای عمومی در منطق مرتبۀ اول شهودی
نویسنده:
مریم عبیری
نوع منبع :
رساله تحصیلی
منابع دیجیتالی :
متن ناقص پایان نامه
وضعیت نشر :
دامغان: دانشگاه دامغان,
زبان :
فارسی
کلیدواژههای اصلی :
منطق مرتبه اول
,
علم ریاضی
,
منطق ریاضی
,
مدلهای کریپکی
,
منطق جدید
,
منطق کلاسیک
,
منطق غیر کلاسیک (منطق های توسعه یافته)
,
منطق شهودگرا Intuitionistic Logic
,
منطق مرتبه اول شهودی
چکیده :
در این پایان نامه نظریه مدل های کریپکی منطق مرتبه اول شهودی را مطالعه می کنیم. دو مفهوم زیرمدل و جملات عمومی در منطق مرتبه ی اول شهودی معرفی می شود: در تعریف زیرمدل کریپکی می توان قاب یا جهان های کلاسیک یا هر دو را تحدید کرد. در این پایان نامه تعرفی سود از زیرمدل را در نظر می گیریم. اگر مدل کریپکی را به عنوان یک تابعگون از یک رسته ی کوچک به رسته تمام مدل های کلاسیک همراه با همریختی های بین آنها در نظر بگیریم آناه مفهوم زیر مدل را به این صورت تعریف می کنم: یک زرمدل از یک مدل کریپکی از تحدید مدل کریپکی اصلی به یک زیررسته از دامنه اش بدست می آید به طوری که هر رأس از یان زیررسته به یک زیرمدل کلاسیک از مدل کلاسیک نظیر آن در مدل کریپکی اصلی نگاشته می شود. یک جمله را عمومی می نامیم اگر به صورت استقرائی از اتم ها (شامل ┬ و ┴ )، رابط های → ، ᵥ ، ᴧ و سور ɏ ساخته شود، به طوری که هر زیر فرمول شرطی آن دارای مقدم اتمی باشد. ثابت می کنیم یک نظریه ی شهودی تحت زیرمدل کریپکی حفظ می شود اگر و تنها اگر به وسیله جملات عمومی اصل پذیر باشد. در این پایان نامه، در تعریف مدل کریپکی، تغییر محمول تساوی، تساوی واقعی است و از هر جهان به جهان بالاتر یک همریختی وجود دارد. تغییر محمول تساوی می تواند یک رابطه هم ارزی باشد. همچنین ارتباط بین یک جهان و جهان بالاتر می تواند زیرساختار ضغیف باشد. از این رو، چهار کلاس از مدل های کریپکی می توان داشت. در فصل سوم، ضمن تعریف مفاهیم یکریختی و تشابه مدل های کریپکی این کلاس ها با یکدیگر مقایسه می شود.
انتخاب :
مشخصات اثر
ثبت نظر
عنوان :
منطق فازی ربطی: رویکردی گزارهای
نویسنده:
سیداحمد میرصانعی
نوع منبع :
رساله تحصیلی
منابع دیجیتالی :
متن ناقص پایان نامه
وضعیت نشر :
تهران: دانشگاه تربیت مدرس,
زبان :
فارسی
کلیدواژههای اصلی :
منطق ربط
,
فراسازگاری (منطق)
,
منطق ریاضی
,
منطق نمادی
,
منطق جدید
,
منطق کلاسیک
,
منطق غیر کلاسیک (منطق های توسعه یافته)
,
منطق گزاره ها
,
منطق فازی
,
قوانین دمورگان
چکیده :
در استدلالهای علمی و حتی در استدلالهای روزمره ما، مقدمات استدلال و نتيجه بايد به هم ربط داشته باشند. از جهتی ما با بسياری از استدلالهايي سر و کار داريم که تقريبیاند و تا يک درجه خاصی درست هستند. در اين پاياننامه با توجه به دو مقوله مهم در زبان طبيعی و منطق، يعنی «ربط» و «ابهام»، با رويکردی صوری، گزارهای و غيرکلاسيک منطقهايي ساخته میشوند که استدلال آنها هم فازی است و هم ربطی، و منطقهای فازی ربطی نام دارند. منطقهای فازی ربطی FB، NB را با راهکار فازیسازی و RB، RDB را با راهکار بازتعبيری ساختيم. اين 4 منطق فازی ربطی، منطقهای پايه هستند. منطقهاي فازی ربطی قویتر، گسترش اين منطقها هستند.
انتخاب :
مشخصات اثر
ثبت نظر
عنوان :
ملاصدرا منطق، اخلاق و کلام
نویسنده:
همایش جهانی حكیم ملاصدرا
نوع منبع :
کتاب , مجموعه مقالات , مطالعه تطبیقی
منابع دیجیتالی :
نسخه PDF
فهرست
وضعیت نشر :
تهران: بنياد حکمت اسلامي صدرا,
زبان :
فارسی
کلیدواژههای اصلی :
16. کلام عقلی
,
مقاله ها
,
فلسفه اسلامی
,
اصطلاحنامه منطق
,
فلسفه دین
,
فلسفه منطق
,
شوارق الالهام: لاهیجی
,
اسفار اربعه: ملاصدرا
,
شفاء: ابن سینا
,
الشواهد الربوبیّة: ملاصدرا
,
01- کافی : شیخ کلینی
,
مقدمه ابن خلدون
,
اصطلاحنامه فلسفه اخلاق
,
اصول فلسفه و روش رئالیسم (علامه طباطبایی/ مرتضی مطهری)
کلیدواژههای فرعی :
دلیل ضرورت نبوت ,
معتزله (اهل سنت) ,
ارزش های اسلامی ,
رییس مدینه فاضله ,
حرکت جوهری ,
عکس ( قضیه ) ,
قضیه حملیه ,
عکس نقیض ( قضیه ) ,
حدود قیاس ,
قیاس اقترانی ,
حد وسط ,
حضرت قلب(انسانی) ,
حقیقت قلب(قسیم روح و سر ونفس) ,
وحی و عقل ,
کثرت گرایی دینی(فلسفه دین) ,
منطق کلاسیک ,
منطق غیر کلاسیک (منطق های توسعه یافته) ,
فهرست گزیده متکلمان،فیلسوفان و عالمان شیعی :
ملاصدرا شیرازی: صدرالمتألهین
چکیده :
مجموعه مقالات همایش جهانی حکیم ملاصدرا جلد نهم- ملاصدرا ـ منطق، اخلاق و کلام این کتاب جلد نهم از مجموعه مقالات همایش جهانی حکیم صدرالمتألهین شیرازی است. در این جلد مقالات مقوله منطق و فلسفه منطق (شامل ۱۱ مقاله) و مقالات مقوله فلسفه اخلاق (شامل ۱۶ مقاله) و ۶ مقاله از مقالات مقوله کلام و فلسفه دین آمده است. مقالات این کتاب در مجموع ۳۳ مقاله است که از میان آنها ۱۴ مقاله از انگلیسی، یک مقاله از زبان فرانسه و دو مقاله از عربی به فارسی ترجمه شده است. عناوین برخی از مقالات و نویسندگان آن عبارتند از: ـ ملاصدرا و تحول قضایا به حملی موجب کلی ضروری: احد فرامرز قراملکی ـ منطق زمان و نظریه اقتران شرطی ابنسینا: لطفالله نبوی ـ نگاهی گذرا به نگاشتههای منطقی از آغاز تا عصر ملاصدرا: محسن برزگر ـ حقیقت چیست؟: پال هورویچ ـ اصول تربیتی فلاسفه و متکلمین اسلامی و مقایسه آنها با علوم تربیتی: علی قائمی امیری ـ اهمیت عقاید دینی در تصمیمگیری پزشکی در مورد پایان زندگی: هانس مارتین زاس ـ ملاحظاتی درباره مفهوم قلب از نظر ملاصدرا: پل بالانفه ـ زیست اخلاق و ژنتیک انسانی: لودگر هونفلدر ـ پلورالیسم و وحی از منظر صدرالمتألهین شیرازی و پلتیلیش: اعلاء تورانی این کتاب بهمراه شرح مختصری از نویسندگان مقالات در ۵۱۴ صفحه از سوی بنیاد حکمت اسلامی صدرا منتشر شده است.
انتخاب :
مشخصات اثر
ثبت نظر
عنوان :
واژهنامهی توصیفی منطق: انگلیسی به فارسی
نویسنده:
ضیا، موحد
نوع منبع :
کتابشناسی(نمایه کتاب)
وضعیت نشر :
تهران: پژوهشگاه علوم انسانی و مطالعات فرهنگی,
زبان :
انگلیسی , فارسی
کلیدواژههای اصلی :
منطق جدید
,
منطق قدیم
,
منطق کلاسیک
,
منطق غیر کلاسیک (منطق های توسعه یافته)
,
منطق گزاره ها
,
منطق محمولها
,
منطق مرتبه دوم
,
منطق این همانی
,
منطق موجهات
,
منطق شناختی
,
منطق تکلیف Deontic Logic (منطق بررسی مفاهیم هنجاری )
,
منطق غیر صوری informal logic
,
منطق فراگیر inclusive logic
,
منطق شهودگرا Intuitionistic Logic
,
منطق های ساختاری
,
منطق های فراسازگار
,
منطق فازی
,
منطق احتمالاتی Probabilistic logic
,
منطق آزاد
,
منطق های نایکنواخت Nonmonotonic logic
,
منطق ابهام
,
منطق پیشفرض
انتخاب :
مشخصات اثر
ثبت نظر
عنوان :
فرهنگ نامه منطق
نویسنده:
نرگس نیمروزی
نوع منبع :
کتابشناسی(نمایه کتاب)
وضعیت نشر :
قم: بوستان کتاب قم ,
زبان :
فارسی
کلیدواژههای اصلی :
فرهنگ نامه منطق
,
منطق ریاضی
,
منطق جدید
,
منطق قدیم
,
منطق کلاسیک
,
منطق غیر کلاسیک (منطق های توسعه یافته)
,
منطق گزاره ها
,
منطق محمولها
,
منطق مرتبه دوم
,
منطق این همانی
,
منطق موجهات
,
منطق تکلیف Deontic Logic (منطق بررسی مفاهیم هنجاری )
,
منطق غیر صوری informal logic
,
منطق فراگیر inclusive logic
,
منطق شهودگرا Intuitionistic Logic
,
منطق های ساختاری
,
منطق های فراسازگار
,
منطق فازی
,
منطق احتمالاتی Probabilistic logic
,
منطق آزاد
,
منطق های نایکنواخت Nonmonotonic logic
,
منطق ابهام
,
منطق پیشفرض
,
اصطلاح نامه توصیفی
چکیده :
این کتاب اصطلاح نامهای توصیفی و دو زبانه (فارسی - انگلیسی) است که بیش از سه هزار اصطلاح ضروری و پرکاربرد علم منطق درآن گردآوری شده است. دامنه اصطلاحات این فرهنگ نامه، منطق قدیم و جدید و برخی شاخههای آن را دربردارد. مولف با استفاده از منابع فارسی، عربی، انگلیسی و پایگاههای متعدد اینترنتی معتبر فلسفی و منطقی این اصطلاحاترا تدوین نموده است. نکات قابل توجه این فرهنگ نامه عبارتند از: نثر روان، طراحی جدولهای متفاوت و ابتکاری، مستندسازی اصطلاحات، تنوع حوزههای اصطلاحات، بهرهگیری از منابع معتبر کهن و معاصر عربی و انگلیسی، همچنین جامعیت و مدخلهای توصیفی این اثر میباشد
انتخاب :
مشخصات اثر
ثبت نظر
عنوان :
الگویی برای منطق خواست بر مبنای منطقهای نیمهکلاسیک
نویسنده:
عامر آمیخته
نوع منبع :
رساله تحصیلی
وضعیت نشر :
تهران: دانشگاه تربیت مدرس,
زبان :
فارسی
کلیدواژههای اصلی :
منطق ربط
,
منطق شرطی
,
اصطلاحنامه منطق
,
منطق ریاضی
,
منطق جدید
,
منطق کلاسیک
,
منطق غیر کلاسیک (منطق های توسعه یافته)
,
منطق موجهات
,
منطق تکلیف Deontic Logic (منطق بررسی مفاهیم هنجاری )
,
منطق خواست
,
منطق ترجیح
چکیده :
در پی توسعهی منطق جدید، «منطق کلاسیک» در مقولههایی چون «ضرورت»، «زمان»، «معرفت»، «تکلیف» و ... گسترش پیدا کرده است. با پرداختن به مقولهی «خواست»، الگو از «منطقهای نیمهکلاسیک» بالاخص «منطق تکلیف» و به کمک «منطق ترجیح»، گسترشی نو از منطق کلاسیک را برساختیم. این گسترش، در حوزههای «موجهات نرمال»، «موجهات غیرنرمال»، «محمولات»، «عوامل»، «شرط» و «مقدار خواستن» بسط داده شده است. با تاکید بر تکنیکهای ریاضی منطق جدید، کمی فلسفیدن و اشاراتی بر روانشناسی به تحلیل مفهوم «خواستن» و تاسیس «منطقهای خواست» پرداختیم. به علاوه سیستمهایی با محوریت مفاهیم «تمایل» و «ترجیح» را معرفی کردیم. و در مورد ارتباط بین «خواستن» و «ترجیح دادن» نیز نظامهایی را پیشنهاد دادیم. در میان منطقها به طور مستقیم یا غیرمستقیم از «منطق موجهات محمولی»، «منطق زمان»، «منطق معرفت»، «منطق تکلیف شرطی»، «منطق ترجیح»، «منطق ترجیح موجهاتی»، «منطق ربط» و «منطق شرطی» استفاده کردهایم. در بیان ساختار معنایی «منطقهای خواست نرمال» نیز از ایدهی «جهانهای ممکن تکلیفی» در دلالت شناسی کریپکیایی «منطق تکلیف» بهره بردهایم.
انتخاب :
مشخصات اثر
ثبت نظر
عنوان :
معرفی منطق خطی
نویسنده:
پریسا طلوعی
نوع منبع :
رساله تحصیلی
وضعیت نشر :
کرمان: دانشگاه شهید باهنر کرمان,
زبان :
فارسی
کلیدواژههای اصلی :
منطق ریاضی
,
معناشناسی (منطق)
,
منطق جدید
,
منطق کلاسیک
,
منطق غیر کلاسیک (منطق های توسعه یافته)
,
منطق شهودگرا Intuitionistic Logic
,
منطق خطی
چکیده :
در این پایان نامه سعی شده است، ابتدا به معرفی منطق های کلاسیک، شهود گرایی و زیر ساخت بپردازیم و بعد ارتباط منطق خطی را با هر یک از این منطق ها بیان می کنیم. همچنین منطق خطی را با تفسیر کامل هر یک ازحروف ربط و اصول موضوعه آن بیان کرده ایم و در انتها معنا شناسی های این منطق را بررسی می کنیم و به توصیف هر یک از حروف ربط این منطق در هر یک از این معناشناسی ها می پردازیم. سپس ارتباط معناشناسی ها را با منطق های کلاسیک و شهودگرایی بیان می کنیم، که به طور خلاصه محتوای آن به شرح زیر است: این پایان نامه از سه فصل تشکیل شده و در این فصل ها سعی شده است تمامی مطالب مورد نیاز بیان شود فصل اول شامل سه بخش است که در بخش های اول و دوم و سوم به ترتیب، منطق های کلاسیک و شهودگرایی و زیرساخت را معرفی می کنیم و نکاتی در مورد آنها را توضیح می دهیم. در بخش اول فصل دوم به تعریف منطق خطی می پردازیم. در بخش دوم الفبای آن را بیان می کنیم و هر یک ازحروف ربط آن را با ذکر مثال توضیح می دهیم. بخش سوم شامل یکی از کاربردهای این منطق است و در بخش چهارم اصول موضوعه منطق خطی را بیان می کنیم. فصل سوم شامل سه بخش است. در بخش اول به بیان معناشناسی حالت می پردازیم و تفسیر هر یک از حروف ربط را در آن نشان می دهیم. در بخش دوم معناشناسی تشخیصی را بیان می کنیم و حروف ربط را در آن تفسیرمی کنیم و چگونگی تبدیل منطق های کلاسیک و شهودگرایی به منطق خطی را بیان می کنیم. در بخش سوم نیز مثالی برای این معناشناسی ها می آوریم.
انتخاب :
مشخصات اثر
ثبت نظر
1
2
3
4
تعداد رکورد ها : 38
×
درخواست مدرک
کاربر گرامی : برای در خواست مدرک ابتدا باید وارد سایت شوید
چنانچه قبلا عضو سایت شدهاید
ورود به سایت
در غیر اینصورت
عضویت در سایت
را انتخاب نمایید
ورود به سایت
عضویت در سایت
×
ارسال نظر
نوع
توضیحات
آدرس پست الکترونیکی
کد امنیتی
*
*
با موفقیت به ثبت رسید