در این نوشته برهانی جدید برای نامتناهی بودن اعداد اول ارائه می شود. این برهان بر اساس یک ایده شمارش ساده با استفاده از اصل شمول- طرد همراه با فرمولی صریح می باشد.

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

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

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

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

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

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

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

دراین پایان نامه دو رده جدید نگاشت های غیرانبساطی، با عنوان های شرط(e)و شرط (c?)تعریف می گردند.سپس وجود نقاط ثابت و رفتار مجانبی این دو نگاشت مورد مطالعه قرار میگیرد.در ضمن اگر c بازه بسته از اعداد حقیقی و t نگاشتی روی c باشدبه طوری که در شرط(c?)با 3/4=? صدق کند. آنگاه t نقطه ثابت دارد.