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

در این مقاله وجود دو جواب ضعیف نابدیهی بک مساله ی پی ابکس از نوع کرشهف را با استفاده از قضیه ی مسیرکوهی و اصل اکلند ثابت می کنیم

چکیده ندارد.

هدف از نگارش این مقاله، بررسی کارکرد معرفتی قضایای حقیقیه و خارجیه در صناعت برهان، در سایۀ تأمّل در ضوابط و شرایط منطقی این قضایا است. در باب قضایای حقیقیه و خارجیه، دیدگاه­های متعددی ارائه شده است که دیدگاه مختار در پژوهش حاضر، بر مبنای تمایز این دو گزاره از حیث نحوۀ اقتران عقدین استوار است. اگر اقتران عقدالوضع و عقدالحمل در قضیة مسوّره به نحو لزومی باشد، قضیه حقیقیه است و اگر این ارتباط به نحو ...

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

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

یکی از مباحث مهم معرفت‌شناسی، بحث استقراء، انشاء حکم کلی از مشاهده مصادیق جزئی و ارائه شواهد و قرائن خوب برای تأیید آن است. مسأله این است که برای تأیید یک حکم کلی به چه تعداد و با چه کیفیتی از شواهد و قرائن نیاز است؟ همه ما قضیهG1 «هر حکم کلی،‌ بوسیله مصادیقش تأیید می‌شود» را قبول داریم. ولی دو پارادوکس تأیید، با عنوان پارادوکس کلاغ‌ها و سآبی نشان می‌دهند که قبول این قضیه در برخی موارد، ما را د...

تفکیک «تصور» و «تصدیق» از تمایزهای اصلی است که متقدمین در منطق و متأخرین در معرفت­شناسی از آن بهره برده­اند، هر دو گروه مقسم این دو را «علم حصولی» می‌دانند، این تقسیم در «معرفت­شناسی نوصدرایی» برای اقسام معرفت به کار رفته است، اما نمی­توان «تصدیق» را در اصطلاح معرفت­شناسی بنا بر تعریف فلسفۀ اسلامی «علم­حصولی» دانست. این تحقیق با مرور ادبیات فیلسوفان مسلمان به ویژه نوصدراییان، مدعی است که تفکیک ...

دادرس در انجام تکلیف رسیدگی به دعوا (مدنی) می باید قاعده ماهوی حاکم بر قضیه را در منابع موجود شناسایی نماید. انجام این مهم در گرو شناسایی دقیق منابع حکم و ترتب آن در نظام حقوقی حاکم است. حقوق موضوعه جمهوری اسلامی در اصل 167 قانون اساسی و ماده 3 قانون آیین دادرسی مدنی راجع به این تکلیف دادرس اعلام موضع نموده است. به رغم تبعیت کلی نظام حقوقی مزبور از نظام حقوقی نوشته، تغییرات رخداده بعد از انقلاب...

در بررسی زیر پس از ذکر قضیه ی همیلتن – کیلی و یاداوری روش معمولی محاسبه ی تابع اکسپنانسیل (نمائی) ماتریسی ، ابتدا ثابت می کنیم که هر چند جمله ای درجه n ام که بیش از n ریشه داشته باشد متحد با صفر است . سپس با استفاده از آن ثابت می کنیم که حاصل جمع n چند جمله ای لاگرانژ از درجه n-1 که با ضرایب خاصی تعریف شده باشند برابر 1 است و این نتیجه را همراه با قضیه همیلتن – کیلی برای اثبات یک روش محاسبه تاب...