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

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

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

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

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

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

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

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