برخی از منطق دانان معاصر روشی نو و ساده برای استنتاج های منطقی ابداع کرده و هم? استدلال های مباشر را به دو قاعد? عکس مستوی و نقض محمول فروکاسته اند. یکی از ایشان، رضا اکبری، محصورات چهارگان? مشهور را به 32 محصوره گسترش داده است: 4 گزار? محصلة الطرفین مشهور، 4 گزار? معدولة الطرفین، 4 گزار? معدولة الموضوع، 4 گزار? معدولة المحمول، و همین 16 گزاره با جابه جا کردن «الف» و «ب» در هم? آن ها. اکبری، هم...

در این پایان نامه براساس مقاله تام هد [20] چگونگی استنتاج قضایای فازی را از نوع معمولی آنها بویژه در جبر بررسی می کنیم. فرض می کنیم x یک جبر است در این صورت زیر مجموعه های فازی x یعنی f(x) تشکیل یک جبر می دهند. در این رساله با استفاده از مفهوم زیرمجموعه -cفازی تعاریفی با الگوی یکسان برای مفاهیم فازی ارائه می دهیم و با یک روش یکسان به استنتاج قضایای جبر فازی از قضایای جبر معمولی می پردازیم ابزار...

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

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

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