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

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

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

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

چکیده در راستای بهبود بخشیدن به توانش های فراگیران در یادگیری دستور زبان فرانسه و در پی پیشنهاد طرح آموزشی در جهت بالابردن کیفیت تدریس دستور و یادگیری زبان فرانسه به متخصصین این امر, بر این شدیم که زبان فرانسه را به طور اصولی و دقیق به فراگیران بیاموزیم. هدف بررسی تاثیر ادبیات و متون ادبی در بهترشدن یادگیری زبان , خصوصاً دستورزبان بر 20 فراگیر ترم 4 زبان فرانسه موسسه زبانهای خارجی کوثر در رده ...

چکیده ندارد.

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

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

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

مبحث تأکید و روش‌‌های مؤکّد کردن اقسام کلمه از جمله مسائلی است که در دستورزبان، زبان‌‌شناسی و بلاغت مطرح است. در خلال کتاب‌‌هایی که در زمینۀ دستور زبان نوشته شده، معمولاً به‌‌ صورت گذرا اشاره‌‌هایی به روش‌‌های مؤکّد کردن اقسام کلمه شده است. گاهی نیز در مقالاتی که در این زمینه نوشته شده، به‌‌صورت موردی به روش‌‌های تأکید بر یک قسمِ کلمه پرداخته شده است. در این تحقیق کوشش بر این است که پاسخی به این پر...