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

منطق های توجیه، منطق های شناختی است که به طور صریح شامل توجیهاتی برای دانش عامل هاست. در این پایان نامه، یک منطق توجیه چند عاملی با ترم های توجیه برای عامل های فردی و نیز برای دانش عمومی می شود و یک معناشناسی کریپکی که مشابه معناشناسی فیتینگ برای منطق اثبات های lp است تعریف می کنیم. همچنین سلامت، تمامیت و ویژگی مدل متناهی منطق توجیه چند عاملی نسبت به معناشناسی کریپکی نشان داده می شود. اثبات می ...

منطق های توجیه، منطق های شناختی است که به طور صریح شامل توجیهاتی برای دانش عامل هاست. در این پایان نامه، یک منطق توجیه چند عاملی با ترم های توجیه برای عامل های فردی و نیز برای دانش عمومی می شود و یک معناشناسی کریپکی که مشابه معناشناسی فیتینگ برای منطق اثبات های lp است تعریف می کنیم. همچنین سلامت، تمامیت و ویژگی مدل متناهی منطق توجیه چند عاملی نسبت به معناشناسی کریپکی نشان داده می شود. اثبات می ...

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

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

برای منطق دو نظام قدیم و جدید می‌شناسیم که از نظر برخی، در تضاد با یکدیگر قرار دارند. در این مقاله، می‌خواهیم ببینیم که آیا منطق قدیم در برابر منطق جدید، واقعاً یک منطق است و قواعد یکسانی را معرفی می‌کند یا خیر؟ در تعداد قواعد معتبر و بیان دقیق آنها در منطق محمولات قدیم، اختلاف نظر‌های بسیاری مشاهده می‌شود. برای نمونه، تقریر‌های گوناگون از قاعدة فرعیّه و قاعدة نقض محمول و نیز دو تعریف مشهور برای ...

واقعیت نهایی و حقیقت غایی چیست؟ از دیدگاه قرآن عظیم چگونه و با چه ابزاری می‎توان به نفوذ در نفس‎الامر جهان توفیق یافت؟ آیا با یک منطق ساده و تک‎بعدی مثل ذهن استدلالی می‎توان به معرفت مطلوب مذهب در باب جهان پیچده و انسان پیچیده­تر دست یافت؟ هر متدی برای هر علمی جهت کشف واقعیت مناسبت ندارد. قیاس برهانی در علوم طبیعی بی‎ثمر است؛ چنان‏که استقرای علمی در ریاضیات و فلسفه بی‏اثر است. چه عاملی گذر از د...

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

کانت منطق را به دو حوزه کلی منطق عمومی و منطق استعلایی تقسیم می­کند. منطق عمومی نسبت به اعیان خنثی است و صرفا قواعد انسجام خود اندیشه و از این رو صرفا شرایط سلبی حقیقت را بیان می­کند. اما آیا اصل طرد شق ثالث که می­گوید از بین یک گزاره و نفی آن یکی درست است یک شرط صرفا سلبی برای حقیقت است؟ در این مقاله نشان می­دهیم که چنین نیست. در این راستا هم به لحاظ تاریخی به برهان کانتور اشاره می­کنیم و هم ب...