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

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

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

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

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

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

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

هدف این مقاله، بررسی رابطه بین نوع ساختار سازمانی و منابع قدرت مدیران در واحدهای ستادی دانشگاه شیراز است. ابزار تحقیق، پرسشنامه نوع ساختار سازمانی و پرسشنامه شناسایی منابع قدرت بود که روایی و پایایی آنها محاسبه و توسط 243 نفر از کارمندان واحدهای ستادی دانشگاه تکمیل و عودت داده شد. نتایج نشان داد که: 1) ساختار سازمانی غالب در واحدهای ستادی دانشگاه شیراز، ساختار تواناساز است. 2) از دیدگاه کارمندا...

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

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