در این مقاله، مروری داریم بر منطق کلاسیک و جبر مربوط به آن، سپس مفهوم جبری کردن منطق های غیرکلاسیک را مورد مطالعه قرار می دهیم و مثالهایی از آن را با دید جبری می آوریم. جبر منطق چندارزشی پایه BL را مطالعه کرده، تعمیم های آن را بررسی می کنیم. در پایان، آخرین تحقیقات بر روی این تعمیم ها را مطرح می کنیم.

دراین پایان نامه با به کار گرفتن متناقض نمای گرلینگ از عبارات خونامصداق، یک اثبات معنایی از قضیه ی دوم ناتمامیت گودل ارائه می کنیم. برای نظریهt شامل zf جمله het_t را می سازیم که به طور شهودی بیان می کند محمول "خودنامصداق" خودش، خودنامصداق است. نشان می دهیم که این جمله از t نتیجه نمی شود و با سازگاری t معادل است. بالاخره نشان می دهیم چگونه یک برهان ناتمامیت مشابه برای حساب پئانو بسازیم.

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

منطق زمان به عنوان یکی از شاخه های توسعه یافته منطق جدید توسط آرتورپرایور در سال 1957 تاسیس گردید و امروزه کاربردهای متعدد و متنوعی در تبیین فلسفی فیزیکی زمان تحلیل منطقی زبان طبیعی هوش مصنوعی و علوم کامپیوتر پیدا نموده است. از آْنجا که در تبیین ساختار نحوی منطق زمان به شیوه استنتاج طبیعی مطالعه دقیق و کاملی صورت نگرفته است مولف در مقاله حاضر می کوشد با الهام از سبک و اسلوب فیچ در منطق موجهات شی...

چکیده ندارد.

منطق فازی که در آن ارزش درستی هر گزاره، یک زیرمجموعه فازی از بازه واحد است، معرفی و وجوه اصلی آن بررسی می شود. نخست مروری بر منطق های دو ارزشی می کنیم و آنگاه به معرفی منطق فازی می پردازیم. در این زمینه، متغیرهای زبانی، قیدها و سورهای زبانی، قوعد اگر- آنگاه فازی و روابط استلزام های فازی معرفی و بررسی می شوند. سرانجام استدلال تقریبی را مورد توجه قرار داده، یکی از مهمترین قوانین استنتاج در منطق ف...