چکیده: این پایان نامه اولین مطالعه ی نظریه اثباتی و نظریه مدلی از ترکیب منطق های با زمان محدود و منطق های ساختی است. ابتدا به منظور فراهم کردن یک پایه نظری مفید برای استدلال های زمانی که دارای خاصیت ساختی و فراسازگارند، دو منطق ib[l] و pb[l] معرفی می شود. این منطق ها دو مدل محدود و ساختی از ltl و توسیع هایی از منطق شهودی یا منطق فراسازگار نلسون هستند که تحت عنوان حساب های رشته ای گنتسنی b[l] و...

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

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

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