فرفوریوس در ایساگوگه تعریف‌هایی دوری از جنس و نوع به‌دست می‌دهد و در توجیه کار خود، به پیروی از ارسطو، بر متضایف‌بودن این دو مفهوم و ضرورت دوری‌بودن تعریف متضایفان تکیه می‌کند. ابن‌ سینا، اما، سخن ارسطو را به‌گونۀ دیگری ...

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

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

پارادوکس دروغگو جمله‌ای است که دربارۀ خود می‌گوید که کاذب است. در این مقاله نخست دو راه حل سنتی و معروف این پارادوکس نقد و رد می‌شود و سپس به کمک دو پیش‌فرض مهم راه حل جدیدی برای پارادوکس عرضه می‌کنیم. نخست این‌که گزاره‌ها ...