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

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

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

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

شرحی درباره دیدگاههای فلسفی کانت و آشنایی با اندیشه های شهودگرایان.

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

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

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

داستان علمی - تخیلی ریاضی درباره مباحث فلسفی در ریاضیات

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