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

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

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

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

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

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

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

گنتزن قواعد سیستم منطقی را به دو دسته «قواعد عمل گری» و «قواعد ساختاری» تقسیم می کند. مقصود وی از قواعد عمل گری، قواعد معرفی و حذف یک ثابت منطقی است. قواعد ساختاری بیان کننده ویژگی های مبنایی یک استدلال است به  گونه ای که هر تغییری در آن ها سبب تغییر کل سیستم می شود. وی در آثار خود به این نکته اشاره داشته است که معنای ثوابت منطقی صرفاً از طریق قواعد عمل گری قابل حصول است این نکته زیربنای رویکرد ...

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

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