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