افضل الدین خونجی، برای نخستین بار در تاریخ منطق، در میان گزاره های حقیقیه و خارجیه، گزاره های همیشه صادق و گزاره های همیشه کاذب را یافته است. این گزاره ها پیش از این در منطق مرتبۀ اول صورت بندی شده و مورد بررسی قرار گرفته اند و نشان داده شده است که صدق همیشگی این گزاره ها نیازمند پیش فرض «وجود فرضی معدومات» است. در این مقاله، این گزاره ها را در منطق مرتبۀ دوم بررسی کرده و نشان داده ایم که در ای...

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

ابن سینا دو تعریف متمایز برای جمله ی خبری ارائه می دهد. یکی در الشفاء: «قضیه عبارتی است که دارای صدق یا کذب است» و دیگری در الإشارات: «ترکیب خبری آن است که گوینده ی آن را بتوان در آنچه می گوید، صادق یا کاذب دانست». بنابر یک تفسیر، این دو تعریف دو ملاک تمایز برای جمله ی خبری است، که هرکدام به فضای معناداریِ مستقلّی تعلّق دارد. تعریف نخست مبتنی بر فضای سمانتیکال است، که بر اساس آن، جمله ی خبری به تن...

انسانها، به طور طبیعی، دارای استعدادی هستند که به وسیلة آن می توانند در مورد اشخاص یا اشیاء جزئی موجود حکم صادر کرده یا تصدیقی انجام بدهند. آنان در موقعیتهای گوناگون و به دلایل مختلف، احکام و تصدیقات خود را در قالب الفاظ مرکب، نظیر جمله های حملیه، تعبیر می کنند، مثلاً: «حافظ شاعر است» و «شما در حال خواندن هستید» در مواقعی نیز، انسانها، به احکام و تصدیقاتی دربارة معدومات نائل می شوند؛ که آنها را ...

در این پایان نامه، زنجیره ی آیزینگ اسپین-2/1 در حضور میدان مغناطیسی و برهمکنش ژیالوشینسکی- موریا در نظر گرفته شده است. ابتدا با استفاده از عملگر دوران، همیلتونی فوق به همیلتونی زنجیره ی xxz در حضور میدان طولی تبدیل شده و توسط تبدیلات جوردن- ویگنر نمایش فرمیونی آن تعیین می شود. نمایش فرمیونی دارای جمله ی برهمکنش فرمیونی است که حل دقیق را غیر ممکن می سازد. در این شرایط باید به طور تقریبی مسئله را...