حفظ و تعادل زیست محیطی، از جمله ارکان توسعة پایدار است. در این مقاله برخی از عوامل آلایندة آب و خاک کشاورزی، هوا و /so3 so2 آبهای شیرین، جنگل، مواد مصرفی و نیز انرژی برای تولید آهن و فولاد که در توسعة پایدار کشور ما ایران مؤثرند، شناسایی و توابع عضویت آنها بر اساس منطق شلال، بین صفر و یک تعریف می شوند. به نحوی که درجه عضویت «صفر» یعنی توسعة تولید آهن و فولاد اصلا پایدار نیست و درجة عضویت «یک» ی...

در این مقاله مدل زمانبندی جریان کارگاهی با m ماشین و n کار در حالت احتمالی و غیر قطعی مورد بررسی قرار می گیرد. زمانهای فرآیند غیر قطعی هستند. بنابراین زمان فرآیند هر کار روی هر ماشین یک مجموعه فازی است که نشان دهنده توزیع امکان زمان آن فرآیند است. و موعد تحویل برای زمان اتمام کل کارها متغیری تصادفی است. در اغلب مدلهای زمانبندی جریان کارگاهی قطعی هدف یافتن توالی است که زمان تکمیل آخرین کار روی آ...

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

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

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

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

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

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