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

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

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

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

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

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

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

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

برهان تمانع از جملة برهان‎های اقامه‏شده بر یگانگی خداست. این برهان در آیة 22 سورة انبیاء آمده است. متکلمان و فیلسوفان اصطلاح تمانع را از مفاد آیه برگرفته و وضع نموده‌اند. آنان این برهان را ناظر به توحید در خالقیت و وجوب وجود دانسته‌ و با این کار علاوه بر تقریر یک برهان کلامی و فلسفی، درواقع، آیه را نیز تفسیر کرده‌اند. استاد مطهری از جملة این گروه است اما علامه طباطبایی برهان را ناظر به توحید رب...