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

گرایش روزافزون به سمت جاپذیر ساختن سیستمهای با کارآیی بالا، توان مصرفی را به عنوان مهمترین مساله در طراحیهای دیجیتال و آنالوگ مطرح ساخته است . برای کاهش توان مصرفی روشهای متعددی در تمام سطوح طراحی (معمای، مدارˆمنطق، ترانزیستور و غیره) پیشنهاد شده است . یکی از منطقهای پیشنهاد شده برای این منظور، منطق آدیاباتیک است که با کوچک نگاه داشتن افت ولتاژ دو سر ترانزیستورها در هنگام سوئیچینگ و بازیابی انر...

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

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

هدف از پژوهش حاضر بررسی مقایسه حافظه (فوری و تأخیری)، اعتماد به حافظه و شناخت و نگرش مسئولیت پذیری در بیماران مبتلا به اختلال وسواس- اجباری (از نوع وارسی)، بیماران مبتلا به اضطراب منتشر و گروه بهنجار بود. برای این منظور 25 نفر بیمار مبتلا به وسواس وارسی، 23 نفر بیمار مبتلا به اختلال اضطراب منتشر و 26 نفر گروه بهنجار انتخاب شد. روش از نوع علّی- مقایسه ای بود و داده های پژوهش اصلی پس از جمع آور...

: این پایان نامه روش اسکالرسازی مخروطی را برای اسکالرسازی مسائل بهینه سازی چندهدفه ی غیرخطی بیان می کند. کلاس خاصی از توابع اسکالرساز زیرخطی صعودی را معرفی می کنیم و نشان می دهیم که مجموعه ی زیرسطحی صفر هر تابع از این کلاس، یک مخروط نوک دار، بسته و محدب است که شامل مخروط مرتب منفی است. مفهوم مخروط تفکیک پذیر را بیان کرده و نشان می دهیم دو مخروط بسته (که یکی از آن ها تفکیک پذیر است)، شامل رأس مش...

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

حکمت عملی بدون شک مهمترین دغدغ? فلسف? فارابی است. نتیج? واحدی که از کتب متعدد فارابی دربار? حکمت عملی بدست می آید، تأکید بر نقش أنبیاء و فیلسوفان در این عرصه است. فیلسوف و نبی با ورود به این عرصه و دست اندازی به ابعاد و زوایای حکمت عملی، در استکمال و غنای آن می کوشند. پرسشی که در این رساله ( با استفاده از روش کتابخانه ای – توصیفی ) به دنبال پاسخ آن هستیم این است که: فیلسوف و نبی چه جایگاهی در ح...