بسم الله الرحمن الرحیم موضوع این جلسه : صوری سازی پارادوکس خرمن و توضیح اصطلاحات خاص دراین حوزه(زنجیره،شیء،پارامترهای مرتبط،قواعد اولیه، فرم، اعتبار و …) ساخت پارادوکس و توضیح مفردات آن ساخت این نوع پارادوکس بسیار ساده است: زنجیرهای از اشیاء را در نظر بگیرید که در پارامترهای مرتبط […]
11 آبان 1395
بسم الله الرحمن الرحیم موضوع این جلسه : ضرورت صوری سازی زبان طبیعی و تبیین منطق مرتبه اول ومرتبه دوم و سایرمراتب. نکاتی در مورد دعای سحر مراتب در اسماء و صفات شاگرد: دیروز به مناسبت در مورد دعای سحر صحبت شد. فرمودید برخی به دلیل اشکال محتوایی در اصل دعا […]
5 مهر 1395
بسم الله الرحمن الرحیم موضوع :صوری کردن نمادهای منطقی و ادامه تبیین ابهام و پارادوکس خرمن با توضیح انواع ابهام در مورد سمانتیک و بحث ثوابت منطقی، نعل اسب را چطور عرض کردم؟ شاگرد: اگر بخواهیم از درون این گزارهها و این استدلالها صوری کنیم این درست نمیشود. استاد: ببینید […]
28 شهریور 1395