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

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

یک مجموعه فازی نوع-2 یا مجموعه فازی- فازی، یک مجموعه فازی است که دارای درجه عضویت های فازی می باشد. چنین مجموعه ای در جایی که تعیین دقیق درجه عضویت برای یک مجموعه فازی مشکل است مفید واقع می شود. یک سیستم فازی نوع-2 در برابر عدم قطعیت هایی که در قوانین فازی و یا پارامتر های سیستم بوجود می آید مقاوم است. در این مقاله ابتدا تاریخچه توسعه نظریه فازی نوع-2 در مدت بیست و پنج سال اخیر بررسی شده است. س...

اینهمانی یکی از اصول اولیه ذهن است و از زمان های قدیم مورد توجه فلاسفه و منطق دانان بوده است. ارسطو اولین و بزرگ-ترین منطق دانی است که در اثر ماندگار خود به نام ارگانون از اینهمانی سخن به میان آورده است. اما اینکه آیا در منطق ارسطو اینهمانی وجود دارد؟ مراد ارسطو از اینهمانی چیست؟ و از آن چه بهره هایی می برد؟ آیا وی اینهمانی را به عنوان یک ثابت منطقی معرفی کرده است یا خیر؟ از جمله مسائلی است که ...

اندرسون و بلنپ در سال 1975 در کتاب entailment تلاشهای فراوانی برای نشان دادن همه کاربردهای ماتریسهای چندارزشی در منطقهای ربط کرده اند و ما هم در این پایان نامه برخی از این کاربردها را به تفصیل از این کتاب گزارش می کنیم و هدف عمده ما معرفی مواردی است که اندرسون و بلنپ به عنوان کاربردهای ماتریسهای چندارزشی در منطقهای ربط ذکر کرده اند. در این پایان نامه یرای تشخیص فرمولهای فاقد «ضرورت» و «ربط» بین...

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

فیلسوفان مسلمان حمل اولی و شایع را به دو معنای متفاوت به کار برده‌اند: 1. به قید قضیه 2.به قید موضوع. حمل اولی و شایع به قید قضیه نخستین معنای این دو اصطلاح و به ترتیب، به معنای «اتحاد مفهومی» و «حمل مصداقی» است؛ اما حمل اولی و شایع به قید موضوع، معنایی است که بعدها اختراع شده و به ترتیب، به معنای «ارادة مفهومِ موضوع» و «ارادة مصادیق موضوع» است و در حقیقت، چیزی جز همان تفکیک معروف میان «قضیة طبی...

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