با ظهور منطق صوری جدید و پیشرفت در متمایز کردن صورت از ماد‌ّه، مواردی از خلط صورت با ماد‌ّه در منطق قدیم آشکار شده است. عده‌ای معتقدند این خلط در قاعدۀ عکس مستوی که از قواعد صوری بسیار مهم است و در اثبات بسیاری از دیگر قواعد صوری هم به‌ کار می‌رود، وجود دارد؛ چون در مواردی از اعمال قاعدة عکس مستوی، استنتاج وجودی از شرطی صورت می‌گیرد و اصل صادق، امـّا عکس کاذب است. علّت اینکه پیشینیان آن را معتبر می...

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

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

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

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

ابن‌سینا شرطی لزومی با مقدّم ممکن و شرطی لزومی با مقدّم ممتنع را لزومی به‌حسب نفس‌الامر و لزومی به حسب الزام نامیده، و قسم دوم را در واقع و نفس‌الامر کاذب دانسته است. این حکمْ شگفت بلکه خلاف شهود است و، از این‌رو، نزاع‌های بسیاری در ردّ و قبول آن درگرفته است. در این مقاله، با گزارش انتقادی نزاع‌های یادشده، لزومی حقیقی و لفظی را به زبان منطق جدید و به کمک منطق موجّهات و منطق ربط تحلیل کرده‌ایم و نشان...

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