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

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.

هدف و انگاره بنیادین این مقاله، پاسخ به این پرسش است که آیا می توان الگویی به دست داد تا از رهگذر آن بتوان چندین دستگاه عرفانی، فلسفی و کلامی را بهتر فهمید و دقیق تر بازشناسی کرد؟ ادعای این مقاله آن است که می توان این کار را انجام داد. روش این مقاله به این صورت است که در وهله اول، با مدد گرفتن از عالم خیال چنین فرض می کنیم که همه آنچه از زمان مهبانگ (big bang) تاکنون رخ داده، که شامل هزاران میلیارد ستاره و سیاره می شود، همگی کل یکپارچه ای را تشکیل می دهد که از آن به ""جهان هستی"" تعبیر می کنیم. سپس این گونه فرض می کنیم که این جهان بزرگ یا جهان ماده، فاقد شعور و آگاهی نیست، بلکه جزء جزء آن از اتم هایی تشکیل شده است که یک شعور و آگاهی بسیار مرموز و اسرارآمیز همه اینها را به هم به گونه ای پیوند داده که این طرح کلان از آن برآمده و حاصل شده است (جالب است که در فیزیک امروز نظریه ریسمان بسیار به این فرض ما نزدیک است). این مقاله اصلاً در پی اثبات این فرض یا نفی آن نیست. روش این است که اگر جهان هستی به این صورت فرض شود و در واقع، آن را همچون یک کل و یک ذهن بزرگ انگاشته شود، این فرض دست کم دو کارکرد خواهد داشت. الگوی مورد نظر تصویری از جهان به مثابه یک اَبَرذهن یا ذهن برتر است؛ یعنی، می توان کل هستی و پدیده های آن را همچون یک ذهن بزرگ فرض کرد و همه کارکردها و نقش ها و فرآیندهای ذهن انسانی را برای آن متصور شد. در یک ذهن، پدیدارهای ادراکی بسیار گوناگون و متنوعی وجود دارد. اینک اگر کل هستی؛ یعنی این صدمیلیارد کهکشان و این کیهان بسیار بسیار بزرگ را به منزله یک ذهن بینگاریم، همان حکم ها را می توانیم در میان پدیده های هستی جاری کنیم. به دیگر سخن، همه باشندگان و هستی ها را می توان از جنس آگاهی انگاشت و در عین حال، با یک نگاه خُردنگر و چیستی نگر، می توان پدیده های موجود را از یکدیگر سلب کرد و گفت درخت سنگ نیست؛ اما از سوی دیگر، با نگاهی کلان نگر، می توان به همه پدیده ها به عنوان امر یکپارچه واحدی نگاه کرد و همه اموری را که از هم سلب می کردیم، به یکدیگر نسبت دهیم و میان آنها اتحاد برقرار کنیم و بگوییم مثلاً درخت سنگ است. این مقاله درصدد است تا نشان دهد که دستگاه عرفانی ابن عربی و دستگاه های فلسفی اسپینوزا و وایتهد (الهیات پویشی) چنین طرحی را دنبال کرده اند. از این گذشته، از رهگذر کشف این کلید می توان دستگاه کلامی کرامیه و الهیاتشان را نیز به صورت قابل فهمی بازخوانی کرد.

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

ژاک دریدا (Jacques Derrida) در مهمترین و مبنایی ترین اثر خویش تحت عنوان در باب علم نوشتار(Of Grammatology) مفهوم «خشونت بنیادی»(arche-violence) را مطرح می کند. از دیدگاه دریدا خشونتی که به مفهوم متداول آن در جامعه می بینیم ریشه در نوعی خشونت انتزاعی و کلی دارد که دریدا از آن به عنوان «خشونت اولیه» یاد می کند. دریدا منشاء خشونت تجربی در تمامی اشکالش را در زبان می یابد؛ خشونت اساسی که جزء لاینفک زبان است از طریق ایجاد تفاوت و تقابل های دوگانه (oppositional poles) عمل می کند و این تضادها و تقابل ها با تاثیر بر تمامی نظام های معنایی و تفسیری، خشونتِ رایج در جامعه را بنیان نهاده اند. مقاله حاضر در پی آن است که با الهام گرفتن از نظریه خشونت بنیادی دریدا و برخی دیدگاههای فمینیستی متاثر از نظریات وی، منشاء خشونت و تجاوز علیه زنان را مورد بحث قرار دهد. در این مطالعه تاکید بر آن است که خشونت علیه زنان نشات گرفته از زبان و فرهنگ مبتنی بر آن است و مطالعه ی موردی خشونت و تجاوز از دیدگاهی روانشناسانه تا حد زیادی مانع از ریشه یابی و ارائه راهکار برای این معضل فردی و اجتماعی می شود.

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