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

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

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

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

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

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

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

مسأل? اندیس برای عملگرهای بیضوی در سال ‎1959 (1960)‎، بوسیل? گلفند‎‎ ‎طرح شده بود. او این مسأل? کلی را مطرح کرد که اندیس آنالیزیِ یک عملگر دیفرانسیل بیضوی، چگونه با داده های توپولوژیک مسأله ارتباط دارد؟‎‎ در فصل چهار این پایان نامه می بینیم که اندیس آنالیزی، برای عملگرهای فردهولم قابل تعریف است. در سال ‎1960‎ یک ریاضیدان روسی به نام والتر‎‎ ‎ فهمید که برای عملگرهای بیضوی نیز می توان اندیس آ...

هدف از قضیه بیز (bayes theorm) در فرم فازی است . بدین جهت ابتدا به بیان مطالبی در رابطه با منطق دو ارزشی می پردازیم سپس منطق دو ارزش را جبری نموده و با بسط مطلب ، روی منطق های چند ارزشی، جبرهای چند ارزشی (در فصل 2 بطور کامل به جبرهای چند ارزشی پرداخته شده است ) را مطرح می کنیم. آنگاه بحث را روی مجموعه هایی با کرانهای نادقیق (مجموعه فازی) تعمیم می دهیم. در این تعمیم از -t نرمها بعنوان رابط استفا...

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