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

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

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

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

جردن هوارد سوبل در مقالة ۱۹۸۷، و سپس در کتاب ۲۰۰۴ خود، نشان داد که استدلال هستی‌شناسیک جدیدی که گودل در سال ۱۹۷۰ پیشنهاد کرد با شکست وجهی مواجه است و درواقع صحیح نیست. سی. انتونی اندرسون در سال ۱۹۹۰ اصلاحاتی پیشنهاد کرد و در آن راه را بر اثبات قضایای سوبل بست و نشان داد که می‌توان روایتی از استدلال گودل داشت که با شکست وجهی مواجه نباشد. اما گراهام آپی با نقیضه‌ای که در سال ۱۹۹۶، و سپس ۲۰۰۰، مطر...

جردن هوارد سوبل در مقاله ۱۹۸۷، و سپس در کتاب ۲۰۰۴ خود، نشان داد که استدلال هستی شناسیک جدیدی که گودل در سال ۱۹۷۰ پیشنهاد کرد با شکست وجهی مواجه است و درواقع صحیح نیست. سی. انتونی اندرسون در سال ۱۹۹۰ اصلاحاتی پیشنهاد کرد و در آن راه را بر اثبات قضایای سوبل بست و نشان داد که می توان روایتی از استدلال گودل داشت که با شکست وجهی مواجه نباشد. اما گراهام آپی با نقیضه ای که در سال ۱۹۹۶، و سپس ۲۰۰۰، مطر...

دعوای جمهوری اسلامی ایران علیه ایالات متحده آمریکا در سال 1992میلادی (1371 هجری شمسی) در مورد پرداخت غرامت به واسطه حمله ایالات متحده در سالهای 1366 و 1367 به چهار سکوی نفتی جمهوری اسلامی ایران (سکوهای رشادت، رسالت، سلمان و نصر) که در نهایت در 6 نوامبر 15) 2003 آبان 1382) منتهی به صدور رای شد، با فراز و نشیبهای فراوانی روبرو بوده است. ایراد ایالات متحده به عدم صلاحیت دیوان، در نهایت سال 1996 با...

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

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

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