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

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

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

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

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

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

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

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

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

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