فیلسوفان مسلمان حمل اولی و شایع را به دو معنای متفاوت به کار برده اند: 1. به قید قضیه 2.به قید موضوع. حمل اولی و شایع به قید قضیه نخستین معنای این دو اصطلاح و به ترتیب، به معنای «اتحاد مفهومی» و «حمل مصداقی» است؛ اما حمل اولی و شایع به قید موضوع، معنایی است که بعدها اختراع شده و به ترتیب، به معنای «ارادة مفهومِ موضوع» و «ارادة مصادیق موضوع» است و در حقیقت، چیزی جز همان تفکیک معروف میان «قضیة طبی...

در برخی قضایا و در برخی زبان ها (مانند زبان فارسی)، افزون بر موضوع و محمول، واژه ای (مانند «است») وجود دارد که «ربط» یا «رابط» نام دارد. بسیاری از فلاسفۀ اسلامی، حقیقتِ «ربط» را مرتبه ای از مراتب «وجود» می دانند و از این رو از آن به «وجود رابط» تعبیر می کنند.  این نظریه مبتنی بر مبانی و مقدماتِ خاصی است که مهم ترین آن ها این است که: «رابط» در عالم خارج وجود دارد.در بین فلاسفۀ اسلامی متفکرانی هستن...

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

مقدمه: یکی از مشکلات روکش‏های تمام سرامیکی، امکان شکستن آنها در برابر نیروهای اکلوزالی است. هدف از این تحقیق مقایسه مقاومت به شکست روکش‏های تمام سرامیکی ips e.max در دو ختم تراش چمفر و شولدر بود. مواد وروش‏ها: برای انجام این مطالعه آزمایشگاهی، بر روی یک دندان پرمولار اول ماگزیلا مارژین چمفر ˚50 (8/0 میلی‏متر) تراشیده شد و 20 بار توسط پلی وینیل سایلوکسان قالب‏گیری شد. سپس مارژین چمفر به شولدر ˚9...

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

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

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

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

This article has no abstract.

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