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

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

پژوهش حاضر، به بررسی وضعیت تفکر انتقادی اعضای هیأت علمی دانشگاه علوم پزشکی مازندران و ارائه پیشنهادهایی به برنامه ریزان آموزشی دانشگاه درجهت پرورش بهتر تفکر انتقادی  آنها می باشد. برای بررسی سطح مهارت های تفکر انتقادی از روش توصیفی - زمینه یابی و برای  تجزیه و تحلیل داده های حاصله نیز، از آزمون های آماری t و anova استفاده شده است. جامعه آماری شامل اعضای هیأت علمی زن و مرد دانشگاه علوم پزشکی ماز...

هدف از پژوهش حاضر، بررسی درک و فهم دانش آموزان پسر سال سوم متوسطه -رشته های ریاضی و تجربی- شهر کرمان از اثبات و استدلال ریاضی می باشد. به این منظور یک پرسشنامه شامل 5 بخش بین 360 نفر از دانش آموزان پسر، که به روش نمونه گیری تصادفی خوشه ای تک مرحله ای و طبقه ای نسبی (نسبتی) انتخاب شدند، توزیع گردید. از این بین 291 پرسشنامه، با استفاده از روش آمار توصیفی و استنباطی و نرم افزار spss مورد تجزیه و ت...

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

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

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

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

بیشتر استدلال‎های قرآن به صورت مضمر است. به همین دلیل، شناخت حدود و مقدمات و نوع آنها نیازمند تحلیل این استدلال‎ها است. برای این کار، علاوه بر ضرورت آشنایی با صورت های عقلی استدلال مانند صورت های مختلف قیاسی، آشنایی با سبک‎های بیانی استدلال در قرآن نیز ضروری است؛ آشنایی با سبک‎های بیان استدلال در قرآن برای شناسایی مواضع استدلال و شناخت نوع استدلال‎های مضمر در قرآن نقش اساسی دارد.. بررسی استدلال...

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