ابن­سینا در اشارات «بهترین خاصه» را آن می‏داند که در برگیرنده همه افراد موضوع باشد، نفسی باشد، نه نسبی، و لازم باشد، نه مفارق؛ وی سودبخش ترین خاصه را برای  تعریف آن می‏داندکه افزون بر سه مورد مذکور تعلّقش به موضوع، بدیهی باشد. از نظر خواجه طوسی خاصه را با دو نگاه می توان دید: یکی به خودی خود، دیگر از آن روی که در تعریف جای می گیرد. بهترین خاصه با نگاه نخست،  دارای سه ویژگیِ نخست، و با نگاه دوم،  ...

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

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

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

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

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

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

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

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