منطق تک‌نرم UL یک منطق فازی، زیرساختاری و نیمه‌ربطی است. سیستم گنتزن UL از حذف قواعد انقباض و تضعیف از سیستم گنتزن منطق فازی گودل بدست می‌آید. UL فاقد «طرد شق ثالث»، «پارادوکس مثبت» و «پارادوکس منفی» است. تابع ارزش تک‌نرم تضعیفی ربطی از تابع t-نرم است. در این مقاله منطق جدید ULΔ را معرفی می‌کنیم. ULΔ با افزودن اپراتور وجهی Δ به UL بدست می‌آید. ULΔ که بسطی از منطق کلاسیک است، یک منطق موجهات نرما...

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

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

ابن‌سینا شرطی لزومی با مقدّم ممکن و شرطی لزومی با مقدّم ممتنع را لزومی به‌حسب نفس‌الامر و لزومی به حسب الزام نامیده، و قسم دوم را در واقع و نفس‌الامر کاذب دانسته است. این حکمْ شگفت بلکه خلاف شهود است و، از این‌رو، نزاع‌های بسیاری در ردّ و قبول آن درگرفته است. در این مقاله، با گزارش انتقادی نزاع‌های یادشده، لزومی حقیقی و لفظی را به زبان منطق جدید و به کمک منطق موجّهات و منطق ربط تحلیل کرده‌ایم و نشان...

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

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

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

الف-تولد مجدد یک عقیده  گارتون‏اَش مسلما یکی از زیرک‏ترین و باهوش‏ترین افرادی است که موفق به درک منطق حوادث در اروپای شرقی در طول سالهای دهه 1980گردیده است.همچنین او در مقام مفسر و شارح وقایعی که معمولا در تاریخ بشریت، مشاهده و ادارک آنها مشکل است، قادر گردید به‏طور دقیق به تصویر محوری ظریفی، اشاره کند که از طرق پیچیده و چند وجهی هم برای برانگیختن و هم برای معقول و قانونی جلوه دادن مبارزه جهت آز...

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

 الف-تولد مجدد یک عقیده  گارتون‏اَش مسلما یکی از زیرک‏ترین و باهوش‏ترین افرادی است که موفق به درک منطق حوادث در اروپای شرقی در طول سالهای دهه 1980گردیده است.همچنین او در مقام مفسر و شارح وقایعی که معمولا در تاریخ بشریت، مشاهده و ادارک آنها مشکل است، قادر گردید به‏طور دقیق به تصویر محوری ظریفی، اشاره کند که از طرق پیچیده و چند وجهی هم برای برانگیختن و هم برای معقول و قانونی جلوه دادن مبارزه جهت ...