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

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

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

در مقاله ای با عنوان «صورت بندی برهان صدیقین ابن‏سینا در نجات بر پایه منطق محمولات مرتبه اول»، صورت بندی­ای از برهان صدیقین ابن‏سینا در کتاب نجات ارائه شده بود. اکنون با تأملی دوباره بر صورت بندی آن مقاله ، درصدد بیان آن هستیم که فرض­های این صورت بندی به همراه دو فرض وحدت واجب و وجود حداقل یک موجود ممکن، منجر به تناقض می شود. ضمن بررسی سه راه حل ممکن برای حل تناقض، یعنی تغییر تعریف سلسله علی تا...

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

...

قضایا و قواعد منطق موجهات، در جهان‌های ممکن، معتبرند اما قضایای منطق ربط، در جهان‌های منطقی، و قواعد آن، در وضعیت‌ها اعتبار دارند. روبرت مایر، در سال 1974، به کمک ادات‌های صدق و کذبِ ویلهم آکرمان، نظامی در منطق ربط طراحی کرد که قضایا و قواعد آن، هر دو، در وضعیت‌ها معتبر بودند و به این وسیله، عدم تقارن موجود در منطق ربط میان قضایا و قواعد را از میان برد. در این مقاله، با معرفی نوع جدیدی از ادات‌ه...