مرور درختی موضوعات | کتابخانه مجازی الفبا

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

فهرست کتاب در آمدی به منطق جدید / ضیاء موحد فصل اول- درآمد 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. نشانه گذاری های منطقی دیگر

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

چکیده ندارد.

چکیده ندارد.

طبق یک تعریف رایج، برهان صدیقین استدلالی است که در آن با تأمل در نفس وجود و بدون فرض وجود ممکن، وجود واجب الوجود اثبات می‌شود. شیخ الرئیس، مبتکر برهان صدیقین، تقریرهای متفاوتی را از این سبک برهان در کتاب‌های اشارات، نجات و مبدأ و معاد ارائه نموده و فلاسفه‌ی دیگر با وجود تأیید چهارچوب کلی برهان، نقدهایی را بر آن وارد کردند. برخی از این نقدها، متوجه صدیقین بودن برهان و برخی هم ناظر بر مفهوم اصلی به کار رفته در آن یعنی، سلسله هستند. در این نوشتار ضمن بررسی سه تقریر اصلی برهان سینوی به تحلیل منطقی یکی از آن‌ها، یعنی تقریر نجات، پرداخته و امکان اثبات اعتبار منطقی آن را در منطق موجهات محمولی بررسی می‌نماییم. از این طریق روشن می‌شود که: اولاً تقریر شیخ واجد ملاکی که خود، برای براهین صدیقین معرفی می‌کند، هست یا خیر. ثانیاً نقد وارد بر وجود فی‌نفسه سلسله بر اعتبار منطقی استدلال چه تأثیری دارد و به طور کلی در این زمینه چه پاسخی می‌توان به منتقد داد و در نهایت تفاوت‌های صورت‌بندی حاضر با صورت‌بندی شیخ و پی‌آمد‌های آن از جمله داخل بودن واجب در سلسله، چگونه قابل توجیه است. هم‌چنین اهتمام نوشتار حاضر بر این است تا اصول تقریر منتخب را به همراه لوازم منطقی و فلسفی هریک، مانند نیاز به یک نظریه‌ی جامع برای علیّت، استخراج و اثبات اعتبار منطقی آن‌ها و ارتباط‌شان با حوزه‌های دیگر فلسفی مانند پارشناسی را بر عهده گیرد. در این راستا امکان کاهش تعداد مقدمات را به طور کلی و نیز از طریق برخی پیش‌نهادات شیخ، مانند ارائه‌ی تعریف جدیدی از واجب الوجود بررسی می‌نماییم.

پیش از ظهور منطق جدید، نظام منطقی رایج بی بدیل می نمود. اما منطق کلاسیک، با نظام های متعددی روبه روست که خود را منطقی و هماورد منطق کلاسیک می دانند. این نظام ها، اغلب مبتنی بر پیش فرض های خاص فلسفی هستند و قواعد منطقی متفاوتی را طرح می کنند. در مواجهه با این نظام ها، پرسشی فلسفی مطرح می شود مبنی بر اینکه آیا اساسا کثرت در نظام و/ یا قواعد منطقی ممکن است؟ فیلسوفان منطق جدید، پاسخ های متنوعی به این پرسش داده اند. بسیاری به این امکان قایل نیستند، اما دلایل این عده متفاوت است. فیلسوفان و منطق دانان قدیم، به صراحت این پرسش را مطرح نکردند ولی می توان از سخنان آنها استنباط کرد که اگر آنها در مقابل این پرسش قرار می گرفتند پاسخ منفی قاطعی به آن می دادند. در این مقاله می کوشیم تا نشان دهیم موضع آنها در این باب موضع واقع گرایانه است و قواعد و صدق های منطقی را جزء معقولات ثانی منطقی (با توسعی در معنای آن) می دانند.

آخرین و کوتاه ترین تقریر از «برهان صدیقین» از علامه طباطبایی است که استاد جوادی آملی درباره آن ادعا کرده اند که هیچ پیش فرض فلسفی ندارد و از این رو، می تواند به عنوان اولین مسأله فلسفی مطرح شود. این ادعا بحث هایی را پدید آورده و مورد تأیید و انکار برخی از معاصران قرار گرفته است. در مقالات متعددی که در این زمینه به نگارش درآمده است، این ادعا به صورت موردی بررسی و نقد شده است. در این مقاله، ادعای استاد جوادی آملی را به صورت کلی و بدون توجه به برهان علامه طباطبایی بررسی می کنیم و می خواهیم ببینیم که آیا اثبات وجود خدا بدون کمک پیش فرض فلسفی اصولا ممکن است یا خیر؟ در این مقاله، با صورت بندی «موجود بودن خدا» در منطق مرتبه دوم هنکین (که با ادات های وجهی ترکیب شده است) و با استناد به اثبات ناپذیری آن در این منطق، نشان داده ایم که اثبات این مفهوم بدون پیش فرض فلسفی امکان ندارد.