جهان های ناممکن اولین بار در پاسخ به مشکلات منطق معرفت ظاهر شدند و بعدها در معناشناسی منطق های ربط و منطق های فراسازگار جایگاهی ویژه یافتند اما برای گراهام پریست جهان های ناممکن نه تنها ابزاری منطقی بلکه ابزاری فلسفی نیز هستند. دیدگاه متافیزیکی پریست تحت عنوان هیچ گرایی مبتنی بر مدلی معناشناختی بر پای? حیث التفاتی است که در آن جهان های ناممکن جایگاهی برجسته دارند. در پاسخ های پریست به برخی مسائ...

حساب هتینگ ha صورت شهودگرایانه حساب پئانو pa است که با حذف اصل طرد شق ثالث pem از آن حاصل می شود. در این پایان نامه توصیفی از نتایج wehmeier درباره ارضاء (زیرنظریه های) pa در جهانهای مدلهای کریپکی ha آورده می شود. برای مثال، هر قضیه ii2 از pa (که در ha نیز برهان پذیر خواهد بود) در هر مدل کریپکی ha موضعا صادق است . به علاوه، مدلهای کریپکی توسیع انتهایی برای ha قالب - 1 گردایه را نیز (که در ha بر...

مسئله اثبات واجب یکی از مهم ترین مسائل مورد توجه اندیشمندان به خصوص متکلمان وفلاسفه بوده است.مولف کتاب ابوالحسن بن احمد ابیوردی از علمای امامیه قرن دهم هجری مقام علمی والایی داشته وجامع معقول ومنقول بوده است واز او اثار متعددی بر جای مانده است.

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

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

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

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

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