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

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

قیاس تلازم در قرآن کریمچکیده قیاسی که کبرای آن شرطیه متصله باشد قیاس تلازم نامیده می شود. این قیاس در دو حالت «وضع مقدم» و «رفع تالی»، منتج و در سایر اشکال عقیم است. قیاس های تلازم ذکر شده در قرآن کریم چند حالت دارد: گاهی شرایط عمومی و اختصاصی قیاس تلازم در آنها کاملا رعایت شده است اما به علت وضوح، برخی مقدمات یا نتایج آنها ذکر نشده و قیاس اصطلاحاً مضمر و مرخّم است؛ اما گاهی ظاهراً شرایط اختصاصی ق...

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

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

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

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