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

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

قضایا و قواعد منطق موجهات، در جهان های ممکن، معتبرند اما قضایای منطق ربط، در جهان های منطقی، و قواعد آن، در وضعیت ها اعتبار دارند. روبرت مایر، در سال 1974، به کمک ادات های صدق و کذب ویلهم آکرمان، نظامی در منطق ربط طراحی کرد که قضایا و قواعد آن، هر دو، در وضعیت ها معتبر بودند و به این وسیله، عدم تقارن موجود در منطق ربط میان قضایا و قواعد را از میان برد. در این مقاله، با معرفی نوع جدیدی از ادات ه...

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

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

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

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

امروزه در رویارویی با کثرت منطقها، بحثهائی دربارة "چندگانه انگاری"، "یگانه انگاری"، "نسبی انگاری"، و "مطلق انگاری" در منطق از یک سو، و "ترکیب منطقها" و "ترجمة منطقها به یکدیگر" از سوی دیگر مطرح شده‌اند. در واکنشی جهانی به چندگانگی منطقها، پژوهشهای مهمی در چارچوب طرحی گسترده به نام «منطق کلی»، با دو روایت صورت گرفته است: 1) "منطق کلی چونان نظریة عمومیِ منطقها" یا "منطق کلی چونان نظریه‌ای عمومی در...

در این مقاله برای تنظیم پارامترهای سیستم قدرت و ادوات facts از روش های بهینه سازی ژنتیک، ازدحام ذرات، ترکیب منطق فازی با الگوریتم ژنتیک و ترکیب منطق فازی با الگوریتم تکامل دیفرانسیل استفاده شده است. در اینجا دو نوع از ادوات facts، جبران ساز سری کنترل شده با تریستور (tcsc) و جبران ساز توان راکتیو استاتیک (svc) برای بهینه‎سازی مصرف توان راکتیو شبکه و کاهش تراکم خطوط مورد استفاده قرار گرفته است. ج...