بسم الله الرحمن الرحیم سیستمهای استاندارد منطق فازی پنجم: سیستمهای استاندارد منطق فازی. در سیستم فازی، جملههای مبهم در مواردحاشیهای یکسان نگریسته نمیشوند. مثلاً در نظر بگیرید که جمشید و کامران هر دو موردحاشیهای «قدبلند» باشند، امّا جمشید قدبلندتر از دیگری باشد. در این صورت ارزش صدق جمله «جمشید قدبلند است» از […]
14 دی 1395
بسم الله الرحمن الرحیم موضوع این جلسه : معنای عملگر و تابع و اهمیت فوق العاده صوری سازی منطق وضو در فضای غصبی [شاگرد: در مورد وضو گرفتن در فضای غصبی قول به بطلان هست؟] استاد: فیالجمله اختلاف هست، چون یک نحو تصرف در فضاست. در مسألهی اجتماع امر و نهی […]
22 آبان 1395
بسم الله الرحمن الرحیم موضوع این جلسه : تفاوت شرطیه و مشروطه درمنطق جدید و توضیح نمادها و فرمول ها درصوری سازی شاگرد: کتاب آقای موحد که حالت خودآموز دارد را بنده تدریس کردم. آن کتاب را قبلاً در دانشگاه خواندهایم. از ابتداییترین و سادهترین مطالب شروع کرده و از این […]
12 آبان 1395
بسم الله الرحمن الرحیم موضوع این جلسه : تبیین ابهام دراسمهای خاص و عام استاد:… فاعل دارد امّا ضمیر هم مرجع دارد «أَرَدْناهُ»، ممکن است بگوییم به اعتبار ما یؤول مرجع را درست میکنیم، حرفی نیست؛ امّا توجیه یک فضاست امّا ورای توجیه، واقعیت آیه شریفه چیست؟ روایت در ذیل دو آیه […]
31 شهریور 1395
بسم الله الرحمن الرحیم تفاوت موضوع علمی و مقصود علمی استاد: [شما میفرمایید] مثلاً یک امام معصوم را در نظر میگیریم، هر چه روایت هست از دو لب مبارک این امام -علیهالسلام- بیرون آمده و در آن به یک آیهای استشهاد شده است را [جمع آوری کنیم.] درست فهمیدم؟ ببینید شما در […]
29 شهریور 1395
بسم الله الرحمن الرحیم موضوع :صوری کردن نمادهای منطقی و ادامه تبیین ابهام و پارادوکس خرمن با توضیح انواع ابهام در مورد سمانتیک و بحث ثوابت منطقی، نعل اسب را چطور عرض کردم؟ شاگرد: اگر بخواهیم از درون این گزارهها و این استدلالها صوری کنیم این درست نمیشود. استاد: ببینید […]
28 شهریور 1395