فارابی و ابن‌سینا در آثار خود برای شرطی متصل اقسام بسیاری برشمرده و مباحث متنوعی در آثار پیروان خود پدید آورده‌اند. دو قسم مهم از این اقسام، عبارت است از «لزومی» و «اتفاقی» که هر کدام به اقسام جزئی‌تری تقسیم می‌شوند. در این مقاله، به شرطی لزومی و برخی از اقسام آن خواهیم پرداخت. چهار مبحث مهم درباره شرطی لزومی، عبارت است از 1. نسبت شرطی لزومی با شرطی اتفاقی و شرطی عام، 2. تجزیه و تحلیل اقسام شر...

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

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

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

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

شمس الدین سمرقندی از منطق دانان قرن هفتم، در بحث قیاس شرطی دیدگاهی نو در برابر ابن سینا پیش نهاده است. از نظر ابن سینا، قیاس شرطی دقیقاً مانند قیاس حملی است و در نتیجه، 19 ضرب منتج دارد؛ اما سمرقندی این همانندی را نمی پذیرد و فقط 7 ضرب از قیاس شرطی را معتبر می داند. او در بیان شرایط انتاج فقط شرایط کیفیت را بیان می کند و به شرایط کمیت نمی پردازد و هنگام ارائه مثال نقض برای ضرب های عقیم، تفاوت کم...

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

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

یکی از مسائلی که هیدگر از همان سال‌های اوّلیّة تحصیل دانشگاهی خود و بعد از آن در سال‌های تدریس به آن پرداخته است مسألة منطق است. البته هر کجا او از منطق سخن می‌گوید منظورش منطق فرادادی (سنّتی) است و نه منطق ریاضى- سمبلیک که اصطلاحاً به آن منطق جدید مى‏گویند. آنچه او دربارة منطق جدید گفته و نوشته است بسیار کم و غالباً همراه با توصیفاتی منفى است. در منطق فرادادی (سنّتی) نیز او به دنبال دستیابی به روش‏ه...