جستجوي پيشرفته | کتابخانه مجازی الفبا

کتاب حاضر در دو جلد و شامل صد و پنجاه قاعده فلسفی است. چند قاعده از کتاب مذکور شامل: قاعده امکان اشرف، قاعده امکان الاخس، البسیط لایمکن أن یکون فاعلاً و قابلاً و ... می باشد.

کتاب پیش رو پژوهشی از یک طلبه حوزه علمیه درباره خداوند است که تلاش نموده با زبان محاوره‌ای و ساده به معرفی خدا پرداخته و به پرسش‌هایی که در این زمینه در اذهان وجود دارد پاسخ دهد. این کتاب حاصل تجربه نگارنده در ارتباط بادانش آموزان دبیرستان و دانشجویان و سخنرانی‌های متعدد در موضوع خدا است. نگارنده این کتاب را در 13 درس به رشته تحریر درآورده و تلاش نموده در هر درس به یکی از سؤالات درباره خدا پاسخ دهد. در این کتاب به این سؤال‌ها پاسخ‌داده‌شده است: چطوری میشه خدا رو فراموش کرد؟ تا حالا شنیدید کسی خدا رو عبادت کند اما برا دنیا؟ کی می تونه بگه من برا خدا می‌میرم؟ مگه میشه از سختیا هم لذت برد؟ به‌جز قدرت خدا، قدرت دیگه ای هم سراغ دارید؟ چرا دلمون به وعده‌های خدا گرم نیست؟ به نظرتون میشه باخدا بود و ناامید؟ جز خدا کی می تونه آدم‌رو عزیز کنه؟ و پرسش‌های دیگری که به همراه پاسخ محاوره‌ای آن‌ها در کتاب آمده است.

((تجدید حیات فکری در اسلام)) مبحثی است که در این نوشتار ذیل شش فصل به تفصیل بررسی و تبیین شده است .فصل‌های کتاب عبارت‌اند از :((جریان حمایت از استعمار یا جریان فکری وابسته))، ((جریان رویارویی دو جانبه))، ((نوگرایی در تفکر اسلامی))، ((اصلاح دینی))، ((اسلام آینده)) و ضمیمه‌ها .این مطالب متشکل از دو بخش است .در بخش اول، مولف به متفکرانی اشاره می‌کند که در دنیای اسلام گرایش‌های آنان نوعی انحراف از قرآن و سنت محسوب می‌شود .سید احمد خان، عبدالرزاق، طه حسین، مودودی و مذاهب ساختگی مثل بهائیت و قادیانی از این دسته هستند. بخش دوم به بررسی و تحلیل دیدگاه‌های افرادی اختصاص دارد که در عرصه سیاست و اندیشه به اصلاحات مختلفی مبادرت نموده‌اند. سیدجمال، محمد عبده و اقبال در شمار این گروه هستند.

فهست مطالب : 1. بررسی تاریخی (برر سی تاریخ استنتاج صوری که با ارسطو و اقلیدس و افرادی دیگر شروع می شود و تاریخ آنالیز ریاضی که به ارشمیدس باز می گردد) 2. تمامیت حساب محمولات 3. نظریه مدل ها 4. ماشین های تورینگ و توابع بازگشتی 5. قضایای ناتمامیت گودل 6. نظریه مجموعه ها 7. پیشنهادهایی برای مطالعات بیشتر

از مقدمه مترجم : در کتاب حاضر فصلهای نخست تا پنجم به آشنایی با کلیات منطق اختصاص دارد تا خواننده ابتدا تسلط کافی بر مسائل جاری منطق پیدا کند سپس در فصلهای ششم و هفتم به موضوع های پیشرفته تر و مجرد تری پرداخته می شود که هدف ان تعیین " قلمرو و مرزهای منطق صوری" است. البته در پاره ای از قسمت های پیشین کتاب (به طور عمده ، قسمت های4-2 تا 6-2 و 5-3 تا 8-3 و قسمت 9-4 ) نیز آمادگی های لازم برای ورود در بحث های دو فصل آخر فراهم می گردد. تدوین کتاب بر پایه این فرض است که خواننده در دوره دبیرستان درباره مقدمات منطق (زیر عنوان ریاضیات جدید) تدریس می شود، آشنایی دارد و به همین سبب در نخستین فصل کتاب که به طور عمده درباره ادات های تابع ارزشی عاطف ، فاصل و ناقض سخن به میان می آید به ایجاز برگزار گردیده و روش های کار همان شیوه متداول جدول های ارزش است.

این کتاب اولین کتابی است که به زبان فارسی در منطق جدید نوشته شده است. عناوین کلی کتاب به قرار زیر است : حساب گزاره ها حساب محمولات مرتبه اول حساب محمولات بالاتر اصول منطق صورت کلاسیک تأسیس حساب گزاره ها به روش قیاسی

فهرست کتاب در آمدی به منطق جدید / ضیاء موحد فصل اول- درآمد 1. جمله های خبری 2. تعریف منطق به صدق 3. تعریف منطق به استنتاج 4.منطق جمله ها و منطق محمولها 5.ثابت های منطقی : ادات ها و سورها فصل دوم - منطق جمله ها: 1. جمله نشانه ها 2.چنین نیست که 3.اگر 4 برهان i) قاعده فرض (ف) ii) قاعده نقض مضاعف (ن.م) iii) قاعده وضع مقدم (و.م) iv)قاعده رفع تالی (ر.ت) v) قاعده دلیل شرطی 5. ترکیب های عطفی 6. معنای ادات های منطقی vi) قاعده معرفی & (م.&) vii) قاعده حذف & (ح . &) 7. ترکیب های فصلی viii) قاعده معرفی V (م.V) ix) قاعده حذف V (م . V) X) قاعده برهان خلف (ب.خ) 8. قضیه 9. ترکیب های دو شرطی 10. اثبات چند صورت برهان 11. فرا قضیه ها فصل سوم : پایده گذاری صوری نظام منطق جمله ها 1. نحو زبان منطق جمله ها 2. ساختن قضیه از صورت برهان 3. نمونه جانشین و قاعده فرعی فصل چهارم : معنی شناسی زبان منطق جمله ها 1. قاعده های معنی شناسی 2. ترجمه زبان طبیعی به زبان منطق جمله ها 3. شرطی های خلاف واقع 4. روش ساختن جدول های ارزش 5. تعبیر 6. نسبت های مهم میان زدس 7. تابعهای ارزش 8. شرطی تابع ارزشی 9. شماره تابعهای ارزش بر اساس شماره جمله نشانه ها فصل پنجم: سازگاری و تمامیت منطق جمله ها 1. درستی و صدق 2. استقرای ریاضی 3. فرا قضیه سازگاری 4. تمامیت منطق جمله ها 5. مقایسه قاعده های استنتاج و جدولهای ارزش فصل ششم : آشنایی با زبان منطق محمول ها 1. جمله های اتمی 2.جمله های وجودی یا جزئی 3. جمله های کلی 4. جمله های چند صوری 5. جمله سور کلی به فارسی 6. سورهای مقید و عالم سخن 7. صفت ها و نسبت ها 8. مفهوم متغیر 9. محول نشانه و تابع جمله ای 10. ترجمه از زبان صوری به زبان طبیعی 11. ترجمه و تعبیر 12 راستگو و نمونه صادق 13. حذف سورهای در دامنه های متناهی 14. نسبت اینهمانی 15. یک غلط متداول فصل هفتم : قاعده های استنتاج منطق محمولها 1. استنتاج با سور کلی XI) قاعده حذف سور کلی (ح.ک) XII) قاعده معرفی سور کلی (م.ک) 2. استنتاج با سور وجودی XIII) قاعده معرفی سور وجودی (م.و) XIV) قاعده حذف سور وجودی (ح.و) 3. بررسی برخی از ویژگی های مهم سورها 4. استنتاج با سورهای پیاپی و تو در تو فصل هشتم : نظام صوری منطق محمولها 1. زبان موضوعی و فرا زبان 2. نحو زبان منطق محمولها 3. قاعده های استنتاج 4. کاهش قاعده ها 5. نمونه جانشین و قاعده فرعی فصل نهم : معنی شناسی زبان منطق محمولها 1) مجموعه 2) مفهوم و مصداق 3) تغییر زبان منطق محمولها 4. تعریف صدق در یک تعبیر 5. نمونه صادق ها فصل دهم : سازگاری و تمامیت منطق محمولها پ 1. فرا قضیه سازگاری 2. فرا قضیه تمامیت فصل یازدهم : اینهمانی گسترش زبان منطق محمولها 2. قاعده های استنتاج با نسبت اینهمانی XV) قاعده معرفی اینهمانی (م =) XVI) قاعده حذف اینهمانی (ح =) 3. نظریه وصف های خاص 4. تعریف های متنی 5. ساخت منطقی و ساختار دستوری 6. اینهمانی و شی ء های مادی پیوست 1 : روش درختهای ارزش پیوست 2. روشهای اصل موضوعی پیوست 3. نشانه گذاری های منطقی دیگر