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

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

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

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

چکیده: در این پایان نامه بعد از تعریف مفهوم کنترل، روابط و قضایای مربوطه را بررسی و به معرفی سیستم dcl-pc می پردازیم که منطقی برای استدلال درباره توانایی عوامل و ائتلافی از عوامل با استفاده از انتقال کنترل بین عوامل می باشد. پایه منطقی dcl-pc سیستم cl-pc می باشد. این سیستم منطقی است برای همکاری بین عوامل که عوامل مجموعه ای از متغییرهای گزاره ای را کنترل می کنند و توانایی ارزشدهی به متغییرها ر...

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

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

تقدّم و برتری منطوق بر مفهوم، محلّ إتّفاق علما است. همین تقدّم سبب شده تا تخصیص عام به وسیله­ی مفهوم مخالف، محلّ خلاف و نزاع باشد. منشأ اختلاف، ضعیف بودن تخصیص به وسیلۀ مفهوم مخالف است. اختلاف در این باب، فرع بر پذیرش حجیّت مفهوم مخالف است. محلّ نزاع، دو کلام صادر شده از متکلّم واحد یا متکلّمانی است که در حکم متکلّم واحد هستند. نیز باید مفهومِ معارض با عامّ خود حجّت باشد. همچنین نباید دلیلی قوی‌تر از مفهوم ...

واژه هایی در زبان عربی وجود دارند که پایانۀ هجایشان دارای همخوان مشدّد است. این واژه ها وارد زبان فارسی شده اند. ولی از آنجا که در زبان فارسی وجود همخوان مشدّد در پایانۀ مجاز نیست، این پایانه ها از حالت مشدّد به غیرمشدّد یا ساده تبدیل شده اند. این فرایند، تشدیدزداییِ پایانه نامیده می شود. هدف این پژوهش تحلیلی، تبیین این فرایند در چارچوب نظریۀ بهینگی (پرینس و اسمولنسکی، 1993/2004) است. نخست، تشدید و ...

واژه‌‌هایی در زبان عربی وجود دارند که پایانۀ هجایشان دارای همخوان مشدّد است. این واژه‌‌ها وارد زبان فارسی شده‌اند. ولی از آنجا که در زبان فارسی وجود همخوان مشدّد در پایانۀ مجاز نیست، این پایانه‌ها از حالت مشدّد به غیرمشدّد یا ساده تبدیل شده‌اند. این فرایند، تشدیدزداییِ پایانه نامیده می‌شود. هدف این پژوهشِ تحلیلی، تبیین این فرایند در چارچوب نظریۀ بهینگی (پرینس و اسمولنسکی، 1993/2004) است. نخست، تشدید ...