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

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

چکیده ندارد.

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

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

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

ویتگنشتاین در رسالة منطقی-فلسفی در شمار‌ه‌های ۳.۰۳۱-۳.۰۲ می‌گوید که جهانی غیرمنطقی تصورناپذیر است و درباره‌اش نمی‌توان سخن گفت. رایل (1946) مدعی شده است که اصولاً چیزی به نام معمای تصورناپذیری جهان غیرمنطقی و ناممکنی سخن در مورد چنین جهانی وجود ندارد. به زعم وی چنین معمایی وجود ندارد و بحث بر سر معناداری سخن در باب جهانی غیرمنطقی محصول خطای مقولهای است. رایل با نظر به معانی مختلف مفهوم «کاربست م...

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

در این مقاله یک روش جدید مبتنی بر ترکیب سیستم استنتاج فازی-عصبی تطبیقی و کنترل‌کننده تناسبی-مشتقی-انتگرالی (PID) جهت کاهش ارتعاشات سازه ارائه شده است. الگوریتم کنترلی پیشنهادی علاوه بر دارا بودن ویژگی‌های کنترل‌کننده کلاسیک PID، از ماهیت تطبیقی شبکه عصبی و استنتاجی منطق فازی جهت استخراج توابع عضویت مناسب با توجه به دامنه ارتعاشات سازه نیز بهره می‌برد. به منظور تنظیم ضرایب PID جهت طراحی کنترل‌کن...