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

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

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

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

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

قاعدة «الواحد»، یکی از مهم­ترین قواعد فلسفی به شمار می­آید، که البته می­توان بنیاد آن را نظریه­ای نوافلاطونی دانست. ابن­رشد، در کتاب­های مختلف خود به قاعدة «الواحد» و در پی آن، به تبیین نحوة فاعلیّت خداوند و «صدور» پرداخته است. در آثار او، به صراحت می­توان دو رویکرد کاملاً متفاوت به قاعدة الواحد را مشاهده کرد؛ چنان­که می­توان گفت دیدگاه او نسبت به این قاعده، در آثار اولیّه­اش مدافعانه بوده اما در ...

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

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

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

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