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

منطق دانان مسلمان برای توجیه استدلالهای ساده ای ( مانند قیاس مساوات ) دچار گرفتاریهایی شده اند که این گرفتاریها از التزام آنها به قیاس حملی نشات گرفته است ناتوانی منطق قدیم در این زمینه از ناحیه نسبت به ماهی نسبت نیست یعنی اینگونه نیست که منطق قدیم به این دلیل از اثبات استدلالهای حاوی نسبت ناتوان باشد که دارای نسبت هستند بلکه مشکل اصلی منطق قدیم همان اتکا به تحلیل موضوع محمولی گزاره و عطف توجه ...

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

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

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

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

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

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

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

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