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

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

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

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

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

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

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

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

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

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