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

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

برهان آنسلم از نمونه های نامور برهان وجودی است که قرن ها محل بحث فیلسوفان و منطق دانان بوده است. یکی از کلیدی ترین فرازهای این برهان چنین است که «اگر [آن چه فراتر از آن قابل تصور نیست] در ذهن وجود داشته باشد، آن گاه می توان همین فرد را به عنوان موجود تصور کرد که فراتر است». بر اساس این فراز، می توان «مسئله مقایسه با خود» را مطرح کرد؛ مسئله ای که اولاً به تمایز میان «آن چه فراتر از آن قابل تصور ن...

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

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

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

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

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

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