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

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

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

در این پایان نامه با فرض اینکه(x, d) یک فضای متریک کامل و مرتب باشد، به معرفی نگاشتهای چند مقداری و ویژگی های آن ها پرداخته ایم. سپس با بیان و اثبات یک قضیه اساسی به بررسی قضایای نقطه ثابت برای نگاشتهای چند مقداری می پردازیم. در ادامه قضیه نقطه ثابت ترکیبی برای نگاشتهای چند مقداری روی فضاهای متریک مرتب را بیان و اثبات می کنیم و با استفاده از این قضایا یک معادله دیفرانسیل هذلولی را بررسی می کنیم...

تعریف سنتی مفهوم معرفت عبارت است از «باور صادق ‎موجه». مفهوم «تصدیق یقینی» که در عبارات ابن‎سینا معادل علم تصدیقی دانسته شده است، مؤلفه‎های تقریباً مشابهی با مفهوم معرفت گزاره‎ای دارد. از نظر ابن‎سینا تصدیق یقینی یا همان علم تصدیقی عبارت است از تصدیق یک قضیه به سبب علم به علت موجبه صدق آن قضیه. علت صدق قضایای یقینی بدیهی درون این قضایا، و علت صدق قضایای یقینی نظری بیرون از این قضایا است. همچنین ...

تعریف سنتی مفهوم معرفت عبارت است از «باور صادق ‎موجه». مفهوم «تصدیق یقینی» که در عبارات ابن‎سینا معادل علم تصدیقی دانسته شده است، مؤلفه‎های تقریباً مشابهی با مفهوم معرفت گزاره‎ای دارد. از نظر ابن‎سینا تصدیق یقینی یا همان علم تصدیقی عبارت است از تصدیق یک قضیه به سبب علم به علت موجبه صدق آن قضیه. علت صدق قضایای یقینی بدیهی درون این قضایا، و علت صدق قضایای یقینی نظری بیرون از این قضایا است. همچنین ...

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

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

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