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

در نظریة ارجاع سول کریپکی حداقل سه مشکل وجود دارد؛ 1. ارجاع دهیِ متفاوت اسامی خاص در جهان های ممکن مختلف؛ 2. تغییر مرجع؛ و 3. خطاناپذیری ارجاعی ترم های نظری. در این مقاله ابتدا این سه مشکل را طرح می کنیم سپس بیان می کنیم که چگونه خود کریپکی با توسل به مفهوم «کاربست» مشکل اول را حل کرده است و پس از آن چگونگی حل شدن مشکل دوم و سوم را با استفاده از همین روش توضیح می دهیم. علاوه بر این در قسمتی از م...

چکیده ندارد.

سول کریپکی برای تبیین منطق موجهات محمولی دو نظام جداگانه (در سالهای 1959م و 1963م) طراحی کرده است. در این مقاله با بررسی اجمالی ساختار نحوی و ساختار معنایی دو نظام مذکور، به مقایسه آنها و میزان کارآیی هرکدام در تبیین منطق موجهات محمولی پرداخته شده است.

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

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

چکیده ندارد.

چکیده ندارد.

چکیده ندارد.

چکیده ندارد.