داخلتان تحت تضاد
ذخیره مقاله با فرمت پی دی اف
داخلتان تحت تضاد، از
اصطلاحات علم منطق بوده و به این صورت که دو
قضيه جزئيه مختلف در کيف و متفق در غير آن میباشد، همچنین از اقسام
قضاياى متقابل میباشد.
داخلتان تحت تضاد، از
اصطلاحات علم منطق بوده و به این صورت که دو
قضيه جزئيه مختلف در کيف و متفق در غير آن میباشد، همچنین از اقسام
قضاياى متقابل میباشد.
اگر دو قضيه به حسب کيف مختلف باشند و به حسب کمّ، هر دو جزئى باشند، آنها را «داخل تحت تضاد» گويند؛ مانند: بعضى مهرهداران پستاندارند و بعضى مهرهداران پستاندار نيستند.
داخلتان تحت تضاد ممکن است هر دو صادق باشند، ولي کاذببودن هر دو ممکن نيست، بلکه اگر يکى کاذب باشد حتماً ديگرى صادق خواهد بود، زيرا در غير اين صورت،
اجتماع متضادان بر صدق لازم مىآيد
.
دليل نامگذارى داخلتان تحت تضاد اين است که مندرج در متضادتاناند؛
سالبه جزئيه مندرج تحت
سالبه کليه و
موجبه جزئيه مندرج تحت
موجبه کليه، و در صدق و کذب بر عکس ضديناند؛ يعنى صدق هر دو ممکن و کذب هر دو غير ممکن است؛ بنابراين اگر يکى از آنها کاذب باشد دومى حتماً صادق است، اما اگر اولى صادق باشد لازم نمىآيد که دومى کاذب باشد؛
مثلاً اگر قضيه «بعضى طلاها سياه است» کاذب باشد، لازم مىآيد که قضيه «بعضى طلاها سياه نيست» صادق باشد، اما اگر قضيه «بعضى معادن طلاست» صادق باشد، لازم نمىآيد که قضيه «بعضى معادن طلا نيست» کاذب باشد، بلکه اين قضيه نيز صادق است
پایگاه مدیریت اطلاعات علوم اسلامی، برگرفته از مقاله «داخلتان تحت تضاد»، تاریخ بازیابی ۱۳۹۵/۱۰/۲۵.