مرور درختی موضوعات | کتابخانه مجازی الفبا
کتابخانه مجازی الفبا،تولید و بازنشر کتب، مقالات، پایان نامه ها و نشریات علمی و تخصصی با موضوع کلام و عقاید اسلامی
کتابخانه مجازی الفبا،تولید و بازنشر کتب، مقالات، پایان نامه ها و نشریات علمی و تخصصی با موضوع کلام و عقاید اسلامی
کانال ارتباطی از طریق پست الکترونیک :
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
اکسل
انتخاب همه
10
11
12
13
14
15
16
17
18
19
تعداد رکورد ها : 186
عنوان :
کاربردهای سمانتیکهای چندارزشی در منطقهای ربط
نویسنده:
فاطمه میرطاهری
نوع منبع :
رساله تحصیلی
منابع دیجیتالی :
متن ناقص پایان نامه
وضعیت نشر :
تهران: دانشگاه علامه طباطبایی,
زبان :
فارسی
کلیدواژههای اصلی :
منطق ربط
,
منطق چند ارزشی
,
ضرورت منطقی
,
قیاس استثنائی
,
منطق ریاضی
,
منطق جدید
,
منطق کلاسیک
,
سمانتیک چند ارزشی
چکیده :
اندرسون و بلنپ در سال 1975 در کتاب Entailment تلاشهای فراوانی برای نشان دادن همه کاربردهای ماتریسهای چندارزشی در منطقهای ربط کرده اند و ما هم در این پایان نامه برخی از این کاربردها را به تفصیل از این کتاب گزارش می کنیم و هدف عمده ما معرفی مواردی است که اندرسون و بلنپ به عنوان کاربردهای ماتریسهای چندارزشی در منطقهای ربط ذکر کرده اند. در این پایان نامه یرای تشخیص فرمولهای فاقد «ضرورت» و «ربط» بین مقدم و تالی که نمی توانند قضایای منطقهای E و R باشند، دو روش کلی معرفی میشود، از طرف دیگر تعریف پذیری «ضرورت» در منطق E و تعریف ناپذیری «ضرورت» در منطقهای T و R نیز اثبات شده و برای ااثبات استقلال اصول موضوعه منطقهای ربط نیز یک روش کلی معرفی میشود که در اثبات تمامی موارد فوق و چند مطلب دیگر هم از ماتریسهای چندارزشی استفاده میشود.
انتخاب :
مشخصات اثر
ثبت نظر
عنوان :
الگویی برای منطق خواست بر مبنای منطقهای نیمهکلاسیک
نویسنده:
عامر آمیخته
نوع منبع :
رساله تحصیلی
وضعیت نشر :
تهران: دانشگاه تربیت مدرس,
زبان :
فارسی
کلیدواژههای اصلی :
منطق ربط
,
منطق شرطی
,
اصطلاحنامه منطق
,
منطق ریاضی
,
منطق جدید
,
منطق کلاسیک
,
منطق غیر کلاسیک (منطق های توسعه یافته)
,
منطق موجهات
,
منطق تکلیف Deontic Logic (منطق بررسی مفاهیم هنجاری )
,
منطق خواست
,
منطق ترجیح
چکیده :
در پی توسعهی منطق جدید، «منطق کلاسیک» در مقولههایی چون «ضرورت»، «زمان»، «معرفت»، «تکلیف» و ... گسترش پیدا کرده است. با پرداختن به مقولهی «خواست»، الگو از «منطقهای نیمهکلاسیک» بالاخص «منطق تکلیف» و به کمک «منطق ترجیح»، گسترشی نو از منطق کلاسیک را برساختیم. این گسترش، در حوزههای «موجهات نرمال»، «موجهات غیرنرمال»، «محمولات»، «عوامل»، «شرط» و «مقدار خواستن» بسط داده شده است. با تاکید بر تکنیکهای ریاضی منطق جدید، کمی فلسفیدن و اشاراتی بر روانشناسی به تحلیل مفهوم «خواستن» و تاسیس «منطقهای خواست» پرداختیم. به علاوه سیستمهایی با محوریت مفاهیم «تمایل» و «ترجیح» را معرفی کردیم. و در مورد ارتباط بین «خواستن» و «ترجیح دادن» نیز نظامهایی را پیشنهاد دادیم. در میان منطقها به طور مستقیم یا غیرمستقیم از «منطق موجهات محمولی»، «منطق زمان»، «منطق معرفت»، «منطق تکلیف شرطی»، «منطق ترجیح»، «منطق ترجیح موجهاتی»، «منطق ربط» و «منطق شرطی» استفاده کردهایم. در بیان ساختار معنایی «منطقهای خواست نرمال» نیز از ایدهی «جهانهای ممکن تکلیفی» در دلالت شناسی کریپکیایی «منطق تکلیف» بهره بردهایم.
انتخاب :
مشخصات اثر
ثبت نظر
عنوان :
تطبیقی پیرامون قضایای کلی و جزئی در منطق جدید و قدیم
نویسنده:
موسی ملایری
نوع منبع :
مقاله
منابع دیجیتالی :
نسخه PDF
وضعیت نشر :
حکمت و فلسفه,
زبان :
فارسی
کلیدواژههای اصلی :
قضیه وجودی
,
اصطلاحنامه منطق
,
قضایای حقیقه و خارجیه
,
قضایای کلی
,
منطق ریاضی
,
قضیه شرطیه(مقابل قضیه حملیه)
,
منطق جدید
,
قضایای جزئی
انتخاب :
مشخصات اثر
ثبت نظر
عنوان :
فرهنگ نامه منطق
نویسنده:
نرگس نیمروزی
نوع منبع :
کتابشناسی(نمایه کتاب)
وضعیت نشر :
قم: بوستان کتاب قم ,
زبان :
فارسی
کلیدواژههای اصلی :
فرهنگ نامه منطق
,
منطق ریاضی
,
منطق جدید
,
منطق قدیم
,
منطق کلاسیک
,
منطق غیر کلاسیک (منطق های توسعه یافته)
,
منطق گزاره ها
,
منطق محمولها
,
منطق مرتبه دوم
,
منطق این همانی
,
منطق موجهات
,
منطق تکلیف Deontic Logic (منطق بررسی مفاهیم هنجاری )
,
منطق غیر صوری informal logic
,
منطق فراگیر inclusive logic
,
منطق شهودگرا Intuitionistic Logic
,
منطق های ساختاری
,
منطق های فراسازگار
,
منطق فازی
,
منطق احتمالاتی Probabilistic logic
,
منطق آزاد
,
منطق های نایکنواخت Nonmonotonic logic
,
منطق ابهام
,
منطق پیشفرض
,
اصطلاح نامه توصیفی
چکیده :
این کتاب اصطلاح نامهای توصیفی و دو زبانه (فارسی - انگلیسی) است که بیش از سه هزار اصطلاح ضروری و پرکاربرد علم منطق درآن گردآوری شده است. دامنه اصطلاحات این فرهنگ نامه، منطق قدیم و جدید و برخی شاخههای آن را دربردارد. مولف با استفاده از منابع فارسی، عربی، انگلیسی و پایگاههای متعدد اینترنتی معتبر فلسفی و منطقی این اصطلاحاترا تدوین نموده است. نکات قابل توجه این فرهنگ نامه عبارتند از: نثر روان، طراحی جدولهای متفاوت و ابتکاری، مستندسازی اصطلاحات، تنوع حوزههای اصطلاحات، بهرهگیری از منابع معتبر کهن و معاصر عربی و انگلیسی، همچنین جامعیت و مدخلهای توصیفی این اثر میباشد
انتخاب :
مشخصات اثر
ثبت نظر
عنوان :
تعریف سور قضیه
نویسنده:
ایل امان کُر
نوع منبع :
مقاله
منابع دیجیتالی :
متن
زبان :
فارسی
کلیدواژههای اصلی :
منطق جدید
انتخاب :
مشخصات اثر
ثبت نظر
عنوان :
آشنایی با فرهنگ نامه های منطقی
نویسنده:
محمدرضا کوهپایه
نوع منبع :
مقاله
منابع دیجیتالی :
متن
زبان :
فارسی
کلیدواژههای اصلی :
منطق جدید
انتخاب :
مشخصات اثر
ثبت نظر
عنوان :
نگاهی به تاریخ منطق و مبانی فلسفی آن
نویسنده:
حمید علایی نژاد
نوع منبع :
مقاله
منابع دیجیتالی :
نسخه PDF
زبان :
فارسی
کلیدواژههای اصلی :
منطق چند ارزشی
,
اصطلاحنامه منطق
,
فلسفه منطق
,
تفاوت منطق فازی و کلاسیک
,
منطق جدید
کلیدواژههای فرعی :
تفاوت منطق جدید و منطق قدیم ,
انتخاب :
مشخصات اثر
ثبت نظر
عنوان :
منطق ریاضی چیست ؟
نویسنده:
ج.ن کراسلی و دیگران ، ترجمه شاپور اعتماد و غلامرضا برادران خسروشاهی
نوع منبع :
کتابشناسی(نمایه کتاب)
زبان :
فارسی
کلیدواژههای اصلی :
منطق ریاضی
,
منطق جدید
چکیده :
فهست مطالب : 1. بررسی تاریخی (برر سی تاریخ استنتاج صوری که با ارسطو و اقلیدس و افرادی دیگر شروع می شود و تاریخ آنالیز ریاضی که به ارشمیدس باز می گردد) 2. تمامیت حساب محمولات 3. نظریه مدل ها 4. ماشین های تورینگ و توابع بازگشتی 5. قضایای ناتمامیت گودل 6. نظریه مجموعه ها 7. پیشنهادهایی برای مطالعات بیشتر
انتخاب :
مشخصات اثر
ثبت نظر
عنوان :
مدخل منطق صورت
نویسنده:
غلامحسین مصاحب
نوع منبع :
کتابشناسی(نمایه کتاب)
زبان :
فارسی
کلیدواژههای اصلی :
اصطلاحنامه منطق
,
منطق جدید
چکیده :
این کتاب اولین کتابی است که به زبان فارسی در منطق جدید نوشته شده است. عناوین کلی کتاب به قرار زیر است : حساب گزاره ها حساب محمولات مرتبه اول حساب محمولات بالاتر اصول منطق صورت کلاسیک تأسیس حساب گزاره ها به روش قیاسی
انتخاب :
مشخصات اثر
ثبت نظر
عنوان :
قلمرو و مرزهای منطق صوری
نویسنده:
ریچارد جفری، ترجمه : پرویز پیر
نوع منبع :
کتابشناسی(نمایه کتاب)
وضعیت نشر :
انتشارات علمی و فرهنگی,
زبان :
فارسی
کلیدواژههای اصلی :
منطق جدید
,
کتب منطق جدید
چکیده :
از مقدمه مترجم : در کتاب حاضر فصلهای نخست تا پنجم به آشنایی با کلیات منطق اختصاص دارد تا خواننده ابتدا تسلط کافی بر مسائل جاری منطق پیدا کند سپس در فصلهای ششم و هفتم به موضوع های پیشرفته تر و مجرد تری پرداخته می شود که هدف ان تعیین " قلمرو و مرزهای منطق صوری" است. البته در پاره ای از قسمت های پیشین کتاب (به طور عمده ، قسمت های4-2 تا 6-2 و 5-3 تا 8-3 و قسمت 9-4 ) نیز آمادگی های لازم برای ورود در بحث های دو فصل آخر فراهم می گردد. تدوین کتاب بر پایه این فرض است که خواننده در دوره دبیرستان درباره مقدمات منطق (زیر عنوان ریاضیات جدید) تدریس می شود، آشنایی دارد و به همین سبب در نخستین فصل کتاب که به طور عمده درباره ادات های تابع ارزشی عاطف ، فاصل و ناقض سخن به میان می آید به ایجاز برگزار گردیده و روش های کار همان شیوه متداول جدول های ارزش است.
انتخاب :
مشخصات اثر
ثبت نظر
10
11
12
13
14
15
16
17
18
19
تعداد رکورد ها : 186
×
درخواست مدرک
کاربر گرامی : برای در خواست مدرک ابتدا باید وارد سایت شوید
چنانچه قبلا عضو سایت شدهاید
ورود به سایت
در غیر اینصورت
عضویت در سایت
را انتخاب نمایید
ورود به سایت
عضویت در سایت
×
ارسال نظر
نوع
توضیحات
آدرس پست الکترونیکی
کد امنیتی
*
*
با موفقیت به ثبت رسید