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

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

منطق فازی[1] یک نوع منطق چندارزشی است که ریشه در افکار افلاطون و فلسفه شرقی دارد، اما نخستین بار در سال 1965 میلادی، دانشمند ایرانی­الاصل و استاد دانشگاه برکلی(پروفسور لطفعلی عسگرزاده) ملقب به پروفسور«زاده»[2]، منطق فازی را مطرح کرد. برخلاف منطق دو ارزشی ارسطویی که به­دنبال پاسخ آری و یا نه برای تعمیم به تمام پدیده­ها می­باشد(همچون پوزیتیویسم)، منطق فازی جهان را همان­گونه که هست معرفی می­کند. م...

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

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

رساله حاضر با هدف بازسازی و بررسی منطق شرطی لزومی سینوی ذیل نظام های منطق جدید تدوین و ارائه شده است. دنبال کردن چنین هدفی نیازمند دو فعالیت مستقل و جداگانه است: 1) مطالعه شرطی لزومی در چارچوب نظام منطق سینوی، 2) بازسازی نتایج این مطالعات در نظام های جدید منطق بر این اساس در ابتدا بررسی و داوری اولیه در باب مباحث شرطی لزومی سینوی در محدوده بنیادهای مورد قبول منطق دانان سینوی و مبتنی بر کاربر...

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

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

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

در این پایان نامه مسئله ی پیدا کردن زیرگراف پنهان روی مجموعه ی v با n راس مورد بررسی قرار خواهد گرفت. برای شناسایی زیرگراف پنهان زیرمجموعه های مختلف از راس ها را در نظر می گیریم و با پرسیدن این سوال که "آیا هر مجموعه شامل یالی از گراف پنهان است یانه؟" یال های گراف پنهان را شناسایی می کنیم. زیرگراف پنهان می تواند تطابقی روی راس ها باشد، یا اینکه در خانواده ای دلخواه از گراف های یکریخت روی راس ...