جستجوي پيشرفته | کتابخانه مجازی الفبا
کتابخانه مجازی الفبا،تولید و بازنشر کتب، مقالات، پایان نامه ها و نشریات علمی و تخصصی با موضوع کلام و عقاید اسلامی
کتابخانه مجازی الفبا،تولید و بازنشر کتب، مقالات، پایان نامه ها و نشریات علمی و تخصصی با موضوع کلام و عقاید اسلامی
کانال ارتباطی از طریق پست الکترونیک :
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
عنوان :
نمادهای فرگه: چه هستند و چه معنایی دارند [کتاب انگلیسی]
نویسنده:
Gregory Landini (auth.)
نوع منبع :
کتاب , کتابخانه عمومی
منابع دیجیتالی :
نسخه PDF
وضعیت نشر :
Palgrave Macmillan UK,
زبان :
انگلیسی
کلیدواژههای اصلی :
فرگه
,
منطق جدید
,
منطق کلاسیک
,
منطق غیر کلاسیک (منطق های توسعه یافته)
,
4- فلسفه تحلیلی معاصر
انتخاب :
مشخصات اثر
ثبت نظر
عنوان :
نظریه اثبات و معناشناسی منطق مدال شهودی [کتاب انگلیسی]
نویسنده:
Alex K. Simpson
نوع منبع :
کتاب , رساله تحصیلی , کتابخانه عمومی
منابع دیجیتالی :
نسخه PDF
وضعیت نشر :
University of Edinburgh,
زبان :
انگلیسی
کلیدواژههای اصلی :
منطق غیر کلاسیک (منطق های توسعه یافته)
,
منطق شهودگرا Intuitionistic Logic
انتخاب :
مشخصات اثر
ثبت نظر
عنوان :
نظریه توپوس ابتدایی و منطق شهودی [کتاب انگلیسی]
نویسنده:
C.L. Mahany
نوع منبع :
کتاب , کتابخانه عمومی
منابع دیجیتالی :
نسخه PDF
زبان :
انگلیسی
کلیدواژههای اصلی :
منطق غیر کلاسیک (منطق های توسعه یافته)
,
منطق شهودگرا Intuitionistic Logic
انتخاب :
مشخصات اثر
ثبت نظر
عنوان :
درآمدی کوتاه بر منطق شهودگرا [کتاب انگلیسی]
نویسنده:
Grigori Mints
نوع منبع :
کتاب , کتابخانه عمومی
منابع دیجیتالی :
نسخه PDF
وضعیت نشر :
Springer,
زبان :
انگلیسی
کلیدواژههای اصلی :
منطق غیر کلاسیک (منطق های توسعه یافته)
,
منطق شهودگرا Intuitionistic Logic
انتخاب :
مشخصات اثر
ثبت نظر
عنوان :
منطق غیر صوری: یک رویکرد عملی [کتاب انگلیسی]
نویسنده:
Douglas Walton
نوع منبع :
کتاب , کتابخانه عمومی
منابع دیجیتالی :
نسخه PDF
وضعیت نشر :
Cambridge University Press,
زبان :
انگلیسی
کلیدواژههای اصلی :
منطق غیر کلاسیک (منطق های توسعه یافته)
,
منطق غیر صوری informal logic
چکیده :
ترجمه ماشینی: به نظر من این کتاب بسیار منطقی، چیدمان خوب و جالب بود. من با خواندن این کتاب مشکلی نداشتم. در واقع خواندن نسیمی بود و من اکنون علاقه مندم کتاب های بیشتری را در زمینه منطق و استدلال نویسنده بخوانم. می خواهم اضافه کنم که این اولین کتابی است که در زمینه منطق خوانده ام. علاوه بر این، من دریافتم که اطلاعات کتاب بسیار عملی/استفاده آسان است. من به طور ناخودآگاه از تکنیکهای این کتاب برای ارزیابی انتقادی برای نقد و ارزیابی استدلالهای مورد استفاده دیگران و استفاده از تکنیکهایی برای ترویج گفتگوی باز در محل کار و در تعاملات روزمرهام استفاده میکنم. من فکر میکنم خواندن این کتاب در دبیرستان عالی خواهد بود، هرچند منظورم این نیست که مطالب «سطح دبیرستان» است. من این کتاب را به همه توصیه می کنم.
انتخاب :
مشخصات اثر
ثبت نظر
عنوان :
راه حلی بر اساس منطق خطی به نفع دیدگاه واقع گرایی علمی در مساله تمایز هستومندهای مشاهده پذیر و مشاهده ناپذیر
نویسنده:
محمد شفیعی؛ آرام باتوبه
نوع منبع :
مقاله , نمایه مقاله
وضعیت نشر :
تهران: منطق پژوهی,
زبان :
فارسی
کلیدواژههای اصلی :
واقعگرایی علمی
,
فلسفه علم
,
منطق جدید
,
منطق کلاسیک
,
منطق غیر کلاسیک (منطق های توسعه یافته)
,
منطق خطی
,
ناسازنمای ابهام
,
تمایز هستومندهای مشاهدهپذیر و مشاهدهناپذیر
,
پادواقعگرایی
چکیده :
توانایی کشیدن خط تمایز دقیق بین هستومندهای مشاهدهپذیر و مشاهدهناپذیر در نظریههای علمی به عنوان موضوعی مورد مناقشه در بین دو دیدگاه مخالف واقعگرایی علمی و پادواقعگرایی هنوز یکی از موضوعات باز در فلسفه علم میباشد. یکی از استدلالهایی که به نفع واقعگرایان ارائه شده است مدعی است که نمی توان علیالاصول خط تمایزی بین این هستومندها کشید. از طرف دیگر پذیرش انسجام دیدگاه پادواقعگرایی به نوعی مستلزم پذیرش تمایز بین هستومندهای مشاهدهپذیر و نامشاهدهپذیر میباشد. اگر به هر وسیلهای این تمایز به صورت اصولی رد شود نتیجه آن عدم انسجام دیدگاه پادواقعگرایی خواهد بود. پادواقعگرایان برای دفاع از انسجام دیدگاه خود مبهم بودن مفاهیم مشاهدهپذیر و مشاهدهناپذیر را مطرح میکنند. در این نوشتار تلاش خواهیم کرد تعبیری از منطق خطی را معرفی نماییم که با به کار بردن آن میتوان وضوح بیشتری به محل نزاع بین واقعگرایان با پادواقعگرایان در مورد ناسازنمای ابهام بخشید. نشان خواهیم داد که اگر تعبیر مورد نظر در ناسازنمای ابهام به کار گرفته شود به صورت منسجم تری می توان ادعا کرد که بر خلاف نظر پادواقعگرایان مبهم بودن مفاهیم مشاهدهپذیر و مشاهدهناپذیر به نفع دیدگاه آنها نخواهد بود.
انتخاب :
صفحات :
از صفحه 107 تا 123
مشخصات اثر
ثبت نظر
عنوان :
منطق پیوسته
نویسنده:
سید محمد امین خاتمی؛ مسعود پورمهدیان
نوع منبع :
مقاله , نمایه مقاله
وضعیت نشر :
تهران: منطق پژوهی,
زبان :
فارسی
کلیدواژههای اصلی :
منطق ریاضی
,
منطق جدید
,
منطق کلاسیک
,
منطق غیر کلاسیک (منطق های توسعه یافته)
,
منطق فازی
,
منطق پیوسته
,
منطق گودل
,
منطق چندمقداری
,
خواص اولیه منطق پیوسته
,
منطقِ چندمقداریِ لوکاسیویچ
چکیده :
منطق پیوسته تعمیمی از منطق کلاسیک به یک منطق با مجموعه مقادیر درستی بینهایت مقداری است. بسیاری از نتایج منطق کلاسیک و نظریه مدلِ آن به منطق پیوسته تعمیم داده شدهاند. منطق پیوسته نه تنها در بررسی و تحلیل خواص ساختارهای مباحث آنالیز ریاضی کاربردهای فراوانی دارد، بلکه باعث بوجود آمدن نگرشهای جدیدی در نظریه مدل منطق کلاسیک نیز شده است.در مقاله حاضر مروری خواهیم داشت بر سیر تکاملی منطق پیوسته از روی منطقِ چندمقداریِ لوکاسیویچ. سپس بعضی از مهمترین خواص اولیه منطق پیوسته را بیان میکنیم. در انتها با توجه به تحلیلی که از مفهوم پیوستگی در منطق پیوسته با توجه به مجموعه مقادیر درستی داریم، نوعی از منطق پیوسته که مبتنی بر نرمهای مثلثی پیوسته است را معرفی خواهیم کرد. این موضوع به معرفی منطقهای پیوسته مبتنی بر منطقهایی مثل منطق گودل و حاصلضربی میانجامد. در انتها به بررسی بعضی از خواص این منطقها از جمله خاصیت فشردگی خواهیم پرداخت
انتخاب :
صفحات :
از صفحه 65 تا 106
مشخصات اثر
ثبت نظر
عنوان :
درباب واقعیتهای منطقی: واقعگرایی دربارۀ رابطۀ نتیجۀ منطقی
نویسنده:
محمدمحسن حائری؛ داود حسینی
نوع منبع :
مقاله , نمایه مقاله
وضعیت نشر :
تهران: منطق پژوهی,
زبان :
فارسی
کلیدواژههای اصلی :
صدق منطقی (خبری)
,
متافیزیک منطق
,
اصطلاحنامه منطق
,
نتیجه منطقی
,
منطق جدید
,
منطق قدیم
,
منطق کلاسیک
,
منطق غیر کلاسیک (منطق های توسعه یافته)
,
واقعگرایی منطقی
,
رابطۀ نتیجۀ منطقی
چکیده :
به یک تعبیر، واقعگرایی درباب منطق واقعگرایی درباب موضوع منطق است.اما، منطق واقعاً دربارۀ چیست؟ صحبت از منطق کم و بیش به معنای صحبت از رابطۀ نتیجه منطقی تلقی میشود؛ رابطهای که میان مقدمههای یک استدلال و نتیجۀ آن استدلال برقرار است. در تاریخِ منطق همواره اینچنین نبودهاست:در قرن بیستم دیدگاه فرگه-راسلی مبنی بر تلقیکردنِ منطق به عنوان مجموعهای از صدقهای منطقی در جامعۀ علمی حاکم بود. در این مقاله ابتدا دلایلی ارائه خواهیم کرد که نشان دهد که بهتر است که موضوع علم منطق را رابطۀ نتیجۀ منطقی بدانیم و نه صدق منطقی. آنگاه دلایلی ارائه می کنیم تا نشان دهیم که چرا بحث دربارۀ متافیزیک منطق اهمیت دارد. در متافیزیک منطق، نظریات واقعگرا عموماً فرض کردهاند که موضوع علم منطق صدق منطقی است.در تقابل با این رویکرد غالب، الگوهایی ارائه کردهایم که با فرض اینکه موضوع منطق رابطۀ نتیجۀ منطقی باشد، چگونه میتوان درباب منطق واقعگرا بود. این الگوها الهام گرفته از راهحلهایی هستند که در ذیل مسئلۀ متافیزیک رابطهها در تاریخ متافیزیک مطرح شدهاند
انتخاب :
صفحات :
از صفحه 24 تا 64
مشخصات اثر
ثبت نظر
عنوان :
کثرتگرایی بیل و رستال؛ و وحدتگرایی حداقلی در مورد منطق
نویسنده:
حمید علایی نژاد، مرتضی حاجحسینی
نوع منبع :
مقاله
منابع دیجیتالی :
نسخه PDF
زبان :
فارسی
کلیدواژههای اصلی :
اصطلاحنامه منطق
,
منطق کلاسیک
,
منطق غیر کلاسیک (منطق های توسعه یافته)
,
کثرت گرایی در منطق (منطق)
,
وحدت گرایی در منطق (منطق)
کلیدواژههای فرعی :
منطق ربط ,
زبان طبیعی (منطق) ,
منطق شهودگرا Intuitionistic Logic ,
منطق درست (منطق) ,
نسبی باوری(منطق) ,
کثرت گرایی نیوتن دا کاستا (منطق) ,
کثرت گرایی کارنپ (منطق) ,
کثرت گرایی هارتری فیلد (منطق) ,
اظهار گرایی نسبی باورانه (منطق) ,
کثرت گرایی استوارت شپیرو (منطق) ,
زمینه گرایی در منطق (منطق) ,
کثرت گرایی بیل و رستال (منطق) ,
هنجاری بودن (منطق) ,
صوری بودن (منطق) ,
ضروری بودن (منطق) ,
تز عمومی تارسکی (منطق) ,
چکیده :
راساس دیدگاه کثرتگرایی در مورد منطق، چندین نظام درست از منطق وجود دارند. در بیشتر قرائتهایی که از این دیدگاه وجود دارد، نسبیباوری در مورد منطق پذیرفته شده و درستیِ یک نظام از منطق بهنحوی وابسته به مؤلفهای متمایز از آن نظام منطقی دانسته میشود. بیل و رستال اما مدعی ارائۀ تقریری از کثرتگرایی هستند که در یک زبان واحد ارائه شده و متضمن قبول نسبیباوری در مورد منطق نیست. در مقالۀ حاضر، برخی از مهمترین انواع کثرتگرایی را معرفی کرده و نشان میدهیم که برخلاف ادعای بیل و رستال، کثرتگرایی ایشان اولاً نمیتواند در یک زبان واحد ارائه شود؛ ثانیاً متضمن قبول نوعی از نسبیباوری در مورد منطق است. بر اساس قبول این نتایج، تلاش میکنیم با معرفی دیدگاهی با عنوان «وحدتگرایی حداقلی» نشان دهیم که درصورتیکه کسی بخواهد دیدگاه بیل و رستال را بهعنوان یک دیدگاه قابل اعتنا در این حوزه در نظر بگیرد، لازم است وحدتگرایی حداقلی را بپذیرد.
انتخاب :
صفحات :
از صفحه 289 تا 309
مشخصات اثر
ثبت نظر
عنوان :
رویکردهایی نو به قانون عدم تناقض
نویسنده:
مازیار چیت ساز
نوع منبع :
مقاله , کتابخانه عمومی
منابع دیجیتالی :
نسخه PDF
زبان :
فارسی
کلیدواژههای اصلی :
تناقض باوری (منطق)
,
فراسازگاری (منطق)
,
تناقض
,
اصل امتناع تناقض
,
منطق جدید
,
منطق غیر کلاسیک (منطق های توسعه یافته)
,
منطق های فراسازگار
کلیدواژههای فرعی :
گزاره منطقی (منطق) ,
ثابتات منطقی (منطق) ,
تناقض صادق (منطق) ,
جمله انفجاری (منطق) ,
فراسازگاری تناقض باور 0منطق) ,
فراسازگاری ضعیف (فلسفه) ,
فراسازگاری قوی (منطق) ,
دلالت شناسی مفهومی (منطق) ,
منطق فراسازگار ربطی (منطق) ,
منطق چند ارزشی (منطق) ,
منطق های فرا ارزشی (منطق) ,
چکیده :
ین مقاله به بررسی مفهوم تناقض، قانون عدم تناقض و تناقضباوری در منطق غیرکلاسیک میپردازد. بررسی تفاوتهای موجود در تعریف تناقض و تبعات آن در باب پذیرش یا رد قانون عدم تناقض، هدف اصلی این نوشته است. در این مقاله سعی شده تا نشان داده شود، با توجه به تلقیهای متفاوتی که در مورد معنای تناقض در منطق جدید وجود دارد، چگونه میتوان تناقضباوری را معقول دانست. در ابتدا به معرفی اصطلاحات لازم پرداخته شده است. سپس، بین برخی تعریفهای ارائهشده دربارة تناقض، مروری اجمالی و مقایسهای شده است. در این بخش نشان داده میشود، بسته به آنکه چه تلقی از تناقض داشته باشیم، میتوان بیانهای متفاوتی از تناقضباوری داشت. در بخش بعد به دلائل موافقان قانون عدم تناقض پرداخته شده و سعی میشود با توجه به تعریفهای ارائه شده در بخش قبل، به آنها پاسخ داده شود. درنهایت نیز نشان داده میشود که دلیل رویکردهای نو به پذیرش تناقض، در استفاده از روشهای دلالتشناختی به جای هستیشناختی، منطقهای چندارزشی، ابهام و نظریههای بدیل صدق نهفته است.
انتخاب :
مشخصات اثر
ثبت نظر
1
2
3
4
تعداد رکورد ها : 38
×
درخواست مدرک
کاربر گرامی : برای در خواست مدرک ابتدا باید وارد سایت شوید
چنانچه قبلا عضو سایت شدهاید
ورود به سایت
در غیر اینصورت
عضویت در سایت
را انتخاب نمایید
ورود به سایت
عضویت در سایت
×
ارسال نظر
نوع
توضیحات
آدرس پست الکترونیکی
کد امنیتی
*
*
با موفقیت به ثبت رسید