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

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

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

ترکیب تابع ارزشی p  با ماتریس [1011] که از آن در منطق جدید به استلزام مادّی تعبیر می شود و کذب مقدّم یا صدق تالی شرط لازم و کافی صدق آن به شمار می آید، معادل ترکیب های تابع ارزشی  و  در منطق جدید است که دارای همان ماتریس می باشد. این ترکیب اساسی ترین مفهوم منطق جدید محسوب می شود و در استدلال های پیچیدۀ ریاضی نتایج رضایت بخشی داده است. آگاهی یا عدم آگاهی منطق دانان قدیم از شروط صدق این ترکیب سئوا...

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

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

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

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

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

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