جستجوي پيشرفته | کتابخانه مجازی الفبا
کتابخانه مجازی الفبا،تولید و بازنشر کتب، مقالات، پایان نامه ها و نشریات علمی و تخصصی با موضوع کلام و عقاید اسلامی
کتابخانه مجازی الفبا،تولید و بازنشر کتب، مقالات، پایان نامه ها و نشریات علمی و تخصصی با موضوع کلام و عقاید اسلامی
کانال ارتباطی از طریق پست الکترونیک :
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
اکسل
انتخاب همه
3
4
5
6
7
8
9
10
11
12
تعداد رکورد ها : 186
عنوان :
ورودی به منطق ریاضی : قضیه مستقیم و قضیه معکوس
نویسنده:
ایزرایل سالامونوویچ گرادشتین
نوع منبع :
کتابشناسی(نمایه کتاب) , ترجمه اثر
وضعیت نشر :
تهران : خوارزمی,
کلیدواژههای اصلی :
قضایای منطقی
,
منطق ریاضی
,
منطق جدید
,
قضیه مستقیم
,
قضیه معکوس
,
منطق کلاسیک
,
منطق گزاره ها
انتخاب :
مشخصات اثر
ثبت نظر
عنوان :
منطق های چند ارزشی
نویسنده:
گرزگرز مالینوسکی
نوع منبع :
کتابشناسی(نمایه کتاب) , ترجمه اثر
وضعیت نشر :
کرمان: دانشگاه شهید باهنر (کرمان),
زبان :
فارسی
کلیدواژههای اصلی :
منطق ریاضی
,
منطق جدید
,
منطق های چند ارزشی
,
منطق کلاسیک
انتخاب :
مشخصات اثر
ثبت نظر
عنوان :
آشنایی با منطق ریاضی
نویسنده:
هربرت اندرتون
نوع منبع :
کتابشناسی(نمایه کتاب) , ترجمه اثر
وضعیت نشر :
تهران: مرکز نشر دانشگاهی,
زبان :
فارسی
کلیدواژههای اصلی :
منطق ریاضی
,
منطق جدید
,
منطق کلاسیک
,
آشنایی با منطق ریاضی
انتخاب :
مشخصات اثر
ثبت نظر
عنوان :
مدخل منطق صورت، یا، منطق ریاضی
نویسنده:
غلامحسین مصاحب
نوع منبع :
کتابشناسی(نمایه کتاب)
وضعیت نشر :
تهران: حکمت,
زبان :
فارسی
کلیدواژههای اصلی :
منطق ریاضی
,
منطق جدید
,
منطق صورت
,
منطق کلاسیک
,
مدخل منطق صورت، یا، منطق ریاضی
انتخاب :
مشخصات اثر
ثبت نظر
عنوان :
آشنایی با منطبق گزارهها
نویسنده:
مرتضی حاجحسینی
نوع منبع :
کتابشناسی(نمایه کتاب)
وضعیت نشر :
اصفهان: نقش مانا,
زبان :
فارسی
کلیدواژههای اصلی :
منطق ریاضی
,
منطق جدید
,
منطق کلاسیک
,
منطق گزاره ها
انتخاب :
مشخصات اثر
ثبت نظر
عنوان :
ارزیابی نسبت تفکر انتقادی با دو منطق سنتی و جدید
نویسنده:
محمدعلی میرباقری
نوع منبع :
رساله تحصیلی
وضعیت نشر :
تهران: دانشگاه علامه طباطبایی,
زبان :
فارسی
کلیدواژههای اصلی :
تفکر نقادانه
,
منطق جدید
,
منطق قدیم
,
تفاوت منطق جدید و منطق قدیم
,
منطق کلاسیک
چکیده :
در رسالهی حاضر، وظیفهای که ما بر عهده گرفتیم ارزیابی نسبتی است که تفکر انتقادی با دو منطق سنتی و قدیم برقرار میکند. این ارزیابی ازاینجهت حائز اهمیت است که هم تفکر انتقادی و هم منطقها به دنبال این هستند که انسان را از رفتن به بیراهه در هنگام اندیشیدن (یا ارزیابی اندیشهها) حفظ کنند. برای انجام این مهم رسالهی حاضر در سه فصل تنظیم گردیده است: در فصل اول ما اولاً بدنبال ارائهی تعریفی برای تفکر انتقادی هستیم. برای انجام این کار در حد توان منابع موجود را بدنبال تعاریف ارائهشده از تفکر انتقادی جستجو کردهایم. در نهایت چند مولفهی مختلف، که عمدتاً در تعریف تفکر انتقادی گنجاندهشدهاند، را مورد ارزیابی قرار داده و دست آخر تعریفی را بهعنوان تعریف مختار خود ارائه کردهایم. این تعریف ملاک کار، و دلیل نگارش فصل دوم است. در فصل دوم به مهارتهای تفکر انتقادی پرداختهایم. این مهارتها که حاصل امتزاج رویکردهای مختلف به مهارتهای تفکر انتقادی است، در یک دستهبندی جدید ارائه شده است. مشخصاً رویکرد مغالطاتی با رویکردی که آن را رویکرد نقدی مینامیم در کنار هم آورده شدهاند. رویکرد مغالطاتی به تفکر انتقادی ضعفی دارد و آن اینکه این رویکرد جنبهی منفی دارد؛ لذا تنها وقتی بکار میآید که ما در مقام ارزیابی مدعیات دیگران باشیم. اما اگر خود بخواهیم استدلال کنیم نمیتوانیم از این رویکرد استفاده کنیم. به همین جهت، برخی پیشنهاد دادهاند که بهجای رویکرد مغالطاتی، از رویکرد نقادانه استفاده شود که ملاکهایی مثبت برای درستی یک «استدلال» ارائه میکند. ما در رسالهی حاضر، علاوه بر رویکرد مثبت و ذکر قواعد کلی استدلال، رویکرد مغالطاتی را نیز مد نظر قرار دادهایم. این امر دو دلیل دارد: اول اینکه رویکرد نقادانه ملاکهای مثبت برای «استدلال» ارائه میکند، اما مدعیات همیشه در قالب استدلال مطرح نمیشوند. در توجه ما به تفکر انتقادی مدعیات تکگزارهای که بر استدلال استوار نیستند نیز مد نظر قرارگرفتهاند. علت دیگر آن است که اگرچه ارائهی ملاکهای کلی برای تفکر انتقادی خوب است، اما ذکر موارد جزئی (علیرغم گستردگی موارد) کاربردیتر بوده و متفکر انتقادی امکان تشخیص سریعتر اِشکال در ادعا را دارد. تطبیق مورد جزئی با جزئی راحتتر از تطبیق مورد جزئی با کلی است. همچنین در این فصل دو بخش تحت عنوانهای «مغالطات روانی» و «مغالطات تصویری» گنجانده شده است که هرکدام تا حدی ابداع نگارنده است. این ابداع نه از حیث نوآوری مطالب، که بیشتر از جهت ذکر آنها در دستهای جداگانه است. در فصل سوم، به ارزیابی نسبت میان تفکر انتقادی با دو منطق سنتی و منطق جدید پرداختهایم، و اشتراکات و افتراقات این دو منطق با تفکر انتقادی را به ارزیابی نشستهایم. این ارزیابی در دو سطح بررسی اشتراکات و افتراقات روبنایی و ارزیابی نسبت میان مبانی صورت گرفته است.
انتخاب :
مشخصات اثر
ثبت نظر
عنوان :
قواعد پذیرفتنی در منطق گبی-دیانگ
نویسنده:
آمنه پیرمرادی
نوع منبع :
رساله تحصیلی
منابع دیجیتالی :
متن ناقص پایان نامه
وضعیت نشر :
اصفهان: دانشگاه صعنتی اصفهان,
زبان :
فارسی
کلیدواژههای اصلی :
منطق ریاضی
,
منطق جدید
,
منطق کلاسیک
,
منطق غیر کلاسیک (منطق های توسعه یافته)
,
منطق شهودگرا Intuitionistic Logic
,
منطق میانی
,
خاصیت تفکیک پذیری
,
قوانین پذیرفتنی
,
منطق گبی-دیانگ
چکیده :
در این پایاننامه قواعد پذیرفتنی منطقهای میانی را مطالعه کرده و نتایج کلی برای توسیعهای مدلها و مجموعهی فرمولها را ارائه میکنیم. این نتایج کلی برای بدست آوردن پایهای برای قواعد پذیرفتنی منطقهای گبی-دیانگ و نشان دادن اینکه این منطقها تایپ یکسانسازی متناهی دارند بکار برده میشود آنگاه یک الگوریتم براساس تفکیک و تابلوها ارائه میکنیم که قادر است تصویری بودن یک فرمول در منطق شهودی گزارهای را بررسی نماید
انتخاب :
مشخصات اثر
ثبت نظر
عنوان :
جنبههایی از منطق تلفیقی اثباتها و اثباتپذیری
نویسنده:
مقداد قاری
نوع منبع :
رساله تحصیلی
منابع دیجیتالی :
متن ناقص پایان نامه
وضعیت نشر :
اصفهان: دانشگاه صعنتی اصفهان,
زبان :
فارسی
کلیدواژههای اصلی :
منطق شناخت
,
اثبات قضیه
,
منطق توجیه
,
منطق و مبانی ریاضی
,
منطق جدید
,
منطق شناختی
,
منطق کلاسیک
,
منطق موجهات
,
منطق تلفیقی
چکیده :
در این رساله به بررسی منطقهای توجیه و ارتباط آنها با منطقهای موجهات میپردازیم. نتایج این رساله به سه گروه قابل تقسیم هستند. ارایه منطقهای توجیه جدید، از جمله: JB (صورت صریح منطق موجه براوری KB)، JGL (صورت صریح منطق اثباتپذیری گودل لوب GL) و JLD (صورتهای صریح منطقهای دانشی توزیعی). بررسی ارتباط منطقهای توجیه ارایه شده با منطقهای موجهات متناظر آنها بوسیله ارایه قضیه تحقق، از جمله: اثبات قضیه تحقق برای KB با استفاده از نگاشت نشاندن، اثبات قضیه تحقق برای GL به صورت نحوی، و اثبات قضیه تحقق برای JLD به صورت معنایی. ارایه دستگاههای اثبات گنتسنی برای منطقهای توجیه و اثبات قضیه حذف برش برای آنها، از جمله: دستگاههای گنتسنی LPG وLPLG برای منطق اثباتها، دستگاههای گنتسنی S4LPG و S4LPLG برای منطق شناختی با توجیه S4LP ، دستگاه ابر رشتهای S4LPNLH برای منطق شناختی با توجیه S4LPN و دستگاههای رشتهای برچسبدار برای منطقهای توجیه و منطقهای شناختی با توجیه.
انتخاب :
مشخصات اثر
ثبت نظر
عنوان :
پلنتینگا و ضرورت
نویسنده:
امامویردی سه برادری لاهرود
نوع منبع :
رساله تحصیلی
منابع دیجیتالی :
متن ناقص پایان نامه
وضعیت نشر :
تهران: دانشگاه علامه طباطبایی,
زبان :
فارسی
کلیدواژههای اصلی :
منطق ریاضی
,
جهان های ممکن(اصطلاح وابسته)
,
ضرورت
,
این همانی بین جهانی
,
ذاتباوری (دیدگاه فلسفی)
,
منطق جدید
,
منطق کلاسیک
,
منطق موجهات
,
تابع هسته ای
,
وجه گزاره ای
,
وجه شئای
,
تئوری همتا
چکیده :
این پایان نامه به همراه یک مقدمه شامل ترجمه هشت فصل از کتاب The Nature of Necessity آلوین پلنتینگا است. مقدمه شامل شرح مختصری از زندگی و افکار پلتینگابه همراه ملاحظاتی در مورد منطق موجهات و مفهوم ضرورت است. و هشت فصل کتاب پلنتینگا شامل،محدوده ضرورت، وجه گزارهای و وجه شئای، ذاتگرایی و تحویل به تئوری مجموعهها، جایگاه ضرورت، تابع هستهای، جهانها، کتابها و ویژگیهای ذاتی، شاخصبندی اولیه ذات، اینهمانی بین جهانی یا افراد مقیدبهجهان، منطق موجهات و اشیاء ممکن و دلالتشناختی محض و کاربردی می باشد.
انتخاب :
مشخصات اثر
ثبت نظر
عنوان :
فلسفه ریاضی : کلاسیک، مدرن، پستمدرن
نویسنده:
محمد صالمصلحیان
نوع منبع :
کتابشناسی(نمایه کتاب)
وضعیت نشر :
مشهد: واژگان خرد,
زبان :
فارسی
کلیدواژههای اصلی :
فلسفه ریاضی
,
علم ریاضی
,
منطق ریاضی
,
منطق جدید
,
منطق کلاسیک
,
منطق غیر کلاسیک (منطق های توسعه یافته)
,
فلسفه ریاضی مدرن
,
فلسفه ریاضی پست مدرن
,
فلسفه ریاضی کلاسیک
انتخاب :
مشخصات اثر
ثبت نظر
3
4
5
6
7
8
9
10
11
12
تعداد رکورد ها : 186
×
درخواست مدرک
کاربر گرامی : برای در خواست مدرک ابتدا باید وارد سایت شوید
چنانچه قبلا عضو سایت شدهاید
ورود به سایت
در غیر اینصورت
عضویت در سایت
را انتخاب نمایید
ورود به سایت
عضویت در سایت
×
ارسال نظر
نوع
توضیحات
آدرس پست الکترونیکی
کد امنیتی
*
*
با موفقیت به ثبت رسید