قواعد پذیرفتنی می توانند در هر اشتقا‏ق از هر سیستم اصل بندی استفاده شوند. در این پایان نامه ابتدا قواعد به شکل نرمال کاهشی تبدیل می شوند سپس براساس الگوریتم معرفی شده پذیرفتنی بودن قواعد مورد بررسی قرار می گیرد. سپس، منطق وجهی s4 با استفاده از خاصیت هم-پوشایی توسیع داده می شود. به طور خاص‏، قواعد پذیرفتنی در ‎s4‎ به یک فرمول قابل ارضا در توسیعی از منطق ‎‎‎s4 کاهش داده می شوند. منطق توسیع داده ش...

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

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

ابن سینا شرطی لزومی با مقدّم ممکن و شرطی لزومی با مقدّم ممتنع را لزومی به حسب نفس الامر و لزومی به حسب الزام نامیده، و قسم دوم را در واقع و نفس الامر کاذب دانسته است. این حکمْ شگفت بلکه خلاف شهود است و، از این رو، نزاع های بسیاری در ردّ و قبول آن درگرفته است. در این مقاله، با گزارش انتقادی نزاع های یادشده، لزومی حقیقی و لفظی را به زبان منطق جدید و به کمک منطق موجّهات و منطق ربط تحلیل کرده ایم و نشان...

در پژوهش حاضر با استفاده از «انگاره­ی چند­وجهیِ راش» به بررسی خطاهای مدرسان زبان فارسی در حین ارزیابی نوشته­های فارسی­آموزان غیرایرانی پرداخته شده است. به همین منظور، در زمستان 1393، دو مصحح/مدرس از دانشگاه بین­المللی امام خمینی (ره) به ارزیابی 56 متنِ نوشته شده توسط 28 دانشجوی پسر و دختر غیرفارسی زبانِ غیرایرانی در سطح پیشرفته پرداختند. به این دانشجویان که از ملّیت­های مختلف بوده و در مرکز آموزش ز...

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

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

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

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

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