منطق گزاره ای | کتابخانه مجازی الفبا
کتابخانه مجازی الفبا،تولید و بازنشر کتب، مقالات، پایان نامه ها و نشریات علمی و تخصصی با موضوع کلام و عقاید اسلامی
کتابخانه مجازی الفبا،تولید و بازنشر کتب، مقالات، پایان نامه ها و نشریات علمی و تخصصی با موضوع کلام و عقاید اسلامی
کانال ارتباطی از طریق پست الکترونیک :
support@alefbalib.com
نام :
*
*
نام خانوادگی :
*
*
پست الکترونیک :
*
*
*
تلفن :
دورنگار :
آدرس :
بخش :
مدیریت کتابخانه
روابط عمومی
پشتیبانی و فنی
نظرات و پیشنهادات /شکایات
پیغام :
*
*
حروف تصویر :
*
*
ارسال
انصراف
از :
{0}
پست الکترونیک :
{1}
تلفن :
{2}
دورنگار :
{3}
Aaddress :
{4}
متن :
{5}
فارسی |
العربیه |
English
ورود
ثبت نام
در تلگرام به ما بپیوندید
پایگاه جامع و تخصصی کلام و عقاید و اندیشه دینی
جستجو بر اساس ...
همه موارد
عنوان
موضوع
پدید آور
جستجو در متن
: جستجو در الفبا
در گوگل
...جستجوی هوشمند
صفحه اصلی کتابخانه
پورتال جامع الفبا
مرور منابع
مرور الفبایی منابع
مرور کل منابع
مرور نوع منبع
آثار پر استناد
متون مرجع
مرور موضوعی
مرور نمودار درختی موضوعات
فهرست گزیده موضوعات
کلام اسلامی
امامت
توحید
نبوت
اسماء الهی
انسان شناسی
علم کلام
جبر و اختیار
خداشناسی
عدل الهی
فرق کلامی
معاد
علم نفس
وحی
براهین خدا شناسی
حیات اخروی
صفات الهی
معجزات
مسائل جدید کلامی
عقل و دین
زبان دین
عقل و ایمان
برهان تجربه دینی
علم و دین
تعلیم آموزه های دینی
معرفت شناسی
کثرت گرایی دینی
شرور(مسأله شر)
سایر موضوعات
اخلاق اسلامی
اخلاق دینی
تاریخ اسلام
تعلیم و تربیت
تفسیر قرآن
حدیث
دفاعیه، ردیه و پاسخ به شبهات
سیره ائمه اطهار علیهم السلام
شیعه-شناسی
عرفان
فلسفه اسلامی
مرور اشخاص
مرور پدیدآورندگان
مرور اعلام
مرور آثار مرتبط با شخصیت ها
فهرست گزیده متکلمان،فیلسوفان و عالمان شیعی
مرور مجلات
مرور الفبایی مجلات
مرور کل مجلات
مرور وضعیت انتشار
مرور درجه علمی
مرور زبان اصلی
مرور محل نشر
مرور دوره انتشار
گالری
عکس
فیلم
صوت
متن
چندرسانه ای
جستجو
جستجوی هوشمند در الفبا
جستجو در سایر پایگاهها
جستجو در کتابخانه دیجیتالی تبیان
جستجو در کتابخانه دیجیتالی قائمیه
جستجو در کنسرسیوم محتوای ملی
کتابخانه مجازی ادبیات
کتابخانه مجازی حکمت عرفانی
کتابخانه تخصصی تاریخ اسلام و ایران
کتابخانه تخصصی ادبیات
کتابخانه الکترونیکی شیعه
علم نت
کتابخانه شخصی
مدیریت علاقه مندیها
ارسال اثر
دانشنامه
راهنما
راهنما
منطق گزاره ای
داود حیدری
کتابخانه مجازی الفبا
1394
کتابخانه مجازی الفبا
فارسی
کتاب الکترونیکی
میانگین امتیازات:
امتیاز شما :
تعداد امتیازات :
0
منطق گزاره ای
ویرایش اثر
پدیدآورندگان :
حیدری, داوود (استادیار گروه فلسفه و کلام اسلامی، دانشگاه علوم اسلامی رضوی، مشهد)
(نویسنده)
وضعیت نشر :
مشهد ،
دانشگاه علوم اسلامی رضوی ،
1394
چکیده :
نویسنده در این کتاب میکوشد راههای تمسک به خرد و چگونگی دریافت حقیقت را از طریق روشهای نمادین منطق گزارهای بررسی کند. در بخشی از مقدمه این کتاب میخوانیم: «نقش تفکر در زندگی انسان و سیر تکاملی او نقشی بیهمتاست. انسان با تمسک به خرد خویش، حقایق جهان را درمییابد و دانشش را گسترش میدهد، مناسبترین تصمیم را میگیرد و بر مشکلات روزگار برتری مییابد. رشد و پیشرفت هر جامعهای نیز تنها در سایه عقلانیت تحقق مییابد. بدون عقلانیت، چه در ساحت فردی و چه در ساحت جمعی، بستر کژیها و انحرافات، فراهم شده و سرمایهها و فرصتها از بین خواهد رفت. از همین رو است که خداوند متعال در آیات قرآن کریم، انسانها را به تدبر، تعقل و تأمل فراخوانده است. در روایات نیز عقل جایگاه منحصر بهفردی دارد. بنا بر تعالیم دینی، لازمه کمال فرعی و جمعی انسانها، حتی در عرصه دینداری، برخورداری از عقل و اهتمام به بالندگی خردورزی است. از همین رو رشد و تربیت عقل، مهمترین هدف بعثت انبیاء شمرده شده و دینداری و برخورداری از دین سالم، مرهون عقل و تربیت عقل دانسته شده است.» از گزاره تا استدلال و استنتاج نویسنده، کتاب «منطق گزارهای» را در پنج فصل تنظیم کرده است. وی در فصل نخست از این کتاب به مباحث مقدماتی میپردازد. حیدری در این فصل، سه موضوع منطق، گزاره و استدلال را برای خوانندگان بهطور مشروح بررسی میکند. در بخشی از این فصل میخوانیم: «منطق گزارهها، منطق جملهای و منطق عبارت نیز شناخته میشود که به همراه منطق محمولات، دو شاخه مهم از منطق نمادین به شمار میروند. البته منطق گزارهای و منطق محمولات دو نوع مختلف از منطق نیستند، بلکه منطق محمولات بسط و گسترشی در منطق گزارهای میباشد.» خوانندگان در فصل نخست با مفاهیمی مانند اهمیت استدلال، کاربرد آن و انواع استدلالهای مضمر، ساده و مرکب آشنا میشوند. نگارنده «منطق گزارهای»، فصل دوم کتاب خود را به مبحث زبان منطق گزارهای اختصاص داده است. وی در این فصل علاوه بر بررسی نماد و ادات گزارهای به بررسی و شرح مفاهیم مرتبط با منطق گزارهای میپردازد. «قواعد ساخت»، «ادات اصلی»، «نگارش استدلال به زبان صوری» و «صورت اصلی فرمولها و نمونه جانشین» از جمله این مفاهیم هستند. «معناشناسی زبان منطق گزارهای»، عنوان فصل سوم این کتاب است. نویسنده در این فصل به تابع ارزشی در منطق گزارهای پرداخته است و مفاهیمی مانند تابع ارزش، ادات تابع ارزش و قواعد معناشناسی را در کنار جدول ارزش گزارههای تابع ارزشی برای خوانندگان شرح و بسط داده است. حیدری در این فصل علاوه بر بررسی ترکیبهای نفیی، عطفی، شرطی و دوشرطی، ویژگیهای ادات تابع ارزشی مانند جابهجایی، شرکتپذیری و پخشپذیری را بررسی میکند. «دستگاه استنتاجی»، عنوان فصل چهارم این کتاب است. خوانندگان در این فصل با مفاهیم مرتبط با استنتاج ــ مانند برهان، قواعد استلزام، وضع مقدم و رفع تالی ــ آشنا میشوند. خوانندگان در ادامه این فصل، «روشهای اثبات» را از نظر میگذرانند و با روش اثبات مستقیم و غیرمستقیم آشنا میشوند. نگارنده برای فصل پایانی کتاب «منطق گزارهای»، عنوان «درخت ارزش» را انتخاب کرده است. در این فصل مباحثی مانند «قواعد درخت ارزش»، «چگونگی شاخهبندی فرمولها» و «گذرهای درخت ارزش» را بررسی میکند و در اختیار خوانندگان قرار میدهد. کتاب «منطق گزارهای» در 396 صفحه، با شمارگان هزار نسخه در قطع وزیری از سوی دانشگاه علوم اسلامی رضوی منتشر شده است.
کلید واژه اصلی :
منطق جدید
,
منطق جدید
,
منطق کلاسیک
,
منطق گزاره ها
نویسنده :
داود حیدری
زبان :
فارسی
منبع اصلی :
https://www.adinehbook.com/gp/product/6007044122
جنس منبع:
متن
پایگاه :
الف:پایگاه کتب
یادداشت :
نوع منبع :
کتابشناسی(نمایه کتاب)
مخاطب :
بزرگسال , تخصصی
خروجی ها :
Mods
Doblin core
Marc xml
MarcIran xml
مشخصات مختصر فراداده
مشخصات کامل اثر
منابع مرتبط :
ثبت نظر
ارسال
×
درخواست مدرک
کاربر گرامی : برای در خواست مدرک ابتدا باید وارد سایت شوید
چنانچه قبلا عضو سایت شدهاید
ورود به سایت
در غیر اینصورت
عضویت در سایت
را انتخاب نمایید
ورود به سایت
عضویت در سایت