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

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

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

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

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

قواعد قیاس حملی، که معمولاً تحت عنوان “the rules of the categorical syllogism” در منابع آموزشی منطق به زبان انگلیسی مطرح می شود، روش مفیدی است که جهت تشخیص اعتبار قیاس های حملی، به منطق آموزان، در کتاب های عمومی آموزش منطق، ارائه می شود. استفاده از این قواعد به تقلید از آثار آموزشی غربی در کشور ما نیز متداول گشته و با اندک تغییراتی، در آثار مؤلفان منطقی در داخل کشور، بازنویسی شده است. این تغییرا...

کتاب مبانی نظری و عملی پژوهش در علوم انسانی و اجتماعی تألیف علی دلاور سال‌هاست متن درسی روش تحقیق در رشته‌های علوم اجتماعی و انسانی است و تاکنون بارها تجدیدچاپ شده است. پژوهۀ فرارو با روش تحلیل اسنادی این تألیف را نقد کرده است و با تکیه بر نظریۀ «تقسیم» در منطق ارسطویی نواقص «ارائۀ منطقی محتوا» را در این کتاب در فصل‌بندی و ارائۀ زیرعنوان‌ها و تدوین مطالب در ذیل عناوین، که هریک موجب اختلال در فر...

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

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

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