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