جستجوي پيشرفته | کتابخانه مجازی الفبا
کتابخانه مجازی الفبا،تولید و بازنشر کتب، مقالات، پایان نامه ها و نشریات علمی و تخصصی با موضوع کلام و عقاید اسلامی
کتابخانه مجازی الفبا،تولید و بازنشر کتب، مقالات، پایان نامه ها و نشریات علمی و تخصصی با موضوع کلام و عقاید اسلامی
کانال ارتباطی از طریق پست الکترونیک :
support@alefbalib.com
نام :
*
*
نام خانوادگی :
*
*
پست الکترونیک :
*
*
*
تلفن :
دورنگار :
آدرس :
بخش :
مدیریت کتابخانه
روابط عمومی
پشتیبانی و فنی
نظرات و پیشنهادات /شکایات
پیغام :
*
*
حروف تصویر :
*
*
ارسال
انصراف
از :
{0}
پست الکترونیک :
{1}
تلفن :
{2}
دورنگار :
{3}
Aaddress :
{4}
متن :
{5}
فارسی |
العربیه |
English
ورود
ثبت نام
در تلگرام به ما بپیوندید
پایگاه جامع و تخصصی کلام و عقاید و اندیشه دینی
جستجو بر اساس ...
همه موارد
عنوان
موضوع
پدید آور
جستجو در متن
: جستجو در الفبا
در گوگل
...جستجوی هوشمند
صفحه اصلی کتابخانه
پورتال جامع الفبا
مرور منابع
مرور الفبایی منابع
مرور کل منابع
مرور نوع منبع
آثار پر استناد
متون مرجع
مرور موضوعی
مرور نمودار درختی موضوعات
فهرست گزیده موضوعات
کلام اسلامی
امامت
توحید
نبوت
اسماء الهی
انسان شناسی
علم کلام
جبر و اختیار
خداشناسی
عدل الهی
فرق کلامی
معاد
علم نفس
وحی
براهین خدا شناسی
حیات اخروی
صفات الهی
معجزات
مسائل جدید کلامی
عقل و دین
زبان دین
عقل و ایمان
برهان تجربه دینی
علم و دین
تعلیم آموزه های دینی
معرفت شناسی
کثرت گرایی دینی
شرور(مسأله شر)
سایر موضوعات
اخلاق اسلامی
اخلاق دینی
تاریخ اسلام
تعلیم و تربیت
تفسیر قرآن
حدیث
دفاعیه، ردیه و پاسخ به شبهات
سیره ائمه اطهار علیهم السلام
شیعه-شناسی
عرفان
فلسفه اسلامی
مرور اشخاص
مرور پدیدآورندگان
مرور اعلام
مرور آثار مرتبط با شخصیت ها
فهرست گزیده متکلمان،فیلسوفان و عالمان شیعی
مرور مجلات
مرور الفبایی مجلات
مرور کل مجلات
مرور وضعیت انتشار
مرور درجه علمی
مرور زبان اصلی
مرور محل نشر
مرور دوره انتشار
گالری
عکس
فیلم
صوت
متن
چندرسانه ای
جستجو
جستجوی هوشمند در الفبا
جستجو در سایر پایگاهها
جستجو در کتابخانه دیجیتالی تبیان
جستجو در کتابخانه دیجیتالی قائمیه
جستجو در کنسرسیوم محتوای ملی
کتابخانه مجازی ادبیات
کتابخانه مجازی حکمت عرفانی
کتابخانه تخصصی تاریخ اسلام و ایران
کتابخانه تخصصی ادبیات
کتابخانه الکترونیکی شیعه
علم نت
کتابخانه شخصی
مدیریت علاقه مندیها
ارسال اثر
دانشنامه
راهنما
راهنما
مرور
>
مرور کلید واژه ها
>
تاریخ منطق
مرتب سازی بر اساس
عنوان
نویسنده
جنس منبع
محل
ناشر
تاریخ تغییر
و به صورت
صعودی
نزولی
وتعداد نمایش
5
10
15
20
30
40
50
فرارداده در صفحه باشد
جستجو
خروجی
چاپ نتایج
Mods
Dublin Core
Marc
MarcIran
Pdf
اکسل
انتخاب همه
1
2
3
تعداد رکورد ها : 26
عنوان :
منطقهای دیگر: جایگزینهای منطق صوری در تاریخ اندیشه و فلسفه معاصر [کتاب انگلیسی]
نویسنده:
Admir Skodo (ed.)
نوع منبع :
کتاب
منابع دیجیتالی :
نسخه PDF
وضعیت نشر :
Brill,
زبان :
انگلیسی
کلیدواژههای اصلی :
تاریخ منطق
,
منطق غیر صوری informal logic
,
تاریخ منطق صوری
چکیده :
ترجمه ماشینی: منطق های دیگر: جایگزین های منطق صوری در تاریخ اندیشه و فلسفه معاصر، ایده گسترده منطق صوری را به عنوان ذاتاً یکپارچه، جهانی و غیرتاریخی به چالش می کشد. سایر منطقها که توسط دانشمندان برجسته و پیشرو نوشته شده و توسط Admir Skodo ویرایش شده است، طیف گستردهای از جایگزینهای تاریخی و فلسفی را برای این ایده ارائه میکند که همگی استدلال میکنند که منطق یک پدیده تاریخی، ملموس و چند بعدی است. برای نام بردن چند نمونه، فرانک آنکرسمیت منطق بازنمودگرایانه را مطرح میکند، الساندرا تانسینی قویاً برای امکان بیگانگان منطقی استدلال میکند، کریستوفر واتکین نحوه نگرش فیلسوفان برجسته فرانسوی معاصر به ایده منطق را تحلیل میکند و آرون وندلند منطق انتقادی هایدگر از صورت را آشکار میکند. در «منطقهای دیگر»، خوانندگان مداخلات تحریکآمیز را در زمینهای بسیار مورد بحث در فلسفه معاصر خواهند یافت.
انتخاب :
مشخصات اثر
ثبت نظر
عنوان :
تاریخ منطق فلسفی و صوری: از ارسطو تا تارسکی [کتاب انگلیسی]
نویسنده:
Alex Malpass, Marianna Antonutti Marfori
نوع منبع :
کتاب , کتابخانه عمومی
منابع دیجیتالی :
نسخه PDF
وضعیت نشر :
Bloomsbury Academic,
زبان :
انگلیسی
کلیدواژههای اصلی :
تاریخ منطق
,
منطق فلسفی
,
تاریخ منطق صوری
,
تاریخ منطق فلسفی
چکیده :
ترجمه ماشینی: تاریخچه منطق فلسفی و صوری ایده ها و متفکرانی را معرفی می کند که محور توسعه منطق فلسفی و رسمی هستند. منطق از خاستگاه ارسطویی تا استدلال های امروزی به چهار دوره زمانی اصلی تقسیم می شود: دوران باستان و قرون وسطی (ارسطو و رواقیون) دوره مدرن اولیه (بولزانو، بول) دوره مدرن بالا (فرگه، پیانو و راسل و هیلبرت) اوایل قرن بیستم (گودل و تارسکی) هر بازه زمانی جدید با یک مرور کلی مقدماتی شروع می شود که موضوعات و نکات مهم را برجسته می کند. فصلها اهمیت و استقبال از آثار تأثیرگذار را مورد بحث قرار میدهند و به بحثهای تاریخی در چارچوب بحثهای معاصر نگاه میکنند. برای حمایت از مطالعه مستقل، فهرست های جامع خواندن ابتدایی و متوسطه در انتهای فصل ها به همراه تمرین ها و سوالات بحث گنجانده شده است. تاریخچه منطق فلسفی و رسمی با ارائه و توضیح واضح تغییرات منطق در طول تاریخ فلسفه، روایتی آسان برای پیگیری می سازد. این یک نقطه شروع ایده آل برای دانش آموزانی است که به دنبال درک پیشرفت تاریخی منطق هستند.
انتخاب :
مشخصات اثر
ثبت نظر
عنوان :
تکامل منطق [کتاب انگلیسی]
نویسنده:
W. D. Hart
نوع منبع :
کتاب
منابع دیجیتالی :
نسخه PDF
زبان :
انگلیسی
کلیدواژههای اصلی :
تاریخ منطق
,
فلسفه منطق
,
منطق جدید
,
منطق قدیم
,
Logic منطق (مجتبوی)
چکیده :
ترجمه ماشینی: کتاب تکامل منطق به بررسی روابط بین منطق و فلسفه در 150 سال گذشته می پردازد. منطق در قرن نوزدهم یک رنسانس بزرگ را تجربه کرد. کانتور تقریباً بی نهایت را رام کرد و فرگه با تقلیل ریاضیات به منطق قصد داشت کانت را تضعیف کند. این دستاوردها توسط پارادوکس هایی مانند راسل مورد تهدید قرار گرفتند. این تخمیر فلسفه (و ریاضیات) عالی را توسط فیلسوفان (و ریاضیدانان) عالی تا جنگ جهانی دوم ایجاد کرد. این کتاب تاریخچه ای منتخب و انتقادی از همکاری منطق و فلسفه در این دوره ارائه می دهد. پس از جنگ جهانی دوم، منطق ریاضی به یک رشته فرعی شناخته شده در گروه های ریاضی تبدیل شد و متأسفانه فیلسوفان ارتباط خود را با آثار تاریخی آن قطع کردند. هدف این کتاب این است که چهار مورد از آنها (ثبات و استقلال فرضیه پیوسته، مسئله پست و قضیه مورلی) را برای فیلسوفان در دسترس قرار دهد و ابزارهای لازم را برای محققان مدرن فلسفه برای تجدید گفتگوی سازنده بین منطق و فلسفه در دسترس قرار دهد.
انتخاب :
مشخصات اثر
ثبت نظر
عنوان :
کتاب راهنمای تاریخ منطق جلد 1: منطق یونانی، هندی و عربی [کتاب انگلیسی]
نویسنده:
Dov M. Gabbay, John Woods
نوع منبع :
کتاب , کتابخانه عمومی
منابع دیجیتالی :
نسخه PDF
زبان :
انگلیسی
کلیدواژههای اصلی :
تاریخ منطق
,
اصطلاحنامه منطق
,
منطق رواقی
,
منطق قدیم
,
منطق پیش از سطو
,
منطق ارسطوی متقدم
,
قیاس مدال ارسطویی
,
منطق هندی
,
ترجمه منطق عربی به لاتین
چکیده :
اولین جلد راهنمانامه تاریخ منطق که دائرهالمعارفی از سراسر تاریخ منطق از زمان باستان تا عصر کنونی است ، به بحث از منطق یونانی، هندی و عربی می پردازد . مجلدات بعدی به ظهور منطق مدرن از لایبنیتس تا فرگه میپردازد سپس منطق از راسل تا گودل ، منطق و موجهات در قرن بیستم و گشت چند ارزشی و نایکنواخت در منطق جدید به ترتیب در مجلدات بعد مورد بحث قرار میگیرند. در این دائرهالمعارف مجلدی نیز به منطق قرون وسطی و دوران رنسانس تعلق دارد . نویسندگان این کتاب در طراحی این کتاب دیدگاهی اتخاذ کردهاند که بنا بر آن بررسی تاریخ منطق چیزی بیش از یک علاقه صرف به پژوهشهای تاریخی است و میتواند برای پژوهشهای کنونی منطق نیز بسیار ضروری باشد. این مجلد از کتاب به ریشههای دور برخی از مهمترین خصوصیات منطق جدید اشاره میکند چنانکه در ادعای صورت گرفته توسط نویسندگان بخش منطق اولیه ارسطو میتوان یافت که نظریه قیاس از بدو تولد نمونهای از منطق شهودگرایانه ، یکنواخت و به نحو مرتبط فراسازگار است.
انتخاب :
مشخصات اثر
ثبت نظر
عنوان :
کتاب راهنمای تاریخ منطق. جلد 9، منطق محاسباتی [کتاب انگلیسی]
نویسنده:
Gabbay, Dov M., Siekmann, Jörg H., Woods, John Hayden
نوع منبع :
کتاب , کتابخانه عمومی
منابع دیجیتالی :
نسخه PDF
وضعیت نشر :
North Holland;Elsevier,
زبان :
انگلیسی
کلیدواژههای اصلی :
تاریخ منطق
,
اصطلاحنامه منطق
چکیده :
ترجمه ماشینی: هندبوک تاریخچه منطق بهترین تکنیک های مدرن پژوهش تاریخی و تفسیری را برای توسعه منطق به ارمغان می آورد. منطق محاسباتی در قرن بیستم متولد شد و در همزیستی نزدیک با ظهور اولین کامپیوترهای الکترونیکی و اهمیت روزافزون علوم کامپیوتر، انفورماتیک و هوش مصنوعی تکامل یافت. با بیش از ده هزار نفر که در زمینه تحقیق و توسعه منطق و روش های مرتبط با منطق کار می کنند، با چندین ده کنفرانس بین المللی و چندین برابر کارگاه های آموزشی که به غنا و تنوع روزافزون این رشته می پردازند و با نقش و اهمیت اساسی این روش ها در حال حاضر فرض کنید در ریاضیات، علوم کامپیوتر، هوش مصنوعی، علوم شناختی، زبانشناسی، حقوق و بسیاری از زمینههای مهندسی که از تکنیکهای مرتبط با منطق از جمله برای بیان و حل و فصل مسائل صحت استفاده میشود، این رشته بهگونهای متنوع شده است که حتی منطقدانان ناب که در دهه های اولیه قرن بیستم را به سختی می توان پیش بینی کرد. محاسبات منطقی، که جنبه مهمی از تفکر بشری را در بر می گیرند، اکنون با دقت ریاضی و پشتیبانی محاسباتی قابل بررسی هستند و رویاهای اولیه استدلال مکانیزه را بارور می کنند: «حساب حساب. کنفرانس دارتموث در سال 1956 - که عموماً به عنوان زادگاه هوش مصنوعی در نظر گرفته می شود - به صراحت امیدها را برای احتمالات جدیدی که ظهور ماشین های محاسباتی الکترونیکی ارائه می دهد ایجاد کرد: اکنون می توان جملات منطقی را روی ماشینی با تمام پیامدهای گسترده اجرا کرد که در نهایت منجر به برنامه نویسی منطقی، سیستم های استنباط برای ریاضیات و مهندسی، طراحی منطقی و تایید نرم افزار و سخت افزار کامپیوتر، پایگاه داده های قیاسی و سنتز نرم افزار و همچنین تکنیک های منطقی برای تجزیه و تحلیل در زمینه مهندسی مکانیک شد. این جلد برخی از زیر حوزه های اصلی منطق محاسباتی و کاربردهای آن را پوشش می دهد. فصول توسط مقامات برجسته در این زمینه انجمنی را فراهم می کند که در آن فیلسوفان و دانشمندان با هم تعامل دارند منبع مرجع جامع در مورد تاریخ منطق
انتخاب :
مشخصات اثر
ثبت نظر
عنوان :
کتابچه تاریخ منطق. جلد 3: ظهور منطق مدرن: از لایب نیتس تا فرگه [کتاب انگلیسی]
نویسنده:
Dov M. Gabbay, John Woods
نوع منبع :
کتاب , کتابخانه عمومی
منابع دیجیتالی :
نسخه PDF
زبان :
انگلیسی
کلیدواژههای اصلی :
تاریخ منطق
,
«علم منطق» هگل
,
منطق استعلایی
,
علم منطق هگل (فلسفه)
,
منطق هگل
,
منطق جدید
,
پیدایش منطق مدرن
,
تحویل ریاضیات به منطق
,
جبر منطق
,
منطق هوسرل
انتخاب :
مشخصات اثر
ثبت نظر
عنوان :
درآمدی بر منطق قرون وسطی [کتاب انگلیسی]
نویسنده:
Alexander Broadie (الکساندر برودی)
نوع منبع :
کتاب
منابع دیجیتالی :
نسخه PDF
وضعیت نشر :
Oxford University Press,
زبان :
انگلیسی
کلیدواژههای اصلی :
تاریخ منطق
,
تاریخ فلسفه
,
منطق قرون وسطی
,
منطق در قرون وسطی
,
تاریخ فلسفهی قرون وسطی
,
2- فلسفه قرون وسطی (اعم از مسیحی و یهودی و اسلامی)
چکیده :
ترجمه ماشینی: منطق دانان قرون وسطی بسیار فراتر از منطق ارسطو پیشرفت کردند و این کتاب نشان می دهد که این پیشروی تا چه حد آنها را در دو حوزه مرکزی برد. بروادی بر کارهای برخی از شخصیت های بزرگ قرن چهاردهم، از جمله والتر برلی، ویلیام اوکام، جان بوریدان، آلبرت ساکسونی و پل ونیز تمرکز می کند و به نظریه های آنها در مورد شرایط صدق و شرایط اعتبار می پردازد. او نشان می دهد که چه مقدار از آنچه که منطق قرن بیستم به نظر می رسد مشخصاً از مدت ها پیش آشنا بوده است. برودی متن خود را برای این ویرایش دوم به طور گسترده اصلاح کرده است، در حالی که شخصیت نسخه اول را حفظ کرده است. اکنون گزارش های کامل تری از مفروضات، زمینه های عمدی، و قیاس قرون وسطایی وجود دارد، و نتیجه گیری به طور قابل ملاحظه ای گسترش یافته است.
انتخاب :
مشخصات اثر
ثبت نظر
عنوان :
المنطق وتاریخه من أرسطو حتی راسل
نویسنده:
روبیر بلانشی؛ ترجمة: خلیل احمد خلیل
نوع منبع :
کتاب
منابع دیجیتالی :
نسخه PDF
وضعیت نشر :
بیروت - لبنان: المؤسسة الجامعية للدراسات والنشر والتوزيع,
زبان :
عربی
کلیدواژههای اصلی :
تاریخ منطق
,
منطق
انتخاب :
مشخصات اثر
ثبت نظر
عنوان :
ارسطو گرایان اسلامی
نویسنده:
دبورا ال بلک؛ ترجمه: عابد کانور
نوع منبع :
مقاله , ترجمه اثر
منابع دیجیتالی :
متن
زبان :
فارسی
کلیدواژههای اصلی :
تاریخ منطق
,
فلسفه ارسطو
,
تاریخ منطق اسلامی
,
ارسطوگرایی
,
منطق قدیم
,
تاریخچه منطق
,
تاریخ شناسی منطق
,
تاریخچه منطق در جهان اسلام
انتخاب :
مشخصات اثر
ثبت نظر
عنوان :
توضيح منطق الشيخ المظفر المجلد1
نویسنده:
عمار محمد كاظم الساعدی
نوع منبع :
کتاب , شرح اثر , کتابخانه عمومی , مطالعه تطبیقی
منابع دیجیتالی :
نسخه PDF
وضعیت نشر :
بیروت : مکتبه باقرالعلوم (ع),
زبان :
عربی
کلیدواژههای اصلی :
4. اصطلاحنامه سایر موضوعات
,
اصطلاحنامه منطق
,
کتب منطق
,
منطق قدیم
کلیدواژههای فرعی :
وجود حقیقی ,
تعریف علم ,
تاریخ منطق ,
الفاظ ,
دلالات ,
کلیات خمس ,
نوع ( کلیات خمس ) ,
دلالت لفظی ,
دلالت عقلی لفظی ,
علم حصولی(مقابل علم حضوری) ,
علم حضوری(مقابل علم حصولی) ,
علم بدیهی((تصوری و تصدیقی اولی و غیر اولی)، مقابل علم نظری) ,
جهل مرکب(مقابل بسیط) ,
جهل بسیط(مقابل مرکب) ,
قواعد کلیات خمس ,
تعریف علم منطق ,
کد کنگره:
BC 50 /م7
چکیده :
توضیح کتاب شریف منطق علامه مظفر و شرح آن از عمار ساعدی است. ذکر مسائل مختلف منطقی و توضیح آن، محتوای کتاب میباشد.
انتخاب :
مشخصات اثر
ثبت نظر
1
2
3
تعداد رکورد ها : 26
×
درخواست مدرک
کاربر گرامی : برای در خواست مدرک ابتدا باید وارد سایت شوید
چنانچه قبلا عضو سایت شدهاید
ورود به سایت
در غیر اینصورت
عضویت در سایت
را انتخاب نمایید
ورود به سایت
عضویت در سایت
×
ارسال نظر
نوع
توضیحات
آدرس پست الکترونیکی
کد امنیتی
*
*
با موفقیت به ثبت رسید