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

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

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

تعریف سنتی مفهوم معرفت عبارت است از «باور صادق ‎موجه». مفهوم «تصدیق یقینی» که در عبارات ابن‎سینا معادل علم تصدیقی دانسته شده است، مؤلفه‎های تقریباً مشابهی با مفهوم معرفت گزاره‎ای دارد. از نظر ابن‎سینا تصدیق یقینی یا همان علم تصدیقی عبارت است از تصدیق یک قضیه به سبب علم به علت موجبه صدق آن قضیه. علت صدق قضایای یقینی بدیهی درون این قضایا، و علت صدق قضایای یقینی نظری بیرون از این قضایا است. همچنین ...

ارایه تقسیم بندی جامع از منابع تعهدات یکی از مسایل کهن و همیشگی در حقوق تعهدات بوده ولی هنوز در هیچ رژیم حقوقی اتفاق نظری راجع به منابع ایجاد تعهد وجود ندارد. در حقوق رم تعهد از دو منبع عقد و جرم سرچشمه می گرفت. بعداً در حقوق فرانسه چند منبع دیگر به آن دو افزوده شد و این تقسیم بندی به حقوق تعهدات کشورهای رمی ژرمنی از جمله ایران سرایت نمود. با این وجوداز منظر دکترین حقوقی این تقسیم بندی جامع و من...

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

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

در میان فلاسفة اسلامی معاصر، محمد تقی مصباح یزدی در باب تعریف قضایای تحلیلی نظریه‌پردازی کرده است. مقالة حاضر که پژوهشی است پیرامون نظریة وی در باب تعریف قضایای تحلیلی، از دو بخش تشکیل می‌شود؛ در بخش اول ابتدا «تعریف اولیه» قضیة تحلیلی را که برگرفته از آثار مکتوب محمدتقی مصباح یزدی است ارائه می‌کنیم، سپس مثال‌هایی را که وی قضیة تحلیلی می‌داند به بحث می‌گذاریم و استدلال می‌کنیم که نمی‌توان این ق...