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

در پژوهش حاضر تأثیر آموزش مستقیم شبکه­ های فعلی زبان فارسی بر میزان پاسخ­گویی زبان‌آموزان به پرسش‌های استنتاجی و جایگزینی مورد بررسی قرار گرفته­ است. پژوهشگران، ابتدا یک گروه از فارسی­آموزان غیرایرانی در سطح پیشرفته را به ‌صورت تصادفی انتخاب کردند. با برگزاری پیش­آزمون، زبان‌آموزانی را از میان آن­ها برگزیدند که از دانشِ واژگانی غنی­تری برخوردار بودند. پس از تهیة 3 درس که هر یک دارای 27 شبکة فعلی...

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

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

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

این مقاله، شگرد قرآنی التفات را در پرتو ساختار اطلاعات گفتمان بررسی می کند. پرسش اصلی این است که به چه ترتیب می توان شگرد التفات را در پرتو ساختار اطلاعات گفتمان تبیین کرد؟ از این رو، ابتدا به پیشینة مطالعاتی و تعریف التفات اشاره می شود، سپس ساختار اطلاعات گفتمان و مؤلفه های آن یعنی ساخت مبتدایی و قاعدة حفظ موضوع بررسی می شود، از زوایای دوربین/ کانونی شدگی سخن به میان می آید و پس از آن انواع ال...

در زبان هایی که ویژگی آرایش نحوی آزاد دارند، قلب نحوی می تواند سازه های مختلف جمله را جابه جا کند. می یاگاوا (2001) مدعی است که در زبان ترکی با اعمال قاعدة قلب نحوی، عناصر غیر فاعلی به مشخصگر گروه زمان حرکت می کنند و فاعل در جایگاه اصلی خود، یعنی مشخصگر گروه فعلی سبک باقی می ماند. در این مقاله می خواهیم با تکیه بر رویکرد مطابقت در مدل کاوشگر- هدف برنامة کمینه گرایی و ارائة مثال های کافی نشان ده...

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

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

در تاریخ بیستم ژوئن 2001 که مصادف با سی خرداد هشتاد بود کنفرانسی تحت عنوان معرفت شناسی باور پایه به مدت سه روز در دانشگاه آزاد آمستردام در هلند برگزار شد بعد از اشاره ای اجمالی به موضوع کنفرانس گزارشی کاملا موجز از آن ارائه می شود مفهوم باور پایه یکی از مفاهیم اساسی در معرفت شناسی امروز است . اصل آن به نظریه قدیمی مبنا گروی بر میگردد.بر اساس این نظریه مجموعه باورهای آدمی به دو دسته تقسیم میشود ...