ناهمخوانی ادات ربط زبان طبیعی و ادات زبان منطق کلاسیک در تابع ارزشی بودن، موجب شده است تا برخی گمان کنند که زبان منطق کلاسیک در بازنمایی جملات زبان طبیعی و صورتبندی استدلالهای این زبان ناتوان است. در این مقاله تلاش می شود تا نشان داده شود که زبان منطق کلاسیک یکسره از آن صورت بندی عاجز نیست و مدعای مخالفان توانایی زبان منطق در بازنمایی جملات و استدلالهای زبان طبیعی، کامل نیست. دفاعیات در این زمی...

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

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

در رساله ی حاضر، وظیفه ای که ما بر عهده گرفتیم ارزیابی نسبتی است که تفکر انتقادی با دو منطق سنتی و قدیم برقرار می کند. این ارزیابی ازاین جهت حائز اهمیت است که هم تفکر انتقادی و هم منطق ها به دنبال این هستند که انسان را از رفتن به بیراهه در هنگام اندیشیدن (یا ارزیابی اندیشه ها) حفظ کنند. برای انجام این مهم رساله ی حاضر در سه فصل تنظیم گردیده است: در فصل اول ما اولاً بدنبال ارائه ی تعریفی برای ت...

هدف اصلی این پایان نامه بررسی مجموعه ای از اصول است که نوعی تمامیت برای منطق مرتبه اول پیوسته را نتیجه دهد. مخصوصاً نشان داده می شود که در منطق مرتبه اول پیوسته مجموعه ای از فرمول ها (تماماً) قابل ارضا است اگر (و تنها اگر) سازگار باشد. از این مطلب نتیجه می شود که منطق مرتبه اول پیوسته نوعی تقریب از تمامیت قوی را ارضا می کند، که بنابر آن σι=φ اگر و تنها اگرn-2--σι-φ برای تمام n<ω. این صورت تقریبی ...

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

در صحنه‏های ترانه در فیلم‏های موزیکال بعضی از اسلوب‏ها و قواعد حاکم بر صحنه‏های دیگر واژگون می‏شوند. آلتمن عقیده دارد در این صحنه‏ها قوانین واقع‏گرایانه و چارچوب علّی داستان محو می‏شود و شخصیت از بند محدودیت‏ها و مسئولیت‏های دنیای خود رها می‌شود و به‌نوعی تغییر ماهیت می‏دهد. در این پژوهش نظری، نگارندگان کوشیده‌اند نشان دهند، برخلاف نظر آلتمن، ماهیت شخصیت‏ها و قوانین دنیای داستان در صحنه‏های تران...

سامانه‌های خبره تصمیم‌گیری مبتنی بر قواعد فازی روشی برای پردازش وقایع غیر قطعی ارائه می‌کنند. این عمل دقیقاً همان شرایطی است که در صحنه نبردهای آینده با آن روبرو هستیم. در این راستا حوزه‌های فرماندهی  و کنترل نیز از این امر مستثنی نبوده و کشورهای پیشرفته توانسته‌اند با استفاده از سامانه‌های خبره مبتنی بر قواعد فازی، امکان تصمیم‌گیری صحیح و سریع را در شرایط بحران فراهم کنند. در سامانه‌های عملیاتی...

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