درخت حوزه‌های تخصصی

The concept of Mathematical Proof has been controversial for the past few decades. Different philosophers have offered different theories about the nature of Mathematical Proof, among which theories presented by Lakatos and Hersh have had significant similarities and differences with each other. It seems that a comparison and critical review of these two theories will lead to a better understanding of the concept of mathematical proof and will be a big step towards solving many related problems. Lakatos and Hersh argue that, firstly, “mathematical proof” has two different meanings, formal and informal; and, secondly, informal proofs are affected by human factors, such as individual decisions and collective agreements. I call these two thesis, respectively, “proof dualism” and “humanism”. But on the other hand, their theories have significant dissimilarities and are by no means equivalent. Lakatos is committed to linear proof dualism and methodological humanism, while Hersh’s theory involves some sort of parallel proof dualism and sociological humanism. According to linear proof dualism, the two main types of proofs are provided in order to achieve a common goal: incarnation of mathematical concepts and methods and truth. However, according to the parallel proof dualism, two main types of proofs are provided in order to achieve two different types of purposes: production of a valid sequence of signs (the goal of the formal proof) and persuasion of the audience (the goal of the informal proof). Hersh’s humanism is informative and indicates pluralism; whereas, Lakatos’ version of humanism is normative and monistic.

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

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

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

این مقاله نقدی است بر نقد مقالة «تشابه ادیان توحیدی؛ تحریف کتاب مقدس و تحریف قرآن»، که در شماره بیست و یکم نشریه «معرفت ادیان» به چاپ رسیده است. ناقد محترم، تلاش کرده است تا پاسخ ارائه شده به شبهة «تحریف لفظی قرآن با استناد به احادیث بیانگر تشابه امم» را به واسطه ناتمام بودن مفروضات و مطالب نویسنده مقاله «تشابه ادیان»، نارسا معرفی کند. وی معتقد است پاسخ این شبهه؛ یعنی تشابه، تام نیست، بلکه تشابه نوعی پاسخ درستی است. وی بر آن است که روایاتِ تشابه، آحاد هستند و با آحاد نمی توان مطالب اعتقادی را اثبات کرد. همچنین از نظر وی قابل قیاس نبودنِ قرآن و تورات، پاسخ شبهه محدث نوری نیست، بلکه باید دلالت روایاتِ تشابه را تام ندانیم و تحریف لفظی قرآن را از آن خارج کنیم. این مقاله با تقریرهای جدید، درصدد اثبات این ادعاست که اشتباه محدث نوری این بوده که قرآن را با تورات مقایسه کرده است؛ زیرا این قیاس مع الفارق است. افزون بر این، استدلال جدیدی با عنوان «روایات تشابه ادیان و اثبات عصمت لفظی قرآن» ارائه شد که عصمت لفظی قرآن اثبات شده است.