لطف‌الله نبوی؛ زینت آیت‌اللهی؛ محمد سعیدی‌مهر؛ محسن جوادی
دوره 5، شماره 2 ، مهر 1393، ، صفحه 125-145
چکیده
به علت برخی ویژگی‌های منطق سنتی ارسطویی، عدم ارتباط منطقی میان جملات از نوع «هست» و جملات از نوع «باید» بدیهی به نظر می‌رسد. اما منطق جدید فاقد چنین ویژگی‌هایی است؛ پرایور با تکیه بر این نکته طرف‌داران شکاف منطقی «هست» و «باید» را با یک پارادوکس مواجه می‌کند. در این مقاله ابتدا پارادوکس پرایور و برخی پاسخ‌های ...
بیشتر
به علت برخی ویژگی‌های منطق سنتی ارسطویی، عدم ارتباط منطقی میان جملات از نوع «هست» و جملات از نوع «باید» بدیهی به نظر می‌رسد. اما منطق جدید فاقد چنین ویژگی‌هایی است؛ پرایور با تکیه بر این نکته طرف‌داران شکاف منطقی «هست» و «باید» را با یک پارادوکس مواجه می‌کند. در این مقاله ابتدا پارادوکس پرایور و برخی پاسخ‌های فلسفی به آن را بیان میکنیم، سپس به تشریح منطق چندارزشی بیل که برای حل این پارادوکس پیشنهاد شده میپردازیم و خواهیم دید این پارادوکس در چهارچوب منطق ربط نیز حل خواهد شد. با این حال پرایور علاوه بر این پارادوکس، براهین دیگری نیز ارائه می‌کند. ما نشان خواهیم داد هرچند این دو منطق پارادوکس پرایور را حل میکنند، هر یک از حل برهانی دیگر عاجز است.
