منطق تک‌نرم UL یک منطق فازی، زیرساختاری و نیمه‌ربطی است. سیستم گنتزن UL از حذف قواعد انقباض و تضعیف از سیستم گنتزن منطق فازی گودل بدست می‌آید. UL فاقد «طرد شق ثالث»، «پارادوکس مثبت» و «پارادوکس منفی» است. تابع ارزش تک‌نرم تضعیفی ربطی از تابع t-نرم است. در این مقاله منطق جدید ULΔ را معرفی می‌کنیم. ULΔ با افزودن اپراتور وجهی Δ به UL بدست می‌آید. ULΔ که بسطی از منطق کلاسیک است، یک منطق موجهات نرما...

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

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

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

ضرورت ترجمۀ دقیق قرآن کریم به زبانهای مختلف از جمله فارسی، اقتضا می کند که برای شناخت بهتر این قواعد و اعمال آن در ترجمۀ قرآن کریم کوشش کنیم. از جملۀ این قواعد، نفی جنس است که در زبان عربی با کاربرد ادات «لا» صورت می گیرد. لای نفی جنس در قرآن ۱۱۲ بار به کار رفته است. لازم است اسلوب نفی جنس در قرآن کریم چنان به زبانهای دیگر ترجمه شود که تمایز آن با اسالیب دیگری که در آنها هم از ادات «لا» استفاده...

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

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

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

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

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