کتاب درآمدی نو به منطق نمادین: منطق محمول ها | اکبری

درباره‌ی کتاب درآمدی نو به منطق نمادین: منطق محمول‌ها

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

بخشی از کتاب درآمدی نو به منطق نمادین: منطق محمول ها

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

کتاب درآمدی نو به منطق نمادین: منطق محمول ها اثر تیدمن و کهین با ترجمه‌ی رضا اکبری در انتشارات دانشگاه امام صادق (ع) به چاپ رسیده است.

فهرست

فهرست کتاب درآمدی نو به منطق نمادین: منطق محمول ها

فصل اول: نمادین سازی در منطق محمول ها

فصل دوم: معناشناسی منطق محمول ها

فصل سوم: براهین منطق محمول ها

فصل چهارم: منطق نسبت ها

فصل پنجم: مبنای منطقی  نهفته در صورت بندی دقیق قواعد مربوط به سورها

فصل ششم: درخت های ارزش در منطق محمول ها

فصل هفتم: این همانی و مشکلات فلسفی منطق محمول ها

• نویسنده: پل تیدمن و هاوارد کهین
• مترجم: رضا اکبری
• انتشارات: دانشگاه امام صادق