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

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

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

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

مقالة 1951 کواین با عنوان «دو حکم جزمی تجربه‌گرایی» با نقدی دور از انتظار به دوگانة مشهور تحلیلی ـ ترکیبی، ضمن موضع‌گیری علیه استفاده از مفهوم تحلیلت در توضیح و تبیین ضرورت و پیشینی‌بودن، هرگونه تلاش در جهت ارائة تمایزی غیر دوری میان گزاره‌های تحلیلی و ترکیبی را ناکام دانست. به اعتقاد کواین مفاهیمی نظیر تناقض، ترادف، و معنا که در تعریف قضایای تحلیلی از آن‌ها بهره برده می‌شود، در عین حال که وضوح...

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

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

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

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

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