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

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

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

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

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

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

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

وجود در حکمت متعالیه امری مشکَّک است. هم‌سنخ‌انگاری «وجود» و «معرفت» در این نظام، سبب اتحاد احکام آن دو و تشکیک‌پذیری معرفت، همسان با تشکیک‌پذیری وجود می‌شود. پژوهش جاری با فرض ثبوت مشکَّک‌انگاری معرفت، درصدد بررسی و تبیین آثار و لوازم معرفت تشکیکی در سه حیطۀ خاص «تعریف فلسفه»، «نظریۀ صدق» و «نظریۀ زبان‌شناختی» از منظر صدرالمتألهین و با رویکرد تحلیل-منطقی عبارات وی است. رهیافت به‌دست‌آمده، تفسیری ن...