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

حساب هتینگ ha صورت شهودگرایانه حساب پئانو pa است که با حذف اصل طرد شق ثالث pem از آن حاصل می شود. در این پایان نامه توصیفی از نتایج wehmeier درباره ارضاء (زیرنظریه های) pa در جهانهای مدلهای کریپکی ha آورده می شود. برای مثال، هر قضیه ii2 از pa (که در ha نیز برهان پذیر خواهد بود) در هر مدل کریپکی ha موضعا صادق است . به علاوه، مدلهای کریپکی توسیع انتهایی برای ha قالب - 1 گردایه را نیز (که در ha بر...

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

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

به منظور تعیین اثرات عمق دفن بذر، رطوبت و بافت خاک بر درصد و سرعت سبز شدن علفهایهرز تاجخروس و سلمهتره، دو آزمایش جداگانه با استفاده از روش فاکتوریل در قالب طرح بلوکهای کامل تصادفی با فاکتورهای عمق دفن با پنج سطح شامل صفر، 5/0، یک، دو و سه سانتیمتر، رطوبت خاک با سه سطح شامل 20 درصد، 60 درصد و 100 درصد ظرفیت زراعی و دو نوع بافت خاک شامل بافت شنی و لومی با سه تکرار در آزمایشگاه تحقیقاتی دانشگاه بی...

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

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

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

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