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

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

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

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

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

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

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

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

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

از زمان انتشار مقاله‌ی سوئل کریپکی با عنوان تحلیل دلالت شناسانه‌ی منطق شهودیI، در سال 1965، تمام آنچه پیش‌ از آن در دلالت‌شناسی منطق شهودی نگاشته شده بود، تفسیر برآوئر-هیتینگ-کولموگروف(BHK)، تفسیر توپولوژیک و مدل‌های بث تحت سایه‌ی ‌تنقیح و پالودگی‌اش قرار گرفت و دلالت شناسی استاندارد برای منطق شهودی برآوئر-هیتینگ قلمداد شد. تا به امروز جهت تفسیر، مقابله و بِه فهمی، ادبیات و مطالعات کلانی حول این...