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

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

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

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

منطق ربط شاخه ای از منطق جدید است که ارتباط میان مقدم و تالی (و یا میان مقدمات و نتیجه) را بیان می کند. در نظام استنتاج طبیعیِ منطق ربط، از ترکیب دو روش «برهانک» و «شماره فرض» استفاده می شود. در این پایان نامه با معرفی این روش ترکیبی، اعتبار و عدم اعتبار مثالهای متنوعی از استدلال های ربطی و غیر ربطی را نشان داده ایم. روتلی و مایر برای منطق ربط، سمانتیکی مشابه سمانتیک کریپکی طراحی کردند که در سا...

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

دوفصلنامه‌ی پژوهش‌های قرآنی در ادبیات، دانشگاه لرستان سال دوم، شماره‌ی اول، پیاپی سوم، بهار و تابستان 1394 هـ. ش/2015م صفحات 65- 91 ساخت‌های همپایه در جزء سی‌ام قرآن کریم مرتضی قائمی[1] فائزه صاعدانور[2] چکیده برای انتقال پیام‌‌های آسمانی، امکانات زبانی به زیباترین شکل ممکن در قرآن کریم به ‌کار رفته است. یکی از ویژگی‌های سبکی جزء سی‌ام قرآن کریم، استفاده گسترده از ساخت‌های همپایه است. همپای...

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

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