بسیاری از قواعد منطق قدیم نیازمند وجود موضوع هستند و این وجود موضوع را می توان یا در ساختار گزاره ها (محصورات چهارگانه) وارد کرد یا به عنوان مقدمه ای اضافی، جزئی از قواعد دانست. این دو رهیافت را «تعهد درون گزاره ای» و «تعهد درون قاعده ای» می نامیم. نخستین کسانی که به تعهد درون قاعده ای تصریح کرده اند، ابن سینا در قاعده نقض محمول و خواجه نصیر در قاعده عکس نقیض هستند. خواجه نصیر، به وجود موضوع نه...

برخی از منطق دانان معاصر روشی نو و ساده برای استنتاج های منطقی ابداع کرده و هم? استدلال های مباشر را به دو قاعد? عکس مستوی و نقض محمول فروکاسته اند. یکی از ایشان، رضا اکبری، محصورات چهارگان? مشهور را به 32 محصوره گسترش داده است: 4 گزار? محصلة الطرفین مشهور، 4 گزار? معدولة الطرفین، 4 گزار? معدولة الموضوع، 4 گزار? معدولة المحمول، و همین 16 گزاره با جابه جا کردن «الف» و «ب» در هم? آن ها. اکبری، هم...

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

در کتاب های منطق اسلامیِ دورۀ معاصر، «نقض موضوع» را قاعده ای برشمرده اند که بر پایۀ آن می توان از یک گزارۀ کلّیِ صادق، گزارۀ صادق دیگری را به دست آورد که موضوع اش نقیض موضوع گزارۀ نخستین باشد و کمّ و کیف اش نیز دگرگون شده باشد. بنابراین، با کاربست این قاعده بر موجَبی کلّی مانند «هر الف ب است» سالبی جزئی همچون «برخی از نه ـ الف ب نیست» به دست می آید. در این جستار، امّا، نمایان خواهد شد که همواره چنین ن...

در کتاب‌های منطق اسلامیِ دورۀ معاصر، «نقض موضوع» را قاعده‌ای برشمرده‌اند که بر پایۀ آن می‌توان از یک گزارۀ کلّیِ صادق، گزارۀ صادق دیگری را به دست آورد که موضوع‌اش نقیض موضوع گزارۀ نخستین باشد و کمّ و کیف‌اش نیز دگرگون شده باشد. بنابراین، با کاربست این قاعده بر موجَبی کلّی مانند «هر الف ب است» سالبی جزئی همچون «برخی از نه‌ـ‌الف ب نیست» به دست می‌آید. در این جستار، امّا، نمایان خواهد شد که همواره چنین ن...

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

بسیاری از قواعد منطق قدیم نیازمند وجود موضوع هستند و این وجود موضوع را می‌توان یا در ساختار گزاره‌ها (محصورات چهارگانه) وارد کرد یا به عنوان مقدمه‌ای اضافی، جزئی از قواعد دانست. این دو رهیافت را «تعهد درون‌گزاره‌ای» و «تعهد درون‌قاعده‌ای» می‌نامیم. نخستین کسانی که به تعهد درون‌قاعده‌ای تصریح کرده‌اند، ابن‌سینا در قاعده نقض محمول و خواجه نصیر در قاعده عکس نقیض هستند. خواجه نصیر، به وجود موضوع نه...

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

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