جستجوي پيشرفته | کتابخانه مجازی الفبا
کتابخانه مجازی الفبا،تولید و بازنشر کتب، مقالات، پایان نامه ها و نشریات علمی و تخصصی با موضوع کلام و عقاید اسلامی
کتابخانه مجازی الفبا،تولید و بازنشر کتب، مقالات، پایان نامه ها و نشریات علمی و تخصصی با موضوع کلام و عقاید اسلامی
کانال ارتباطی از طریق پست الکترونیک :
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
عنوان :
ورودی به منطق ریاضی : قضیه مستقیم و قضیه معکوس
نویسنده:
ایزرایل سالامونوویچ گرادشتین
نوع منبع :
کتابشناسی(نمایه کتاب) , ترجمه اثر
وضعیت نشر :
تهران : خوارزمی,
کلیدواژههای اصلی :
قضایای منطقی
,
منطق ریاضی
,
منطق جدید
,
قضیه مستقیم
,
قضیه معکوس
,
منطق کلاسیک
,
منطق گزاره ها
انتخاب :
مشخصات اثر
ثبت نظر
عنوان :
منطق های چند ارزشی
نویسنده:
گرزگرز مالینوسکی
نوع منبع :
کتابشناسی(نمایه کتاب) , ترجمه اثر
وضعیت نشر :
کرمان: دانشگاه شهید باهنر (کرمان),
زبان :
فارسی
کلیدواژههای اصلی :
منطق ریاضی
,
منطق جدید
,
منطق های چند ارزشی
,
منطق کلاسیک
انتخاب :
مشخصات اثر
ثبت نظر
عنوان :
آشنایی با منطق ریاضی
نویسنده:
هربرت اندرتون
نوع منبع :
کتابشناسی(نمایه کتاب) , ترجمه اثر
وضعیت نشر :
تهران: مرکز نشر دانشگاهی,
زبان :
فارسی
کلیدواژههای اصلی :
منطق ریاضی
,
منطق جدید
,
منطق کلاسیک
,
آشنایی با منطق ریاضی
انتخاب :
مشخصات اثر
ثبت نظر
عنوان :
مدخل منطق صورت، یا، منطق ریاضی
نویسنده:
غلامحسین مصاحب
نوع منبع :
کتابشناسی(نمایه کتاب)
وضعیت نشر :
تهران: حکمت,
زبان :
فارسی
کلیدواژههای اصلی :
منطق ریاضی
,
منطق جدید
,
منطق صورت
,
منطق کلاسیک
,
مدخل منطق صورت، یا، منطق ریاضی
انتخاب :
مشخصات اثر
ثبت نظر
عنوان :
آشنایی با منطبق گزارهها
نویسنده:
مرتضی حاجحسینی
نوع منبع :
کتابشناسی(نمایه کتاب)
وضعیت نشر :
اصفهان: نقش مانا,
زبان :
فارسی
کلیدواژههای اصلی :
منطق ریاضی
,
منطق جدید
,
منطق کلاسیک
,
منطق گزاره ها
انتخاب :
مشخصات اثر
ثبت نظر
عنوان :
فلسفه ریاضی : کلاسیک، مدرن، پستمدرن
نویسنده:
محمد صالمصلحیان
نوع منبع :
کتابشناسی(نمایه کتاب)
وضعیت نشر :
مشهد: واژگان خرد,
زبان :
فارسی
کلیدواژههای اصلی :
فلسفه ریاضی
,
علم ریاضی
,
منطق ریاضی
,
منطق جدید
,
منطق کلاسیک
,
منطق غیر کلاسیک (منطق های توسعه یافته)
,
فلسفه ریاضی مدرن
,
فلسفه ریاضی پست مدرن
,
فلسفه ریاضی کلاسیک
انتخاب :
مشخصات اثر
ثبت نظر
عنوان :
بسطهایی از ساختارهای ت-کمینه ضعیف غیرارزیابی
نویسنده:
اکرم رضائی
نوع منبع :
رساله تحصیلی
منابع دیجیتالی :
متن ناقص پایان نامه
وضعیت نشر :
تبریز: دانشگاه تبریز,
زبان :
فارسی
کلیدواژههای اصلی :
منطق محمولات
,
منطق جدید
,
منطق کلاسیک
,
منطق محمولها
,
نظریه ارزه
,
کمینهسازی
,
درجه تعالی
,
چندجملهای کراندار
چکیده :
در این پایاننامه که براساس دو مقاله از رومن ونسل (Roman Wencel )نوشته میشود، ابتدا نشان داده میشود که اگر M,<,+,...) ) = Mیک بسط ت-کمینه ضعیف غیرارزیابی از یک گروه مرتب (M,<,+) باشد، آنگاه بسط آن با گردایهای از محمولات تکموضعی غیرارزیابی همچنان غیرارزیابی باقی میماند. سپس با بهکار بردن نتیجهای از دایاز درباره استقلال جبری دنبالههای معینی از اعداد، نشان داده میشود که اگرK⊆R یک میدان از درجه تعالی متناهی روی میدان اعداد گویا باشد، آنگاه هر بسط ت-کمینه ضعیف ازK,<,+,.) )بهطور چندجملهای کراندار است.
انتخاب :
مشخصات اثر
ثبت نظر
عنوان :
منطق وجهی کلاسیک مرتبه اول
نویسنده:
ریحانه ذوقیفرد
نوع منبع :
رساله تحصیلی
منابع دیجیتالی :
متن ناقص پایان نامه
وضعیت نشر :
تهران: دانشگاه تربیت مدرس,
زبان :
فارسی
کلیدواژههای اصلی :
منطق وجهی
,
معناشناسی (منطق)
,
منطق جدید
,
منطق کلاسیک
,
منطق غیر کلاسیک (منطق های توسعه یافته)
,
منطق گزاره ها
,
منطق موجهات
,
منطق وجهی مرتبه اول
,
منطق کلاسیک مرتبه اول
,
معناشناسی همسایگی
چکیده :
در این پایاننامه گسترش مرتبه اول معناشناسی که نخستین بار دانا اسکات و ریچارد مونتاگ برای منطق وجهی معرفی کردند، مطالعه میشود. این معناشناسی برای مطالعهی منطقهای وجهی کلاسیک استفاده میشود.در ابتدا قابهای همسایگی دامنه ثابت معرفی شده و تمامیت تعدادی از سیستم های کلاسیک برجسته بررسی میشود. همچنین نشان داده میشود که اثبات تمامیت سیستمهای نرمال بدون استفاده از فرمول بارکان در قابهای همسایگی با دامنه ثابت ممکن است.برای اثبات تمامیت قوی سیستمهای وجهی کلاسیک، قابهای کلی تعریف میشود.در انتها مدلهای همسایگی دامنه متغیر و تمامیت برخی سیستمها نسبت به این مدلها بررسی میشود.
انتخاب :
مشخصات اثر
ثبت نظر
عنوان :
گزارههای همیشه صادق نزد خونجی
نویسنده:
ابوذر قاعدیفرد
نوع منبع :
رساله تحصیلی
منابع دیجیتالی :
متن ناقص پایان نامه
وضعیت نشر :
زنجان: دانشگاه زنجان,
زبان :
فارسی
کلیدواژههای اصلی :
تاریخ منطق
,
اصطلاحنامه منطق
,
عکس نقیض ( قضیه )
,
منطق جدید
,
منطق قدیم
,
منطق کلاسیک
,
منطق موجهات
,
گزارههای همیشهصادق
چکیده :
خونجی در تقسیمبندیِ خود از گزاره، هر کدام از محصورات اربع را به 36 قسم تقسیم نموده است. در آثار معاصر، تنها گزارهی موجبهی کلیه بر اساس تقسیمبندی خونجی، صورتبندی شده است. در این پایاننامه 72 گزارهی جزئیه نزد خونجی صورتبندی شدهاند. خونجی 12 گزاره را از مجموع 72 گزارهی جزئیه، همیشهصادق دانسته است. از این 12 گزاره، 6 گزاره موجبهی جزئیه و 6 گزارهی دیگر سالبهی جزئیهاند. در فصل دوم با بررسی این گزارهها نشان دادیم که اگر چه این گزارهها در منطق جدید، همیشهصادق نیستند اما در منطق خونجی همیشهصادقاند. خونجی، همچنین 5 گزارهی موجهه را همیشهصادق دانسته است. در این پایاننامه، پس از صورتبندی موجهات خونجی در منطق موجهات زمانی، نشان دادیم که اگر چه گزارههای موجههی همیشهصادقِ خونجی در منطق موجهات جدید همیشهصادق نیستند اما در منطق موجهات خونجی همیشهصادقاند. در پایان، به تعریف عکس نقیض و معرفی عکس نقیض نوع سوم و نوع چهارم، به عنوان یکی از توابع بحث گزارههای همیشهصادق پرداختهایم.
انتخاب :
مشخصات اثر
ثبت نظر
عنوان :
بازتعریف مادی و مجرد با استفاده از منطق فازی
نویسنده:
محمد فروغی ؛ هادی وکیلی؛ اعظم قاسمی
نوع منبع :
مقاله
منابع دیجیتالی :
نسخه PDF
وضعیت نشر :
تهران: منطق پژوهی,
زبان :
فارسی
کلیدواژههای اصلی :
حرکت جوهری اشتدادی
,
فلسفه اسلامی
,
اصطلاحنامه منطق
,
منطق فلسفی
,
منطق جدید
,
منطق قدیم
,
منطق غیر کلاسیک (منطق های توسعه یافته)
,
منطق فازی
,
تعریف مادی و مجرد
چکیده :
بیشتر تعاریف ارائه شده برای مادی و مجرد به گونهای هستند که ابتدا امر مادی تعریف میگردد سپس امر مجرد به گونه سلبی (سلب ماده، خواص ماده یا وابستگی به ماده) تعریف می شود: مجرد آن چیزی است که مادی نیست. ایراد وارد به اینگونه تعاریف سلبی این است که دیگر نمیتوان بین شی اول و سلب آن شی، حدواسط و شی سومی تعریف کرد. لذا بر اساس این گونه تعاریف نمیتوان بین ماده صرف و مجرد تام دسته دیگری از امور (مثلا مجرد برزخی) تعریف کرد. در این مقاله سعی شده ابتدا تعاریف موجود در خصوص مادی و مجرد بررسی گردد، سپس نشان داده شود که با توجه به نظر صدرالمتالهین در خصوص حرکت جوهری اشتدادی نفس ناطقه، لازم است بین مادی صرف و مجرد تام طیفی از امور داشته باشیم، طیفی شامل مادی محض، اندک تجرد نفس نباتی، تجرد مثالی، تجرد عقلی و فوق تجرد و همچنین مراتبی باید بین این مراتب ذکر شده وجود داشته باشد. آنگاه نشان میدهیم که این نگاه طیف گونه به اشیاء با تعاریف مبتنی بر حصر عقلی و به طریق اولی با تعریف سنتی مادی-مجرد (تعریف دوگانه ایجابی - سلبی) سازگار نمیباشد. نهایتاً بیان میکنیم که نمیشود تعریفی جامع برای امری که واحد شخصی ذومراتب است، ارائه داد؛ و در پایان با اشاره مختصر به منطق فازی بیان میکنیم که باید بهگونهای فازی به مسئله نگاه کرد؛ و تعریف جدیدی با استفاده از منطق فازی ارائه میدهیم.
انتخاب :
صفحات :
از صفحه 87 تا 108
مشخصات اثر
ثبت نظر
3
4
5
6
7
8
9
10
11
12
تعداد رکورد ها : 186
×
درخواست مدرک
کاربر گرامی : برای در خواست مدرک ابتدا باید وارد سایت شوید
چنانچه قبلا عضو سایت شدهاید
ورود به سایت
در غیر اینصورت
عضویت در سایت
را انتخاب نمایید
ورود به سایت
عضویت در سایت
×
ارسال نظر
نوع
توضیحات
آدرس پست الکترونیکی
کد امنیتی
*
*
با موفقیت به ثبت رسید