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

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

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

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

فرض کنید fp جبرسریهای توانی صوری p متغیره با متغیرهای x1,...xp و با ضرائب مختلط باشد. یعنی fp=((x1,...xp)) مسئله نشاندن جبرسریهای توانی صوری fp دریک جبرباناخ، بعبارت دیگر فرم دارکردن fp، درسالهای اخیر مکررا مورد تحقیق قرارگرفته است . برای اولین بار درسال 1971، گراهام آلن توانست یک شرط لازم و کافی برای یک جبرباناخ با عنصر همانی پیداکند، که f1 قابل نشاندن درآن باشد. (1 قضیه 2.2). اگر p>1، ساختمان...

هنگام بحث درباره ماهیت ایمان، اغلب تفکیکی برپایه متعلَق ایمان ارائه میشود که براساس آن، ایمان به­گونه کلی یا گزاره­ای است و یا غیر گزاره­ای؛ یعنی اگر ایمان به یک یا چند گزاره تعلق گیرد، ماهیتش نیز گزارهای و از سنخ معرفت خواهد بود؛ اما اگر متعلَق ایمان شخص یا موجودی خارجی باشد، ماهیت ایمان از سنخ اموری همچون دلبستگی و وفاداری است. این مقاله با بررسی لوازم این تفکیک نشان می دهد که اولاً این دسته بند...

چکیده کارکرد گفتمانی سکوت در ادبیات معاصر فارسی (انتشارات نقش جهان: 1392) اثر لیلا صادقی به بررسی «سکوت» از منظری زبان­شناختی می­پردازد و رویکردها و دیدگاههای تازه­ای را از افرادی چون دنیس کورزون، توماس برونو، توماس هاکین، ژاک دریدا، سوزان سانتاگ، میشل افرات و دیگران بررسی می­کند و آنها را در پیکره­ای متنوع از ادبیات داستانی معاصر می­آزماید. در این مقاله، برخی کاستیهای کتاب از منظر صوری و محتوا...