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

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

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

از نظر منطقدانان مسلمان، سور در منطق حملی کمیت افراد موضوع را نشان می دهد؛ لذا بر سر موضوع می آید. در این صورت اگر بر سر محمول ظاهر شود نوعی انحراف در گزاره ایجاد می­شود؛ چنین گزاره ای «قضیه منحرفه» نامیده می شود. در منطق جدید، در مقابل، ویژگی اصلی یک محمول کلی و غیر اشباع بودن آن است؛ و از آنجایی که محمول دارای متغیر آزاد(= شناسه) است می تواند مسور گردد و گزاره به دست آمده کاملا خوش ساخت است. ...

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

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

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

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

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

«منطق به صورت نامحدود ... صوری نیست. اگر چنین بود، بدون محتوا می‌بود ... هیچ علمی کاملاً صوری نیست» (Frege, 1971:109). در ۱۸۹۹، دیوید هیلبرت نظام اصلِ موضوعیِ منقحی برای هندسة اقلیدسی عرضه کرد و با اثبات مشروط فراقضیه‌های سازگاری و استقلال برای این نظام، راه‌حلی برای یکی از مسائل دیرپای ریاضیات (مشهور به مسئلة خطوط موازی) ارائه داد. گوتلوب فرگه، پایه‌گذار منطق صوری جدید، مخالفت‌های بنیادینی با روی...