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